diff options
-rw-r--r-- | server.c | 1 | ||||
-rw-r--r-- | user.c | 1 |
2 files changed, 2 insertions, 0 deletions
@@ -47,6 +47,7 @@ WriteIncludes(FILE *file) fprintf(file, "#include <mach/mig_support.h>\n"); if (IsKernelServer) fprintf(file, "#include <ipc/ipc_port.h>\n"); + fprintf(file, "#include <stdint.h>\n"); fprintf(file, "\n"); } @@ -92,6 +92,7 @@ WriteIncludes(FILE *file) fprintf(file, "#include <mach/msg_type.h>\n"); if (IsKernelUser) fprintf(file, "#include <kern/ipc_mig.h>\n"); + fprintf(file, "#include <stdint.h>\n"); fprintf(file, "\n"); } |