From b21f84ef1bb9e9ba69bfea069295ad4618f671eb Mon Sep 17 00:00:00 2001
From: Samuel Thibault <samuel.thibault@ens-lyon.org>
Date: Sun, 4 Apr 2021 16:47:38 +0200
Subject: SMP: Fix warnings

---
 ddb/db_mp.c | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'ddb/db_mp.c')

diff --git a/ddb/db_mp.c b/ddb/db_mp.c
index 8d1a5605..7c0f6f26 100644
--- a/ddb/db_mp.c
+++ b/ddb/db_mp.c
@@ -35,10 +35,12 @@
 #include <kern/lock.h>
 
 #include <machine/db_machdep.h>
+#include <machine/db_interface.h>
 
 #include <ddb/db_command.h>
 #include <ddb/db_run.h>
 #include <ddb/db_mp.h>
+#include <ddb/db_output.h>
 
 /*
  * Routines to interlock access to the kernel debugger on
-- 
cgit v1.2.3