diff options
| author | Michael I. Bushnell <mib@gnu.org> | 1995-06-20 17:14:43 +0000 |
|---|---|---|
| committer | Michael I. Bushnell <mib@gnu.org> | 1995-06-20 17:14:43 +0000 |
| commit | 9fe19d8c45b263537e2fcd261110d420e2bf1973 (patch) | |
| tree | c95d1fcad43ef744bfc116dcd9a021452cd722b4 | |
| parent | 25af8dc225020d0ba18864d6c367502d9b37c708 (diff) | |
(_pager_real_dropweak): New decl.
| -rw-r--r-- | libpager/priv.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/libpager/priv.h b/libpager/priv.h index ff8c26aa..d52f3c68 100644 --- a/libpager/priv.h +++ b/libpager/priv.h @@ -141,5 +141,6 @@ 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); +void _pager_real_dropweak (void *arg); |