Index: kernel/genarch/src/mm/page_ht.c
===================================================================
--- kernel/genarch/src/mm/page_ht.c	(revision 8f80c776122ce206c51851f4cac39bcd4a236d9a)
+++ kernel/genarch/src/mm/page_ht.c	(revision ee42e43c628b18c45323f958209e636e51f1bfd0)
@@ -185,5 +185,4 @@
 	};
 
-	ASSERT(interrupts_disabled());
 	ASSERT(page_table_locked(as));
 	
@@ -226,5 +225,4 @@
 	};
 
-	ASSERT(interrupts_disabled());
 	ASSERT(page_table_locked(as));
 	
@@ -254,5 +252,4 @@
 	};
 
-	ASSERT(interrupts_disabled());
 	ASSERT(page_table_locked(as));