Index: kernel/generic/include/debug.h
===================================================================
--- kernel/generic/include/debug.h	(revision f857e8b0d7e7691bf604feaaf406a4154472a44a)
+++ kernel/generic/include/debug.h	(revision bcc20fa183d6812436bfd35b6b6ddc622e42bf25)
@@ -37,4 +37,5 @@
 
 #include <panic.h>
+#include <log.h>
 #include <symtab_lookup.h>