Index: kernel/generic/src/interrupt/interrupt.c
===================================================================
--- kernel/generic/src/interrupt/interrupt.c	(revision e2b762ec7955698a156a39c44cbaacd7211758b2)
+++ kernel/generic/src/interrupt/interrupt.c	(revision 692b30dc358f0a2b38f0772b48b4c4c82c8e7999)
@@ -46,8 +46,5 @@
 #include <panic.h>
 #include <print.h>
-
-#ifdef CONFIG_SYMTAB
 #include <symtab.h>
-#endif
 
 static struct {
@@ -134,11 +131,5 @@
 	
 	for (i = 0; i < IVT_ITEMS; i++) {
-#ifdef CONFIG_SYMTAB
-		symbol = get_symtab_entry((unative_t) exc_table[i].f);
-		if (!symbol)
-			symbol = "not found";
-#else
-		symbol = "n/a";
-#endif
+		symbol = symtab_fmt_name_lookup((unative_t) exc_table[i].f);
 
 #ifdef __32_BITS__