diff options
author | Neal H. Walfield <neal@gnu.org> | 2009-03-01 22:16:15 +0100 |
---|---|---|
committer | Neal H. Walfield <neal@gnu.org> | 2009-03-01 22:16:15 +0100 |
commit | 14657e92d47d6b68ff20f42dcee7d992dddde00a (patch) | |
tree | 14ab6a537a61ac9c9f1b36c5d6b1a2545d1d367f | |
parent | 7679645a02e563cc617c57aeb4c208d9a1d442ed (diff) |
Marked shared pages that we unmap as unshared.
-rw-r--r-- | viengoos/ager.c | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/viengoos/ager.c b/viengoos/ager.c index 111898c..3000c0f 100644 --- a/viengoos/ager.c +++ b/viengoos/ager.c @@ -504,6 +504,10 @@ ager (void) shared_unmapped ++; } desc->floating = true; + /* Mark it as unshared. If multiple principles use it, it + will again be marked as shared. However, until then, + don't repeatedly unmap it. That's just a waste. */ + desc->shared = false; } /* Update the status bits. If ALSO_UNMAP is true, also unmap |