Index: kernel/generic/include/debug.h
===================================================================
--- kernel/generic/include/debug.h	(revision 07d4271f2d0447f764d751ed8f95104f720791d2)
+++ kernel/generic/include/debug.h	(revision 5b110a9d6669290b4b3628aaec8b0b1a67bc6d20)
@@ -38,4 +38,5 @@
 #include <log.h>
 #include <printf/verify.h>
+#include <symtab.h>
 
 #define CALLER  ((uintptr_t) __builtin_return_address(0))