Index: generic/include/mm/page.h
===================================================================
--- generic/include/mm/page.h	(revision 214f5bb11a3c460990da0032cf0f58851dd10cee)
+++ generic/include/mm/page.h	(revision 3d2d2fc2f1ea9da10c3b97db5c8db26818ba82cb)
@@ -61,11 +61,11 @@
 
 /** Operations to manipulate page mappings. */
-struct page_operations {
+struct page_mapping_operations {
 	void (* mapping_insert)(as_t *as, __address page, __address frame, int flags);
 	pte_t *(* mapping_find)(as_t *as, __address page);
 };
-typedef struct page_operations page_operations_t;
+typedef struct page_mapping_operations page_mapping_operations_t;
 
-extern page_operations_t *page_operations;
+extern page_mapping_operations_t *page_mapping_operations;
 
 extern void page_init(void);