fix a receiver lookup

* mig-decls.h: New file.
* mig-mutate.h: Likewise.
* Makefile (MIGSFLAGS): Use mig-mutate.h.
* random.c (S_startup_dosync): Fix the receiver lookup.

1 files changed, 1 insertions, 4 deletions

diff --git a/random.c b/random.c
index 5ef814f4..ca963580 100644
--- a/random.c
+++ b/random.c
@@ -524,11 +524,8 @@ struct port_class *shutdown_notify_class;
 /* The system is going down; destroy all the extant port rights.  That
    will cause net channels and such to close promptly.  */
 error_t
-S_startup_dosync (mach_port_t handle)
+S_startup_dosync (struct port_info *inpi)
 {
-  struct port_info *inpi = ports_lookup_port (fsys->pi.bucket, handle,
-					      shutdown_notify_class);
-
   if (!inpi)
     return EOPNOTSUPP;