Index: kernel/generic/src/synch/futex.c
===================================================================
--- kernel/generic/src/synch/futex.c	(revision ee42e43c628b18c45323f958209e636e51f1bfd0)
+++ kernel/generic/src/synch/futex.c	(revision a49a1a14068749b3ad852ac61bc415599e0339cb)
@@ -150,7 +150,4 @@
 	uintptr_t paddr;
 	pte_t *t;
-	ipl_t ipl;
-	
-	ipl = interrupts_disable();
 	
 	/*
@@ -161,5 +158,4 @@
 	if (!t || !PTE_VALID(t) || !PTE_PRESENT(t)) {
 		page_table_unlock(AS, true);
-		interrupts_restore(ipl);
 		return (unative_t) ENOENT;
 	}
@@ -167,6 +163,4 @@
 	page_table_unlock(AS, true);
 	
-	interrupts_restore(ipl);
-
 	futex = futex_find(paddr);