Index: src/debug/print.c
===================================================================
--- src/debug/print.c	(revision 81887b727092518d9b8958107f087aad77b5a6f6)
+++ src/debug/print.c	(revision 3de9e5ea4eb09f92326501d4c5c77977cd08ffcb)
@@ -32,4 +32,5 @@
 #include <arch/arg.h>
 #include <arch/asm.h>
+#include <arch.h>