diff options
author | neal <neal> | 2008-02-18 10:35:40 +0000 |
---|---|---|
committer | neal <neal> | 2008-02-18 10:35:40 +0000 |
commit | 9bbc315a45e45332a681946d0f02aecf8576e645 (patch) | |
tree | 7650001bb4fcb891c2b8ce7d90178a958ae4e753 /viengoos/ChangeLog | |
parent | 9842d5c010544a3f08a82a4570ab3c73e0853375 (diff) |
hurd/
2008-02-18 Neal H. Walfield <neal@gnu.org>
* exceptions.h: Include <stdint.h>.
(struct exception_info): Add field discarded.
viengoos/
2008-02-18 Neal H. Walfield <neal@gnu.org>
* server.c (server_loop): When resolving a fault, if the page was
discarded, reflect the fault.
* object.c (object_find): If the page was discarded, return NULL.
(folio_object_alloc): Clear the discarded flag.
* object.c (memory_object_destroy): Don't set the discarded flag
or content flag here.
* memory.c (memory_frame_allocate): Set them here.
Diffstat (limited to 'viengoos/ChangeLog')
-rw-r--r-- | viengoos/ChangeLog | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/viengoos/ChangeLog b/viengoos/ChangeLog index 563a886..bd2890b 100644 --- a/viengoos/ChangeLog +++ b/viengoos/ChangeLog @@ -1,5 +1,15 @@ 2008-02-18 Neal H. Walfield <neal@gnu.org> + * server.c (server_loop): When resolving a fault, if the page was + discarded, reflect the fault. + * object.c (object_find): If the page was discarded, return NULL. + (folio_object_alloc): Clear the discarded flag. + * object.c (memory_object_destroy): Don't set the discarded flag + or content flag here. + * memory.c (memory_frame_allocate): Set them here. + +2008-02-18 Neal H. Walfield <neal@gnu.org> + * cap-lookup.c (lookup) [RM_INTERN]: When generating a capability to an object in a folio, don't lookup the object and then use object_to_cap, just use folio_object_cap. |