Changes in kernel/generic/src/synch/futex.c [38dc82d:496232e] in mainline

File:

• kernel/generic/src/synch/futex.c (modified) (2 diffs)

kernel/generic/src/synch/futex.c

@@ -291 +291 @@
         spinlock_lock(&futex_ht_lock);
 
-        bool success = false;
-
-        pte_t t;
-        bool found;
-
-        found = page_mapping_find(AS, ALIGN_DOWN(uaddr, PAGE_SIZE), true, &t);
-        if (found && PTE_VALID(&t) && PTE_PRESENT(&t)) {
-                success = true;
-                *paddr = PTE_GET_FRAME(&t) +
-                    (uaddr - ALIGN_DOWN(uaddr, PAGE_SIZE));
+        bool found = false;
+        pte_t *t = page_mapping_find(AS, ALIGN_DOWN(uaddr, PAGE_SIZE), true);
+        
+        if (t && PTE_VALID(t) && PTE_PRESENT(t)) {
+                found = true;
+                *paddr = PTE_GET_FRAME(t) + (uaddr - ALIGN_DOWN(uaddr, PAGE_SIZE));
         }
         
@@ -306 +302 @@
         page_table_unlock(AS, false);
         
-        return success;
+        return found;
 }