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

---
 kern/processor.c | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'kern/processor.c')

diff --git a/kern/processor.c b/kern/processor.c
index 6ed716d3..ec56952e 100644
--- a/kern/processor.c
+++ b/kern/processor.c
@@ -39,12 +39,14 @@
 #include <kern/lock.h>
 #include <kern/host.h>
 #include <kern/ipc_tt.h>
+#include <kern/machine.h>
 #include <kern/processor.h>
 #include <kern/sched.h>
 #include <kern/task.h>
 #include <kern/thread.h>
 #include <kern/ipc_host.h>
 #include <ipc/ipc_port.h>
+#include <machine/mp_desc.h>
 
 #if	MACH_HOST
 #include <kern/slab.h>
-- 
cgit v1.2.3