Index: kernel/genarch/src/mm/as_pt.c
===================================================================
--- kernel/genarch/src/mm/as_pt.c	(revision be069144135afaab9e7c8cee79ffd3504762612c)
+++ kernel/genarch/src/mm/as_pt.c	(revision fdaad75dff1d0aada7a6e1825ce65314be2ff3c2)
@@ -84,5 +84,4 @@
 		 */
 		
-		ipl_t ipl = interrupts_disable();
 		mutex_lock(&AS_KERNEL->lock);
 		
@@ -100,5 +99,4 @@
 		
 		mutex_unlock(&AS_KERNEL->lock);
-		interrupts_restore(ipl);
 	}
 	
Index: kernel/genarch/src/mm/page_ht.c
===================================================================
--- kernel/genarch/src/mm/page_ht.c	(revision be069144135afaab9e7c8cee79ffd3504762612c)
+++ kernel/genarch/src/mm/page_ht.c	(revision fdaad75dff1d0aada7a6e1825ce65314be2ff3c2)
@@ -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));
 	
Index: kernel/genarch/src/mm/page_pt.c
===================================================================
--- kernel/genarch/src/mm/page_pt.c	(revision be069144135afaab9e7c8cee79ffd3504762612c)
+++ kernel/genarch/src/mm/page_pt.c	(revision fdaad75dff1d0aada7a6e1825ce65314be2ff3c2)
@@ -72,5 +72,4 @@
 	pte_t *ptl0 = (pte_t *) PA2KA((uintptr_t) as->genarch.page_table);
 
-	ASSERT(interrupts_disabled());
 	ASSERT(page_table_locked(as));
 	
@@ -120,5 +119,4 @@
 void pt_mapping_remove(as_t *as, uintptr_t page)
 {
-	ASSERT(interrupts_disabled());
 	ASSERT(page_table_locked(as));
 
@@ -251,5 +249,4 @@
 pte_t *pt_mapping_find(as_t *as, uintptr_t page)
 {
-	ASSERT(interrupts_disabled());
 	ASSERT(page_table_locked(as));