Documented in 2 files:

Defined in 1 files as a prototype:

Defined in 3 files as a function:

Referenced in 18 files:

Smatch caller information:

kernel/futex/waitwake.c futex_wait_restart() -> futex_wait()

Type Parameter Key Value
PARAM_VALUE 3 abs_time 0,4096-ptr_max
BUF_SIZE 3 abs_time 0,8
BUF_SIZE 3 abs_time 0,8

kernel/futex/syscalls.c do_futex() -> futex_wait()

Type Parameter Key Value
PARAM_VALUE 1 flags 2,18,34,50,1026,1042,1058,1074,2050,2066,2082,2098,3074,3090,3106,3122
PARAM_VALUE 3 abs_time 0,558351418170736640,7120372615748767744
BUF_SIZE 3 abs_time 0,8
BUF_SIZE 3 abs_time 0,8
DATA_SOURCE 0 uaddr $0
DATA_SOURCE 1 flags r futex_to_flags
DATA_SOURCE 2 val $2
DATA_SOURCE 3 abs_time $3
DATA_SOURCE 4 bitset $6 [m]
BIT_INFO 1 flags 0x0,0xbff
BIT_INFO 3 abs_time 0x0,0x67ffadab3fffd000
BIT_INFO 3 abs_time 0x0,0x67ffadab3fffd000
USER_DATA 0 uaddr 0-u64max
USER_DATA 2 val 0-u32max
USER_DATA 3 *abs_time 0-9223372035999999999[c]
USER_DATA 4 bitset 0-u32max
USER_PTR 3 abs_time