diff options
author | Michael I. Bushnell <mib@gnu.org> | 1994-01-19 18:44:33 +0000 |
---|---|---|
committer | Michael I. Bushnell <mib@gnu.org> | 1994-01-19 18:44:33 +0000 |
commit | 9a8640bffa2895232deee46a5686db4da3f42bab (patch) | |
tree | f996cd20f4cc7977beb34f61a387728ca94e89d2 /libpager/priv.h | |
parent | 82c28776169d58119418fa6d76de921540e4747f (diff) |
Formerly priv.h.~5~
Diffstat (limited to 'libpager/priv.h')
-rw-r--r-- | libpager/priv.h | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/libpager/priv.h b/libpager/priv.h index c1aa0ccd..d5cdfbec 100644 --- a/libpager/priv.h +++ b/libpager/priv.h @@ -73,7 +73,7 @@ enum page_errors PAGE_EDQUOT, }; -int page_errors[]; +int _pager_page_errors[]; /* Pagemap format */ @@ -105,5 +105,7 @@ void _pager_mark_next_request_error (struct pager *, vm_address_t, vm_size_t, error_t); void _pager_mark_object_error (struct pager *, vm_address_t, vm_size_t, error_t); - +void _pager_lock_object (struct pager *, vm_offset_t, vm_size_t, int, int, + vm_prot_t, int); +void _pager_free_structure (struct pager *); |