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/ipc_mig.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'kern/ipc_mig.c')

diff --git a/kern/ipc_mig.c b/kern/ipc_mig.c
index a1757da3..ec121cf4 100644
--- a/kern/ipc_mig.c
+++ b/kern/ipc_mig.c
@@ -50,7 +50,7 @@
 #include <ipc/ipc_port.h>
 #include <ipc/ipc_pset.h>
 #include <ipc/ipc_thread.h>
-#include <ipc/mach_port.h>
+#include <ipc/mach_port.server.h>
 #include <device/dev_hdr.h>
 #include <device/device_types.h>
 #include <device/ds_routines.h>
-- 
cgit v1.2.3