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

File:

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

kernel/generic/src/synch/futex.c

@@ -39 +39 @@
 #include <synch/mutex.h>
 #include <synch/spinlock.h>
-#include <synch/synch.h>
 #include <mm/frame.h>
 #include <mm/page.h>
@@ -119 +118 @@
          */
         page_table_lock(AS, true);
-        t = page_mapping_find(AS, ALIGN_DOWN(uaddr, PAGE_SIZE));
+        t = page_mapping_find(AS, ALIGN_DOWN(uaddr, PAGE_SIZE), false);
         if (!t || !PTE_VALID(t) || !PTE_PRESENT(t)) {
                 page_table_unlock(AS, true);
@@ -155 +154 @@
          */
         page_table_lock(AS, true);
-        t = page_mapping_find(AS, ALIGN_DOWN(uaddr, PAGE_SIZE));
+        t = page_mapping_find(AS, ALIGN_DOWN(uaddr, PAGE_SIZE), false);
         if (!t || !PTE_VALID(t) || !PTE_PRESENT(t)) {
                 page_table_unlock(AS, true);
@@ -272 +271 @@
 void futex_cleanup(void)
 {
-        link_t *cur;
-        
         mutex_lock(&futex_ht_lock);
         mutex_lock(&TASK->futexes_lock);
 
-        for (cur = TASK->futexes.leaf_head.next;
-            cur != &TASK->futexes.leaf_head; cur = cur->next) {
+        list_foreach(TASK->futexes.leaf_list, cur) {
                 btree_node_t *node;
                 unsigned int i;