From 9eda3a8de57e37fcd7b64b859ea15622264b6b0b Mon Sep 17 00:00:00 2001
From: "Michael I. Bushnell" <mib@gnu.org>
Date: Sun, 25 Oct 1992 02:38:08 +0000
Subject: Formerly kernel_boot.defs.~2~

---
 hurd/kernel_boot.defs | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/hurd/kernel_boot.defs b/hurd/kernel_boot.defs
index ccf40722..9e9366f3 100644
--- a/hurd/kernel_boot.defs
+++ b/hurd/kernel_boot.defs
@@ -21,7 +21,9 @@ the Free Software Foundation, 675 Mass Ave, Cambridge, MA 02139, USA.  */
 
 subsystem kernel_boot 999999;
 
+#include <mach/mach_types.defs>
+
 routine kernel_boot_get_priv_ports (
 	bootstrap: mach_port_t;	/* Bootstrap port of the startup task.  */
-	out host_priv: host_priv_t;
-	out device_master: device_t);
+	out host_priv: mach_port_t;
+	out device_master: mach_port_t);
-- 
cgit v1.2.3