diff options
author | Michael I. Bushnell <mib@gnu.org> | 1996-04-18 20:02:59 +0000 |
---|---|---|
committer | Michael I. Bushnell <mib@gnu.org> | 1996-04-18 20:02:59 +0000 |
commit | 254f62587295853d3c23d4959ead24d06e63a945 (patch) | |
tree | daf77fd00a272d97979d3428f4231fb096aa6054 | |
parent | d58ec95706ffbf4161ab8992997dbe807711e180 (diff) |
(_pager_do_write_request): If kernel didn't keep a copy, turn of
INCORE bit.
-rw-r--r-- | libpager/data-return.c | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/libpager/data-return.c b/libpager/data-return.c index 865974e2..562af955 100644 --- a/libpager/data-return.c +++ b/libpager/data-return.c @@ -108,7 +108,10 @@ _pager_do_write_request (mach_port_t object, pm_entries[i] |= PM_PAGINGOUT | PM_INIT; #else for (i = 0; i < npages; i++) - pm_entries[i] += PM_PAGINGOUT; + pm_entries[i] |= PM_PAGINGOUT; + if (!kcopy) + for (i = 0; i < npages; i++) + pm_entries[i] &= ~PM_INCORE; #endif /* If this write occurs while a lock is pending, record |