Index: kernel/arch/ppc32/include/interrupt.h
===================================================================
--- kernel/arch/ppc32/include/interrupt.h	(revision 8b6930d5d4a9a2fdd17c45b45770dd51a1d956a6)
+++ kernel/arch/ppc32/include/interrupt.h	(revision 473d5d202238ab61558d1695b8e41f478815a862)
@@ -45,4 +45,7 @@
 #define VECTOR_EXTERNAL             4
 #define VECTOR_DECREMENTER          8
+#define VECTOR_ITLB_MISS            13
+#define VECTOR_DTLB_MISS_LOAD       14
+#define VECTOR_DTLB_MISS_STORE      15
 
 extern void start_decrementer(void);
Index: kernel/arch/ppc32/include/mm/tlb.h
===================================================================
--- kernel/arch/ppc32/include/mm/tlb.h	(revision 8b6930d5d4a9a2fdd17c45b45770dd51a1d956a6)
+++ kernel/arch/ppc32/include/mm/tlb.h	(revision 473d5d202238ab61558d1695b8e41f478815a862)
@@ -77,9 +77,5 @@
 extern void pht_init(void);
 extern void pht_refill(unsigned int, istate_t *);
-
-extern bool pht_refill_real(unsigned int, istate_t *)
-    __attribute__ ((section("K_UNMAPPED_TEXT_START")));
-extern void tlb_refill_real(unsigned int, uint32_t, ptehi_t, ptelo_t,
-    istate_t *) __attribute__ ((section("K_UNMAPPED_TEXT_START")));
+extern void tlb_refill(unsigned int, istate_t *);
 
 #endif