Changes in kernel/generic/src/synch/futex.c [0ff03f3:96b02eb9] in mainline

File:

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

kernel/generic/src/synch/futex.c

@@ -119 +119 @@
          */
         page_table_lock(AS, true);
-        t = page_mapping_find(AS, ALIGN_DOWN(uaddr, PAGE_SIZE), false);
+        t = page_mapping_find(AS, ALIGN_DOWN(uaddr, PAGE_SIZE));
         if (!t || !PTE_VALID(t) || !PTE_PRESENT(t)) {
                 page_table_unlock(AS, true);
@@ -155 +155 @@
          */
         page_table_lock(AS, true);
-        t = page_mapping_find(AS, ALIGN_DOWN(uaddr, PAGE_SIZE), false);
+        t = page_mapping_find(AS, ALIGN_DOWN(uaddr, PAGE_SIZE));
         if (!t || !PTE_VALID(t) || !PTE_PRESENT(t)) {
                 page_table_unlock(AS, true);