Index: kernel/arch/sparc64/src/trap/exception.c
===================================================================
--- kernel/arch/sparc64/src/trap/exception.c	(revision 6cd9aa607e6515e17e369c7e888779416251db4d)
+++ kernel/arch/sparc64/src/trap/exception.c	(revision f36c0612f3b35eda123160a44758f1d7e9fa7d4a)
@@ -41,12 +41,23 @@
 #include <arch/register.h>
 #include <debug.h>
+#include <print.h>
+
+#ifdef CONFIG_SYMTAB
 #include <symtab.h>
-#include <print.h>
+#endif
 
 void dump_istate(istate_t *istate)
 {
+	char *tpcs, *tnpcs;
+
+#ifdef CONFIG_SYMTAB
+	tpcs = get_symtab_entry(istate->tpc);
+	tnpcs = get_symtab_entry(istate->tnpc);
+#else
+	tpcs = tnpcs = "n/a";
+#endif
 	printf("TSTATE=%#" PRIx64 "\n", istate->tstate);
-	printf("TPC=%#" PRIx64 " (%s)\n", istate->tpc, get_symtab_entry(istate->tpc));
-	printf("TNPC=%#" PRIx64 " (%s)\n", istate->tnpc, get_symtab_entry(istate->tnpc));
+	printf("TPC=%#" PRIx64 " (%s)\n", istate->tpc, tpcs);
+	printf("TNPC=%#" PRIx64 " (%s)\n", istate->tnpc, tnpcs);
 }