commit 5de1b81f0bb24ba38d0a819bba9bd526863b5385
Author: Flavio Cruz <flaviocruz@gmail.com>
Date:   Sat Apr 8 00:21:41 2023 -0400

    Fix build error for boot/boot.c
    
    Message-Id: <ZDDr1XFRL+6dQ3iQ@jupiter.tail36e24.ts.net>

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(bootstrap, hostp, devicep)
-	mach_port_t bootstrap;
-	mach_port_t *hostp, *devicep;
-{
-	*hostp = privileged_host_port;
-	*devicep = pseudo_master_device_port;
-	return KERN_SUCCESS;
-}
 
 /* Implementation of device interface */
 
