Open Menu /

Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 6 files:

Smatch caller information:

arch/x86/xen/time.c xen_time_init() -> do_settimeofday64()

Type Parameter Key Value
PARAM_VALUE 0 ts 8136178312030920704
PARAM_VALUE 0 ts->tv_nsec 0-s64max
NOCHECK_CALL

drivers/rtc/class.c rtc_hctosys() -> do_settimeofday64()

Type Parameter Key Value
PARAM_VALUE 0 ts 6238919612079792128
PARAM_VALUE 0 ts->tv_nsec 500000000

drivers/hv/hv_util.c hv_set_host_time() -> do_settimeofday64()

Type Parameter Key Value
PARAM_VALUE 0 ts 5630444984478531584
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

kernel/time/time.c __do_sys_stime() -> do_settimeofday64()

Type Parameter Key Value
PARAM_VALUE 0 ts 8932469976528945152
PARAM_VALUE 0 ts->tv_nsec 0
NOCHECK_CALL
USER_DATA 0 ts->tv_sec s64min-s64max

kernel/time/time.c __do_sys_stime() -> do_settimeofday64()

Type Parameter Key Value
PARAM_VALUE 0 ts 8932469976528945152
PARAM_VALUE 0 ts->tv_nsec 0
NOCHECK_CALL
USER_DATA 0 ts->tv_sec s64min-s64max

kernel/time/time.c __do_sys_stime32() -> do_settimeofday64()

Type Parameter Key Value
PARAM_VALUE 0 ts 2853961959332003840
PARAM_VALUE 0 ts->tv_nsec 0
PARAM_VALUE 0 ts->tv_sec 0-s32max
NOCHECK_CALL
USER_DATA 0 ts->tv_sec 0-4294967295

kernel/time/time.c __do_sys_stime32() -> do_settimeofday64()

Type Parameter Key Value
PARAM_VALUE 0 ts 2853961959332003840
PARAM_VALUE 0 ts->tv_nsec 0
PARAM_VALUE 0 ts->tv_sec 0-s32max
NOCHECK_CALL
USER_DATA 0 ts->tv_sec 0-4294967295

kernel/time/time.c do_sys_settimeofday64() -> do_settimeofday64()

Type Parameter Key Value
PARAM_VALUE 0 ts 2934050260975841280,4049936384071921664,5600820067894091776,6948930233408114688
PARAM_VALUE 0 ts->tv_nsec 0-999999999
PARAM_VALUE 0 ts->tv_sec 0-8277292035
BUF_SIZE 0 ts (-1)-0,16
BUF_SIZE 0 ts (-1)-0,16
DATA_SOURCE 0 ts $0
USER_DATA 0 ts->tv_nsec 0-999999999
USER_DATA 0 ts->tv_sec 0-8277292035