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