diff --git a/src/system/kernel/arch/x86/arch_smp.cpp b/src/system/kernel/arch/x86/arch_smp.cpp
index bb95501f38..e9d4b4c545 100644
--- a/src/system/kernel/arch/x86/arch_smp.cpp
+++ b/src/system/kernel/arch/x86/arch_smp.cpp
@@ -10,6 +10,7 @@
 
 #include <boot/kernel_args.h>
 #include <vm/vm.h>
+#include <cpu.h>
 #include <int.h>
 #include <smp.h>
 #include <smp_priv.h>