diff options
| author | Michael I. Bushnell <mib@gnu.org> | 1994-01-13 20:57:24 +0000 |
|---|---|---|
| committer | Michael I. Bushnell <mib@gnu.org> | 1994-01-13 20:57:24 +0000 |
| commit | 0a706c22858b269abe96d95eb46416d882606220 (patch) | |
| tree | 6a16c49659f8bba4897254dfedda72b849c378cb | |
| parent | c1f5bf6d4849a1fe6b5c81e1900f8b0696288571 (diff) | |
Formerly priv.h.~2~
| -rw-r--r-- | libpager/priv.h | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/libpager/priv.h b/libpager/priv.h index ddeebc14..490df02f 100644 --- a/libpager/priv.h +++ b/libpager/priv.h @@ -68,3 +68,14 @@ enum page_errors PAGE_EDQUOT, }; + +void _pager_wait_for_seqno (struct pager *, int); +void _pager_release_seqno (struct pager *); +void _pager_block_termination (struct pager *); +void _pager_allow_termination (struct pager *); +void _pager_pagemap_resize (struct pager *, vm_address_t); +void _pager_mark_object_error (struct pager *, vm_address_t, vm_size_t, int); + +struct pager *_pager_all_pagers; +spin_lock_t pagerlistlock; + |