Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

kernel/futex/syscalls.c __do_sys_futex() -> futex_init_timeout()

Type Parameter Key Value
PARAM_VALUE 0 cmd 0,6,9,11,13
PARAM_VALUE 2 ts 6515055835880341504
PARAM_VALUE 3 t 558351418170736640
DATA_SOURCE 1 op $1
USER_DATA 0 cmd 0,6,9,11,13[c]
USER_DATA 1 op 0-u32max
USER_DATA 2 ts->tv_nsec s64min-s64max
USER_DATA 2 ts->tv_sec s64min-s64max

kernel/futex/syscalls.c __do_sys_futex() -> futex_init_timeout()

Type Parameter Key Value
PARAM_VALUE 0 cmd 0,6,9,11,13
PARAM_VALUE 2 ts 6515055835880341504
PARAM_VALUE 3 t 558351418170736640
DATA_SOURCE 1 op $1
USER_DATA 0 cmd 0,6,9,11,13[c]
USER_DATA 1 op 0-u32max
USER_DATA 2 ts->tv_nsec s64min-s64max
USER_DATA 2 ts->tv_sec s64min-s64max

kernel/futex/syscalls.c __do_sys_futex_time32() -> futex_init_timeout()

Type Parameter Key Value
PARAM_VALUE 0 cmd 0,6,9,11,13
PARAM_VALUE 2 ts 5308411387344822272
PARAM_VALUE 3 t 7120372615748767744
DATA_SOURCE 1 op $1
USER_DATA 0 cmd 0,6,9,11,13[c]
USER_DATA 1 op 0-u32max
USER_DATA 2 ts->tv_nsec s64min-s64max
USER_DATA 2 ts->tv_sec s64min-s64max

kernel/futex/syscalls.c __do_sys_futex_time32() -> futex_init_timeout()

Type Parameter Key Value
PARAM_VALUE 0 cmd 0,6,9,11,13
PARAM_VALUE 2 ts 5308411387344822272
PARAM_VALUE 3 t 7120372615748767744
DATA_SOURCE 1 op $1
USER_DATA 0 cmd 0,6,9,11,13[c]
USER_DATA 1 op 0-u32max
USER_DATA 2 ts->tv_nsec s64min-s64max
USER_DATA 2 ts->tv_sec s64min-s64max

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

Type Parameter Key Value
PARAM_VALUE 0 cmd 9
PARAM_VALUE 1 op 0,256
PARAM_VALUE 2 ts 541375116078116864
PARAM_VALUE 3 t 8859416995587780608
BIT_INFO 1 op 0x0,0x100
USER_DATA 2 ts->tv_nsec s64min-s64max
USER_DATA 2 ts->tv_sec s64min-s64max