Index: kernel/arch/ppc32/include/mm/tlb.h
===================================================================
--- kernel/arch/ppc32/include/mm/tlb.h	(revision 43d64013abf7e9b8df87cb049e1707096a822a3b)
+++ kernel/arch/ppc32/include/mm/tlb.h	(revision 741a7af97a6bf9ef56b7daf5b202cca4bd40abe5)
@@ -60,5 +60,5 @@
 
 extern void pht_refill(int n, istate_t *istate);
-extern bool pht_real_refill(int n, istate_t *istate) __attribute__ ((section("K_UNMAPPED_TEXT_START")));
+extern bool pht_refill_real(int n, istate_t *istate) __attribute__ ((section("K_UNMAPPED_TEXT_START")));
 extern void pht_init(void);