Index: kernel/arch/ppc32/include/mm/tlb.h
===================================================================
--- kernel/arch/ppc32/include/mm/tlb.h	(revision 826c203b1eb0841831b90bed895972ff50c4f2b5)
+++ kernel/arch/ppc32/include/mm/tlb.h	(revision 516ff92eec3001ee20baaf6f01de87b1ffef0b48)
@@ -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);