Searched refs:futex_value (Results 1 – 1 of 1) sorted by relevance
116 unsigned ticket, futex_value; in acquire_sched_lock() local126 futex_value = *futex; in acquire_sched_lock()134 futex_value); in acquire_sched_lock()137 futex_value); in acquire_sched_lock()160 unsigned wakeup_ticket, futex_value; in release_sched_lock() local170 futex_value = __sync_fetch_and_add(futex, 1); in release_sched_lock()174 (long)(futex - p->futex), futex_value); in release_sched_lock()