Index: kernel/arch/ppc32/src/mm/tlb.c
===================================================================
--- kernel/arch/ppc32/src/mm/tlb.c	(revision e2b762ec7955698a156a39c44cbaacd7211758b2)
+++ kernel/arch/ppc32/src/mm/tlb.c	(revision 7b8caa05a714ee095f089eda2e2064b7dc6e928d)
@@ -41,8 +41,5 @@
 #include <print.h>
 #include <macros.h>
-
-#ifdef CONFIG_SYMTAB
 #include <symtab.h>
-#endif
 
 static unsigned int seed = 10;
@@ -121,15 +118,9 @@
 static void pht_refill_fail(uintptr_t badvaddr, istate_t *istate)
 {
-	char *symbol = "";
-	char *sym2 = "";
-
-#ifdef CONFIG_SYMTAB
-	char *str = get_symtab_entry(istate->pc);
-	if (str)
-		symbol = str;
-	str = get_symtab_entry(istate->lr);
-	if (str)
-		sym2 = str;
-#endif
+	char *symbol;
+	char *sym2;
+
+	symbol = symtab_fmt_name_lookup(istate->pc);
+	sym2 = symtab_fmt_name_lookup(istate->lr);
 
 	fault_if_from_uspace(istate,