Index: kernel/genarch/src/mm/as_ht.c
===================================================================
--- kernel/genarch/src/mm/as_ht.c	(revision 98a935ebd156845f2511fad291365f6649289e1f)
+++ kernel/genarch/src/mm/as_ht.c	(revision e994898da769c2fefc731de899af8f1370cd52f4)
@@ -53,5 +53,5 @@
 static bool ht_locked(as_t *);
 
-as_operations_t as_ht_operations = {
+const as_operations_t as_ht_operations = {
 	.page_table_create = ht_create,
 	.page_table_destroy = ht_destroy,
Index: kernel/genarch/src/mm/as_pt.c
===================================================================
--- kernel/genarch/src/mm/as_pt.c	(revision 98a935ebd156845f2511fad291365f6649289e1f)
+++ kernel/genarch/src/mm/as_pt.c	(revision e994898da769c2fefc731de899af8f1370cd52f4)
@@ -54,5 +54,5 @@
 static bool pt_locked(as_t *);
 
-as_operations_t as_pt_operations = {
+const as_operations_t as_pt_operations = {
 	.page_table_create = ptl0_create,
 	.page_table_destroy = ptl0_destroy,
Index: kernel/genarch/src/mm/page_ht.c
===================================================================
--- kernel/genarch/src/mm/page_ht.c	(revision 98a935ebd156845f2511fad291365f6649289e1f)
+++ kernel/genarch/src/mm/page_ht.c	(revision e994898da769c2fefc731de899af8f1370cd52f4)
@@ -82,5 +82,5 @@
 
 /** Hash table operations for page hash table. */
-hash_table_ops_t ht_ops = {
+const hash_table_ops_t ht_ops = {
 	.hash = ht_hash,
 	.key_hash = ht_key_hash,
@@ -90,5 +90,5 @@
 
 /** Page mapping operations for page hash table architectures. */
-page_mapping_operations_t ht_mapping_operations = {
+const page_mapping_operations_t ht_mapping_operations = {
 	.mapping_insert = ht_mapping_insert,
 	.mapping_remove = ht_mapping_remove,
Index: kernel/genarch/src/mm/page_pt.c
===================================================================
--- kernel/genarch/src/mm/page_pt.c	(revision 98a935ebd156845f2511fad291365f6649289e1f)
+++ kernel/genarch/src/mm/page_pt.c	(revision e994898da769c2fefc731de899af8f1370cd52f4)
@@ -58,5 +58,5 @@
 static void pt_mapping_make_global(uintptr_t, size_t);
 
-page_mapping_operations_t pt_mapping_operations = {
+const page_mapping_operations_t pt_mapping_operations = {
 	.mapping_insert = pt_mapping_insert,
 	.mapping_remove = pt_mapping_remove,