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 b7c404475dd97cc792174161f59a36ed39bf7c1d)
@@ -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);