Index: arch/ppc32/src/mm/page.c
===================================================================
--- arch/ppc32/src/mm/page.c	(revision ef67bab91625cc0f0eaecd741316d269bbfd5094)
+++ arch/ppc32/src/mm/page.c	(revision 021d471663b9f267f1999923f91fc387f1943aca)
@@ -36,4 +36,4 @@
 void page_arch_init(void)
 {
-	page_operations = &page_pt_operations;
+	page_mapping_operations = &pt_mapping_operations;
 }
