Index: kernel/generic/src/mm/page.c
===================================================================
--- kernel/generic/src/mm/page.c	(revision 7aaed09d88be49fac8360d3017e3328ed9b0635c)
+++ kernel/generic/src/mm/page.c	(revision 398e33bee64544f3eb5e421c524d9e59c394481d)
@@ -178,4 +178,17 @@
 }
 
+/** Make the mapping shared by all page tables (not address spaces).
+ * 
+ * @param base Starting virtual address of the range that is made global.
+ * @param size Size of the address range that is made global.
+ */
+void page_mapping_make_global(uintptr_t base, size_t size)
+{
+	ASSERT(page_mapping_operations);
+	ASSERT(page_mapping_operations->mapping_make_global);
+	
+	return page_mapping_operations->mapping_make_global(base, size);
+}
+
 uintptr_t hw_map(uintptr_t physaddr, size_t size)
 {