From b9ae8109f2837f92f75454d8f1e47408f001a35d Mon Sep 17 00:00:00 2001 From: "Michael I. Bushnell" Date: Mon, 18 Mar 1996 18:15:19 +0000 Subject: (pager_return, pager_return_some): New declarations. --- libpager/pager.h | 17 +++++++++++++++++ 1 file changed, 17 insertions(+) (limited to 'libpager') diff --git a/libpager/pager.h b/libpager/pager.h index b4ae7739..477bbe93 100644 --- a/libpager/pager.h +++ b/libpager/pager.h @@ -79,6 +79,23 @@ pager_flush_some (struct pager *pager, vm_size_t len, int wait); +/* Flush data from the kernel for pager PAGER and force any pending + delayed copies. Wait for all pages to be flushed iff WAIT is set. + Have the kernel write back modifications. */ +void +pager_return (struct pager *pager, + int wait); + + +/* Flush some data (starting at START, for LEN bytes) for pager PAGER + from the kernel. Wait for all pages to be flushed iff WAIT is set. + Have the kernel write back modifications. */ +void +pager_return_some (struct pager *pager, + vm_address_t start, + vm_size_t len, + int wait); + /* Change the attributes of the memory object underlying pager PAGER. Args MAY_CACHE and COPY_STRATEGY are as for memory_object_change_atributes. Wait for the kernel to report completion -- cgit v1.2.3