Index: kernel/genarch/src/mm/page_ht.c
===================================================================
--- kernel/genarch/src/mm/page_ht.c	(revision a55ddc6414f979c04363b992f2620a167889bd1b)
+++ kernel/genarch/src/mm/page_ht.c	(revision d9f53877c83a2ddc2668567168e75a24406af55c)
@@ -59,4 +59,5 @@
 static void ht_mapping_remove(as_t *, uintptr_t);
 static pte_t *ht_mapping_find(as_t *, uintptr_t, bool);
+static void ht_mapping_make_global(uintptr_t, size_t);
 
 slab_cache_t *pte_cache = NULL;
@@ -88,5 +89,6 @@
 	.mapping_insert = ht_mapping_insert,
 	.mapping_remove = ht_mapping_remove,
-	.mapping_find = ht_mapping_find
+	.mapping_find = ht_mapping_find,
+	.mapping_make_global = ht_mapping_make_global
 };
 
@@ -262,4 +264,9 @@
 }
 
+void ht_mapping_make_global(uintptr_t base, size_t size)
+{
+	/* nothing to do */
+}
+
 /** @}
  */