diff options
author | neal <neal> | 2008-05-23 11:49:28 +0000 |
---|---|---|
committer | neal <neal> | 2008-05-23 11:49:28 +0000 |
commit | 0994d095482864ac3a16aff01ec18c82b768b748 (patch) | |
tree | 1c7d5f4cd1bf6d4b970dd3fb2e708f789dba181a /viengoos/object.c | |
parent | 81b3f5d149bb0316b5e0c2ba50c271291e909768 (diff) |
2008-05-23 Neal H. Walfield <neal@gnu.org>
* object.h (object_desc_flush): Take additional parameter,
clear_kernel. If true, fetch the status bits corresponding to
Viengoos even if the dirty bit is set. Update callers.
* pager.c (is_clean): More thoroughly check that a page alleged to
be clean is really all zeros.
Diffstat (limited to 'viengoos/object.c')
-rw-r--r-- | viengoos/object.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/viengoos/object.c b/viengoos/object.c index 631edf3..bf454c1 100644 --- a/viengoos/object.c +++ b/viengoos/object.c @@ -596,7 +596,7 @@ folio_object_alloc (struct activity *activity, cap_shootdown (activity, &cap); memset ((void *) object, 0, PAGESIZE); - object_desc_flush (odesc); + object_desc_flush (odesc, true); odesc->dirty = false; odesc->user_referenced = false; odesc->user_dirty = false; |