diff options
| -rw-r--r-- | boot/boot.c | 13 |
1 files changed, 0 insertions, 13 deletions
diff --git a/boot/boot.c b/boot/boot.c index 93dd9386..11970498 100644 --- a/boot/boot.c +++ b/boot/boot.c @@ -47,7 +47,6 @@ #include "device_reply_U.h" #include "io_reply_U.h" #include "term_S.h" -#include "bootstrap_S.h" /* #include "tioctl_S.h" */ #include "mach_S.h" #include "mach_host_S.h" @@ -926,18 +925,6 @@ unlock_readlock (void) read_reply (); } -/* - * Handle bootstrap requests. - */ -kern_return_t -do_bootstrap_privileged_ports(mach_port_t bootstrap, - mach_port_t *hostp, - mach_port_t *devicep) -{ - *hostp = privileged_host_port; - *devicep = pseudo_master_device_port; - return KERN_SUCCESS; -} /* Implementation of device interface */ |