Index: kernel/generic/include/mm/as.h
===================================================================
--- kernel/generic/include/mm/as.h	(revision f43d8cef17ca84bb86ea598fe7053f90fc5d9fa0)
+++ kernel/generic/include/mm/as.h	(revision 83789ea27b9086d9e279dc3811225605763d64a3)
@@ -307,5 +307,5 @@
 extern as_t *AS_KERNEL;
 
-extern as_operations_t *as_operations;
+extern const as_operations_t *as_operations;
 extern list_t inactive_as_with_asid_list;
 
Index: kernel/generic/include/mm/page.h
===================================================================
--- kernel/generic/include/mm/page.h	(revision f43d8cef17ca84bb86ea598fe7053f90fc5d9fa0)
+++ kernel/generic/include/mm/page.h	(revision 83789ea27b9086d9e279dc3811225605763d64a3)
@@ -53,5 +53,5 @@
 } page_mapping_operations_t;
 
-extern page_mapping_operations_t *page_mapping_operations;
+extern const page_mapping_operations_t *page_mapping_operations;
 
 extern void page_init(void);