Fix warning during mach compilation

* user.c (WriteIncludes): Include <kern/ipc_mig.h> when building kernel
user.

1 files changed, 2 insertions, 0 deletions

diff --git a/user.c b/user.c
index 5e2cd06..cccaeec 100644
--- a/user.c
+++ b/user.c
@@ -90,6 +90,8 @@ WriteIncludes(FILE *file)
     fprintf(file, "#include <mach/mig_errors.h>\n");
     fprintf(file, "#include <mach/mig_support.h>\n");
     fprintf(file, "#include <mach/msg_type.h>\n");
+    if (IsKernelUser)
+	fprintf(file, "#include <kern/ipc_mig.h>\n");
     fprintf(file, "\n");
 }