diff options
author | Michael I. Bushnell <mib@gnu.org> | 1995-06-20 17:14:07 +0000 |
---|---|---|
committer | Michael I. Bushnell <mib@gnu.org> | 1995-06-20 17:14:07 +0000 |
commit | 25af8dc225020d0ba18864d6c367502d9b37c708 (patch) | |
tree | 7d1127e40d80a38a21649f2955c7daf450c69357 | |
parent | 6e06b2edf842ac062f7b948e5d15257431a90ccf (diff) |
(pager_dropweak): New decl.
-rw-r--r-- | libpager/pager.h | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/libpager/pager.h b/libpager/pager.h index 8e500933..9dad2f25 100644 --- a/libpager/pager.h +++ b/libpager/pager.h @@ -139,4 +139,11 @@ pager_report_extent (struct user_pager_info *pager, void pager_clear_user_data (struct user_pager_info *pager); +/* The use must define this function. This will be called when the ports + library wants to drop weak references. The pager library creates no + weak references itself. If the user doesn't either, then it's OK for + this function to do nothing. */ +void +pager_dropweak (struct user_pager_info *p); + #endif |