Fix kernel build with KDEBUG_LEVEL 0.

2012-11-30 18:23:15 -05:00
parent fed8bb7dff
commit 86f0f139a9
1 changed files with 1 additions and 0 deletions
@@ -17,6 +17,7 @@

 #include <boot/kernel_args.h>
 #include <cpu.h>
+#include <int.h>
 #include <tls.h>
 #include <vm/vm.h>
 #include <vm/vm_priv.h>