diff options
| author | Michael I. Bushnell <mib@gnu.org> | 1996-04-18 17:05:58 +0000 |
|---|---|---|
| committer | Michael I. Bushnell <mib@gnu.org> | 1996-04-18 17:05:58 +0000 |
| commit | 68d7bf0371f1e7fb6a65393d7f0944ac7ab4dabc (patch) | |
| tree | f964a800e317ed519b966b11f0dd97d798e88725 | |
| parent | 4eeeaa91bd9de88775dfcfd45ca08a5f7e3ad552 (diff) | |
(pager_offer_page): add writelock arg.
| -rw-r--r-- | libpager/pager.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/libpager/pager.h b/libpager/pager.h index e639d30e..c6bd4971 100644 --- a/libpager/pager.h +++ b/libpager/pager.h @@ -103,6 +103,7 @@ pager_return_some (struct pager *pager, void pager_offer_page (struct pager *pager, int precious, + int writelock, vm_offset_t page, vm_address_t buf); |