Index: kernel/genarch/src/mm/as_ht.c
===================================================================
--- kernel/genarch/src/mm/as_ht.c	(revision e32e092d6f8bed442ecc81b18af9ef323bc4e650)
+++ kernel/genarch/src/mm/as_ht.c	(revision 515a010298db5702edc01e5a63d4612a76fe0140)
@@ -73,5 +73,5 @@
 	if (flags & FLAG_AS_KERNEL) {
 		hash_table_create(&page_ht, PAGE_HT_ENTRIES, 2, &ht_operations);
-		mutex_initialize(&page_ht_lock);
+		mutex_initialize(&page_ht_lock, MUTEX_PASSIVE);
 	}
 	return NULL;