diff --git a/src/console/printk.c b/src/console/printk.c
index 1ce2fad55f..99710e60be 100644
--- a/src/console/printk.c
+++ b/src/console/printk.c
@@ -11,6 +11,7 @@
 #include <smp/spinlock.h>
 #include <smp/node.h>
 #include <timer.h>
+#include <types.h>
 
 DECLARE_SPIN_LOCK(console_lock)