x86: Fix build with kernel debugging disabled

2013-12-26 19:55:33 +01:00
parent 96dcc73b39
commit 9a6868d565
1 changed files with 1 additions and 0 deletions
@@ -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>