Index: src/debug/print.c
===================================================================
--- src/debug/print.c	(revision da79d0fdad931cfe4861e0f4095c0bbdb92fb4a3)
+++ src/debug/print.c	(revision 6b7c36f80b96691f347bd14dd1268ac4f9689f77)
@@ -31,4 +31,5 @@
 #include <synch/spinlock.h>
 #include <arch/arg.h>
+#include <arch/asm.h>