Formerly object-terminate.c.~3~

1 files changed, 4 insertions, 4 deletions

diff --git a/libpager/object-terminate.c b/libpager/object-terminate.c
index 52eec953..bb176cef 100644
--- a/libpager/object-terminate.c
+++ b/libpager/object-terminate.c
@@ -19,10 +19,10 @@
 /* Called by the kernel when a shutdown has finished. */
 /* This is a dual of seqnos_memory_object_init. */
 kern_return_t
-seqnos_memory_object_terminate (mach_port_t object, 
-				mach_port_seqno_t seqno,
-				mach_port_t control,
-				mach_port_t name)
+_pager_seqnos_memory_object_terminate (mach_port_t object, 
+				       mach_port_seqno_t seqno,
+				       mach_port_t control,
+				       mach_port_t name)
 {
   struct pager *p;
   struct lock_request *lr;