Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

kernel/time/posix-timers.c __do_sys_clock_settime() -> (struct k_clock)->clock_set()

Type Parameter Key Value
PARAM_VALUE 0 id s32min-23
PARAM_VALUE 1 ts 6948930233408114688
DATA_SOURCE 0 id $0
USER_DATA 0 id s32min-23
USER_DATA 1 ts->tv_nsec s64min-s64max
USER_DATA 1 ts->tv_sec s64min-s64max

kernel/time/posix-timers.c __do_sys_clock_settime() -> (struct k_clock)->clock_set()

Type Parameter Key Value
PARAM_VALUE 0 id s32min-23
PARAM_VALUE 1 ts 6948930233408114688
DATA_SOURCE 0 id $0
USER_DATA 0 id s32min-23
USER_DATA 1 ts->tv_nsec s64min-s64max
USER_DATA 1 ts->tv_sec s64min-s64max

kernel/time/posix-timers.c __do_sys_clock_settime32() -> (struct k_clock)->clock_set()

Type Parameter Key Value
PARAM_VALUE 0 id s32min-23
PARAM_VALUE 1 ts 5600820067894091776
DATA_SOURCE 0 id $0
USER_DATA 0 id s32min-23
USER_DATA 1 ts->tv_nsec s64min-s64max
USER_DATA 1 ts->tv_sec s64min-s64max

kernel/time/posix-timers.c __do_sys_clock_settime32() -> (struct k_clock)->clock_set()

Type Parameter Key Value
PARAM_VALUE 0 id s32min-23
PARAM_VALUE 1 ts 5600820067894091776
DATA_SOURCE 0 id $0
USER_DATA 0 id s32min-23
USER_DATA 1 ts->tv_nsec s64min-s64max
USER_DATA 1 ts->tv_sec s64min-s64max