diff options
| author | Michael I. Bushnell <mib@gnu.org> | 1995-06-20 17:06:54 +0000 |
|---|---|---|
| committer | Michael I. Bushnell <mib@gnu.org> | 1995-06-20 17:06:54 +0000 |
| commit | 7da99141bedd9812ce9ad7cdde6e657721435b49 (patch) | |
| tree | b11d4e91482899ddffe88e9030cfcff9531acae9 | |
| parent | fdfbba4fc76abbe7339d46bf68893053a8c5bfae (diff) | |
(_pager_clean): New decl.
| -rw-r--r-- | libpager/priv.h | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/libpager/priv.h b/libpager/priv.h index e1703c44..ff8c26aa 100644 --- a/libpager/priv.h +++ b/libpager/priv.h @@ -140,4 +140,6 @@ void _pager_mark_object_error (struct pager *, vm_address_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 *); +void _pager_clean (void *arg); + |