diff options
author | neal <neal> | 2008-06-22 08:53:41 +0000 |
---|---|---|
committer | neal <neal> | 2008-06-22 08:53:41 +0000 |
commit | 6a007004f94584cdeaf227086dec6ef915b0c271 (patch) | |
tree | e2dc360ad0f5ba7af05ada1ee4b20e717d8a999f /libhurd-mm | |
parent | c2fb9839686b2c558120bbe38acb9c7e9083f1a1 (diff) |
2008-06-22 Neal H. Walfield <neal@gnu.org>
* anonymous.c (mdestroy) [! NDEBUG]: Don't void capability slots,
we destroy the associated objects, which does that.
Diffstat (limited to 'libhurd-mm')
-rw-r--r-- | libhurd-mm/ChangeLog | 5 | ||||
-rw-r--r-- | libhurd-mm/anonymous.c | 19 |
2 files changed, 5 insertions, 19 deletions
diff --git a/libhurd-mm/ChangeLog b/libhurd-mm/ChangeLog index 0325bcc..2bc99d3 100644 --- a/libhurd-mm/ChangeLog +++ b/libhurd-mm/ChangeLog @@ -1,3 +1,8 @@ +2008-06-22 Neal H. Walfield <neal@gnu.org> + + * anonymous.c (mdestroy) [! NDEBUG]: Don't void capability slots, + we destroy the associated objects, which does that. + 2008-06-20 Neal H. Walfield <neal@gnu.org> * as-lookup.c (as_dump_path_rel): Don't return anything. diff --git a/libhurd-mm/anonymous.c b/libhurd-mm/anonymous.c index 66a5813..ae6ae41 100644 --- a/libhurd-mm/anonymous.c +++ b/libhurd-mm/anonymous.c @@ -317,25 +317,6 @@ mdestroy (struct map *map) { struct anonymous_pager *anon = (struct anonymous_pager *) map->pager; -#ifndef NDEBUG - /* Void the area. */ - addr_t addr; - for (addr = ADDR (map->region.start, ADDR_BITS - PAGESIZE_LOG2); - addr_prefix (addr) < map->region.start + map->region.length; - addr = addr_add (addr, 1)) - { - /* This may fail if the page has not yet been faulted in. */ - as_slot_lookup_use - (addr, - ({ - error_t err; - err = rm_cap_rubout (meta_data_activity, ADDR_VOID, addr); - assert (! err); - slot->type = cap_void; - })); - } -#endif - /* XXX: We assume that every byte is mapped by at most one mapping. We may have to reexamine this assumption if we allow multiple mappings onto the same part of a pager (e.g., via mremap). */ |