diff options
author | Michael I. Bushnell <mib@gnu.org> | 1996-03-18 18:13:54 +0000 |
---|---|---|
committer | Michael I. Bushnell <mib@gnu.org> | 1996-03-18 18:13:54 +0000 |
commit | 5134a70748c9635a5da89eb6e5507d6034d8ee98 (patch) | |
tree | bdc9676ef77d69900afdbf032c85efe45d95e28e | |
parent | 4e35ce4cf8d6c64974b1d63a9c79f6159ce3e727 (diff) |
Initial revision
-rw-r--r-- | libpager/pager-return.c | 44 |
1 files changed, 44 insertions, 0 deletions
diff --git a/libpager/pager-return.c b/libpager/pager-return.c new file mode 100644 index 00000000..8953ad9a --- /dev/null +++ b/libpager/pager-return.c @@ -0,0 +1,44 @@ +/* + Copyright (C) 1996 Free Software Foundation, Inc. + Written by Michael I. Bushnell, p/BSG. + + This file is part of the GNU Hurd. + + The GNU Hurd is free software; you can redistribute it and/or + modify it under the terms of the GNU General Public License as + published by the Free Software Foundation; either version 2, or (at + your option) any later version. + + The GNU Hurd is distributed in the hope that it will be useful, but + WITHOUT ANY WARRANTY; without even the implied warranty of + MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU + General Public License for more details. + + You should have received a copy of the GNU General Public License + along with this program; if not, write to the Free Software + Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111, USA. */ + +#include "priv.h" + +/* Have all dirty pages written back, and also flush the contents of + the kernel's cache. */ +void +pager_return (struct pager *p, int wait) +{ + vm_address_t offset; + vm_size_t len; + + pager_report_extent (p->upi, &offset, &len); + + _pager_lock_object (p, offset, len, MEMORY_OBJECT_RETURN_DIRTY, 1, + VM_PROT_NO_CHANGE, wait); +} + +void +pager_return_some (struct pager *p, vm_address_t offset, + vm_size_t size, int wait) +{ + _pager_lock_object (p, offset, size, MEMORY_OBJECT_RETURN_DIRTY, 1, + VM_PROT_NO_CHANGE, wait); +} + |