Index: kernel/arch/mips32/src/mm/tlb.c
===================================================================
--- kernel/arch/mips32/src/mm/tlb.c	(revision b76e51d243b458b2d5e31d922127b23015da05d0)
+++ kernel/arch/mips32/src/mm/tlb.c	(revision b1c8dc0cbdabf4d3aeb9f7f176d5c048406067c5)
@@ -41,5 +41,4 @@
 #include <panic.h>
 #include <arch.h>
-#include <symtab.h>
 #include <synch/mutex.h>
 #include <print.h>
@@ -47,4 +46,8 @@
 #include <align.h>
 #include <interrupt.h>
+
+#ifdef CONFIG_SYMTAB
+#include <symtab.h>
+#endif
 
 static void tlb_refill_fail(istate_t *);
@@ -324,4 +327,5 @@
 	char *sym2 = "";
 
+#ifdef CONFIG_SYMTAB
 	char *s = get_symtab_entry(istate->epc);
 	if (s)
@@ -330,4 +334,5 @@
 	if (s)
 		sym2 = s;
+#endif
 
 	fault_if_from_uspace(istate, "TLB Refill Exception on %p.",
@@ -342,7 +347,10 @@
 	char *symbol = "";
 
+#ifdef CONFIG_SYMTAB
 	char *s = get_symtab_entry(istate->epc);
 	if (s)
 		symbol = s;
+#endif
+
 	fault_if_from_uspace(istate, "TLB Invalid Exception on %p.",
 	    cp0_badvaddr_read());
@@ -355,7 +363,10 @@
 	char *symbol = "";
 
+#ifdef CONFIG_SYMTAB
 	char *s = get_symtab_entry(istate->epc);
 	if (s)
 		symbol = s;
+#endif
+
 	fault_if_from_uspace(istate, "TLB Modified Exception on %p.",
 	    cp0_badvaddr_read());