Index: generic/include/mm/page.h
===================================================================
--- generic/include/mm/page.h	(revision 214f5bb11a3c460990da0032cf0f58851dd10cee)
+++ generic/include/mm/page.h	(revision 021d471663b9f267f1999923f91fc387f1943aca)
@@ -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);