summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMichael I. Bushnell <mib@gnu.org>1995-06-20 17:14:07 +0000
committerMichael I. Bushnell <mib@gnu.org>1995-06-20 17:14:07 +0000
commit25af8dc225020d0ba18864d6c367502d9b37c708 (patch)
tree7d1127e40d80a38a21649f2955c7daf450c69357
parent6e06b2edf842ac062f7b948e5d15257431a90ccf (diff)
(pager_dropweak): New decl.
-rw-r--r--libpager/pager.h7
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