From bd0193c88abb282aaef3f1a56e6f2fdf0366c216 Mon Sep 17 00:00:00 2001
From: Samuel Thibault <samuel.thibault@ens-lyon.org>
Date: Sun, 10 Nov 2019 17:04:12 +0100
Subject: Fix build warning

* ddb/db_command.c: Include <ipc/mach_port.h>.
---
 ddb/db_command.c | 1 +
 1 file changed, 1 insertion(+)

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>
 
 /*
-- 
cgit v1.2.3