Index: kernel/generic/src/synch/futex.c
===================================================================
--- kernel/generic/src/synch/futex.c	(revision b1c57a828cb73794beb6a309f5ec0199ca75ecc2)
+++ kernel/generic/src/synch/futex.c	(revision a420203e10bd60efe9f0855ec6ec46a9bf0fac5f)
@@ -288,6 +288,6 @@
 static bool find_futex_paddr(uintptr_t uaddr, uintptr_t *paddr)
 {
+	page_table_lock(AS, false);
 	spinlock_lock(&futex_ht_lock);
-	page_table_lock(AS, false);
 
 	bool found = false;
@@ -299,6 +299,6 @@
 	}
 	
+	spinlock_unlock(&futex_ht_lock);
 	page_table_unlock(AS, false);
-	spinlock_unlock(&futex_ht_lock);
 	
 	return found;