Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

kernel/futex/syscalls.c __do_sys_futex_wait() -> futex2_setup_timeout()

Type Parameter Key Value
PARAM_VALUE 0 timeout 1-u64max
PARAM_VALUE 2 to 1908912304835444736
DATA_SOURCE 0 timeout $4
DATA_SOURCE 1 clockid $5
USER_DATA 0 timeout 1-u64max
USER_DATA 1 clockid s32min-s32max

kernel/futex/syscalls.c __do_sys_futex_wait() -> futex2_setup_timeout()

Type Parameter Key Value
PARAM_VALUE 0 timeout 1-u64max
PARAM_VALUE 2 to 1908912304835444736
DATA_SOURCE 0 timeout $4
DATA_SOURCE 1 clockid $5
USER_DATA 0 timeout 1-u64max
USER_DATA 1 clockid s32min-s32max

kernel/futex/syscalls.c __do_sys_futex_waitv() -> futex2_setup_timeout()

Type Parameter Key Value
PARAM_VALUE 0 timeout 1-u64max
PARAM_VALUE 2 to 1464062181396357120
DATA_SOURCE 0 timeout $3
DATA_SOURCE 1 clockid $4
USER_DATA 0 timeout 1-u64max
USER_DATA 1 clockid s32min-s32max

kernel/futex/syscalls.c __do_sys_futex_waitv() -> futex2_setup_timeout()

Type Parameter Key Value
PARAM_VALUE 0 timeout 1-u64max
PARAM_VALUE 2 to 1464062181396357120
DATA_SOURCE 0 timeout $3
DATA_SOURCE 1 clockid $4
USER_DATA 0 timeout 1-u64max
USER_DATA 1 clockid s32min-s32max