Index: generic/include/mm/page.h
===================================================================
--- generic/include/mm/page.h	(revision f275cb36e9500aaf4935ed3ac6c1ed56b5a25dc3)
+++ generic/include/mm/page.h	(revision 036991116da84e89f7cdc04f421f69aa3640c138)
@@ -43,4 +43,5 @@
 #define PAGE_WRITE_SHIFT		4
 #define PAGE_EXEC_SHIFT			5
+#define PAGE_GLOBAL_SHIFT		6
 
 #define PAGE_NOT_CACHEABLE	(0<<PAGE_CACHEABLE_SHIFT)
@@ -57,4 +58,7 @@
 #define PAGE_EXEC		(1<<PAGE_EXEC_SHIFT)
 
+#define PAGE_GLOBAL		(1<<PAGE_GLOBAL_SHIFT)
+
+/** Operations to manipulate page mappings. */
 struct page_operations {
 	void (* mapping_insert)(__address page, asid_t asid, __address frame, int flags, __address root);