From 2029728ed6d2a88350be945a892d325aebc2eb8d Mon Sep 17 00:00:00 2001
From: Flavio Cruz <flaviocruz@gmail.com>
Date: Tue, 17 Jan 2023 23:56:04 -0500
Subject: Include mig generated headers to avoid warnings with
 -Wmissing-prototypes.

This also reverts 566c227636481b246d928772ebeaacbc7c37145b and
963b1794d7117064cee8ab5638b329db51dad854
Message-Id: <Y8d75KSqNL4FFInm@mercury.tail36e24.ts.net>
---
 kern/bootstrap.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'kern/bootstrap.c')

diff --git a/kern/bootstrap.c b/kern/bootstrap.c
index fdc75757..91f4241e 100644
--- a/kern/bootstrap.c
+++ b/kern/bootstrap.c
@@ -39,7 +39,7 @@
 #include <machine/vm_param.h>
 #include <machine/pcb.h>
 #include <ipc/ipc_port.h>
-#include <ipc/mach_port.h>
+#include <ipc/mach_port.server.h>
 #include <kern/bootstrap.h>
 #include <kern/debug.h>
 #include <kern/host.h>
-- 
cgit v1.2.3