summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorFlavio Cruz <flaviocruz@gmail.com>2023-04-08 00:21:41 -0400
committerSamuel Thibault <samuel.thibault@ens-lyon.org>2023-04-08 10:49:19 +0200
commit5de1b81f0bb24ba38d0a819bba9bd526863b5385 (patch)
treeef31efc55ef2691276fca4948419621f38a15f5c
parent0a03fedbb9ce7aac3b2ecdd50256160ba7e33b1c (diff)
Fix build error for boot/boot.c
Message-Id: <ZDDr1XFRL+6dQ3iQ@jupiter.tail36e24.ts.net>
-rw-r--r--boot/boot.c13
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 */