summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorSamuel Thibault <samuel.thibault@ens-lyon.org>2019-11-10 17:04:12 +0100
committerSamuel Thibault <samuel.thibault@ens-lyon.org>2019-11-10 17:04:12 +0100
commitbd0193c88abb282aaef3f1a56e6f2fdf0366c216 (patch)
treeb6a44c60a6475e8cc8946621ce3e43f81cb98aa9
parentb688ffc29a685d1332e080798c914f26ae5c63c0 (diff)
Fix build warning
* ddb/db_command.c: Include <ipc/mach_port.h>.
-rw-r--r--ddb/db_command.c1
1 files changed, 1 insertions, 0 deletions
diff --git a/ddb/db_command.c b/ddb/db_command.c
index 11bca7ac..c9538c6a 100644
--- a/ddb/db_command.c
+++ b/ddb/db_command.c
@@ -63,6 +63,7 @@
#include <vm/vm_print.h>
#include <ipc/ipc_print.h>
+#include <ipc/mach_port.h>
#include <kern/lock.h>
/*