Index: kernel/arch/ia32/src/interrupt.c
===================================================================
--- kernel/arch/ia32/src/interrupt.c	(revision f36c0612f3b35eda123160a44758f1d7e9fa7d4a)
+++ kernel/arch/ia32/src/interrupt.c	(revision 16e9c4764ead1ecf4d92a47b804c782fe5d0b289)
@@ -52,8 +52,5 @@
 #include <interrupt.h>
 #include <ddi/irq.h>
-
-#ifdef CONFIG_SYMTAB
 #include <symtab.h>
-#endif
 
 /*
@@ -69,11 +66,5 @@
 	char *symbol;
 
-#ifdef CONFIG_SYMTAB
-	symbol = get_symtab_entry(istate->eip);
-	if (!symbol)
-		symbol = "";
-#else
-	symbol = "";
-#endif
+	symbol = symtab_fmt_name_lookup(istate->eip);
 
 	if (CPU)