Index: kernel/arch/sparc64/src/trap/exception.c
===================================================================
--- kernel/arch/sparc64/src/trap/exception.c	(revision e2b762ec7955698a156a39c44cbaacd7211758b2)
+++ kernel/arch/sparc64/src/trap/exception.c	(revision e16e0d595cccccd7668bd8111478ac903c1b3be3)
@@ -42,8 +42,5 @@
 #include <debug.h>
 #include <print.h>
-
-#ifdef CONFIG_SYMTAB
 #include <symtab.h>
-#endif
 
 void dump_istate(istate_t *istate)
@@ -51,10 +48,7 @@
 	char *tpcs, *tnpcs;
 
-#ifdef CONFIG_SYMTAB
-	tpcs = get_symtab_entry(istate->tpc);
-	tnpcs = get_symtab_entry(istate->tnpc);
-#else
-	tpcs = tnpcs = "n/a";
-#endif
+	tpcs = symtab_fmt_name_lookup(istate->tpc);
+	tnpcs = symtab_fmt_name_lookup(istate->tnpc);
+
 	printf("TSTATE=%#" PRIx64 "\n", istate->tstate);
 	printf("TPC=%#" PRIx64 " (%s)\n", istate->tpc, tpcs);