libpager: fix notify_port_t receiver lookups

* libpager/mig-mutate.h: Add mutators.
* libpager/notify-stubs.c: Adjust accordingly.

2 files changed, 17 insertions, 10 deletions

diff --git a/libpager/mig-mutate.h b/libpager/mig-mutate.h
index 54f7de8b..9e9065fa 100644
--- a/libpager/mig-mutate.h
+++ b/libpager/mig-mutate.h
@@ -20,3 +20,10 @@
 #define MEMORY_OBJECT_INTRAN pager_t begin_using_pager (memory_object_t)
 #define MEMORY_OBJECT_DESTRUCTOR end_using_pager (pager_t)
 #define MEMORY_OBJECT_IMPORTS import "mig-decls.h";
+
+#define NOTIFY_INTRAN						\
+  port_info_t begin_using_port_info_port (mach_port_t)
+#define NOTIFY_DESTRUCTOR					\
+  end_using_port_info (port_info_t)
+#define NOTIFY_IMPORTS						\
+  import "libports/mig-decls.h";
diff --git a/libpager/notify-stubs.c b/libpager/notify-stubs.c
index 2d791aac..ba138824 100644
--- a/libpager/notify-stubs.c
+++ b/libpager/notify-stubs.c
@@ -23,54 +23,54 @@
 #include <errno.h>
 
 error_t
-_pager_do_seqnos_mach_notify_port_deleted (mach_port_t notify,
+_pager_do_seqnos_mach_notify_port_deleted (struct port_info *pi,
 					   mach_port_seqno_t seqno,
 					   mach_port_t name
 					   __attribute__ ((unused)))
 {
-  _pager_update_seqno (notify, seqno);
+  _pager_update_seqno_p ((struct pager *) pi, seqno);
 
   return 0;
 }
 
 error_t
-_pager_do_seqnos_mach_notify_msg_accepted (mach_port_t notify,
+_pager_do_seqnos_mach_notify_msg_accepted (struct port_info *pi,
 					   mach_port_seqno_t seqno,
 					   mach_port_t name
 					     __attribute__ ((unused)))
 {
-  _pager_update_seqno (notify, seqno);
+  _pager_update_seqno_p ((struct pager *) pi, seqno);
 
   return 0;
 }
 
 error_t
-_pager_do_seqnos_mach_notify_port_destroyed (mach_port_t notify,
+_pager_do_seqnos_mach_notify_port_destroyed (struct port_info *pi,
 					     mach_port_seqno_t seqno,
 					     mach_port_t name
 					       __attribute__ ((unused)))
 {
-  _pager_update_seqno (notify, seqno);
+  _pager_update_seqno_p ((struct pager *) pi, seqno);
 
   return 0;
 }
 
 error_t
-_pager_do_seqnos_mach_notify_send_once (mach_port_t notify,
+_pager_do_seqnos_mach_notify_send_once (struct port_info *pi,
 					mach_port_seqno_t seqno)
 {
-  _pager_update_seqno (notify, seqno);
+  _pager_update_seqno_p ((struct pager *) pi, seqno);
 
   return 0;
 }
 
 error_t
-_pager_do_seqnos_mach_notify_dead_name (mach_port_t notify,
+_pager_do_seqnos_mach_notify_dead_name (struct port_info *pi,
 					mach_port_seqno_t seqno,
 					mach_port_t name
 					  __attribute__ ((unused)))
 {
-  _pager_update_seqno (notify, seqno);
+  _pager_update_seqno_p ((struct pager *) pi, seqno);
 
   return 0;
 }