Index: kernel/arch/mips32/include/mm/tlb.h
===================================================================
--- kernel/arch/mips32/include/mm/tlb.h	(revision 5a00ee0b256b71b47f0355c43ee3447525802c93)
+++ kernel/arch/mips32/include/mm/tlb.h	(revision ba5cff5a50a646f50461d6b4517acf6c95de1152)
@@ -41,5 +41,11 @@
 #include <trace.h>
 
+#if defined(PROCESSOR_R4000)
 #define TLB_ENTRY_COUNT  48
+#elif defined(PROCESSOR_4Kc)
+#define TLB_ENTRY_COUNT  16
+#else
+#error Please define TLB_ENTRY_COUNT for the target processor.
+#endif
 
 #define TLB_WIRED               1