41 static inline long sys_futex(void *addr1, int op, int val1, const struct timespec *timeout, void *a…  in sys_futex()  argument
43    return syscall(SYS_futex, addr1, op, val1, timeout, addr2, val3);  in sys_futex()
51 static inline int futex_wait(uint32_t *addr, int32_t value, const struct timespec *timeout)  in futex_wait()  argument
55    return sys_futex(addr, FUTEX_WAIT_BITSET, value, timeout, NULL,  in futex_wait()
75 static inline int futex_wait(uint32_t *addr, int32_t value, struct timespec *timeout)  in futex_wait()  argument
85    if (timeout != NULL) {  in futex_wait()
86       tmo._timeout = *timeout;  in futex_wait()
105 static inline int futex_wait(uint32_t *addr, int32_t value, const struct timespec *timeout)  in futex_wait()  argument
109    if (timeout == NULL)  in futex_wait()
113    if (timespeccmp(&tsnow, timeout, <))  in futex_wait()
114       timespecsub(timeout, &tsnow, &tsrel);  in futex_wait()
142 static inline int futex_wait(uint32_t *addr, int32_t value, const struct timespec *timeout)  in futex_wait()  argument
145    if (timeout != NULL) {  in futex_wait()
149       timeout_ms = (timeout->tv_sec - tsnow.tv_nsec) * 1000 +  in futex_wait()
150                    (timeout->tv_nsec - tsnow.tv_nsec) / 1000000;  in futex_wait()