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