Index: generic/include/mm/page.h
===================================================================
--- generic/include/mm/page.h	(revision 594a4685fd3e8f2a0240297164d050cbcb0f79d9)
+++ generic/include/mm/page.h	(revision 8418c7d1885256e7d6e4cb637e377cbb2a1be321)
@@ -108,6 +108,6 @@
 
 extern void page_init(void);
-extern void map_page_to_frame(__address page, __address frame, int flags, __address root);
-extern pte_t *find_mapping(__address page, __address root);
+extern void page_mapping_insert(__address page, __address frame, int flags, __address root);
+extern pte_t *page_mapping_find(__address page, __address root);
 extern void map_structure(__address s, size_t size);