Open Menu /

Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

kernel/time/timekeeping.c __timekeeping_inject_offset() -> timespec64_valid_settod()

Type Parameter Key Value
PARAM_VALUE 0 ts 2745246427006607360
LOCK2 irq
HALF_LOCKED2 &tkd->lock

kernel/time/timekeeping.c aux_clock_set() -> timespec64_valid_settod()

Type Parameter Key Value
PARAM_VALUE 0 ts 5600820067894091776,6948930233408114688
DATA_SOURCE 0 ts $1
USER_DATA 0 ts->tv_nsec s64min-s64max
USER_DATA 0 ts->tv_sec s64min-s64max

kernel/time/timekeeping.c do_settimeofday64() -> timespec64_valid_settod()

Type Parameter Key Value
PARAM_VALUE 0 ts 4096-ptr_max
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 s64min-s64max

kernel/time/timekeeping.c timekeeping_init() -> timespec64_valid_settod()

Type Parameter Key Value
PARAM_VALUE 0 ts 1671044568705347584
PARAM_VALUE 0 ts->tv_nsec 0-s64max
PARAM_VALUE 0 ts->tv_sec 0
LOCK2 irq

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

Type Parameter Key Value
PARAM_VALUE 0 ts 2934050260975841280,4049936384071921664,5600820067894091776,6948930233408114688
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 s64min-s64max
USER_DATA 0 ts->tv_sec s64min-s64max

drivers/ptp/ptp_clock.c ptp_clock_adjtime() -> timespec64_valid_settod()

Type Parameter Key Value
PARAM_VALUE 0 ts 99791054051651584
NO_OVERFLOW_SIMPLE 0 ts->tv_sec

drivers/ptp/ptp_clock.c ptp_clock_settime() -> timespec64_valid_settod()

Type Parameter Key Value
PARAM_VALUE 0 ts 5600820067894091776,6948930233408114688
PARAM_VALUE 0 ts->tv_nsec 0-999999999
PARAM_VALUE 0 ts->tv_sec 0-9223372035
DATA_SOURCE 0 ts $1
HARD_MAX 0 ts->tv_nsec 999999999
HARD_MAX 0 ts->tv_sec 9223372035
USER_DATA 0 ts->tv_nsec 0-999999999
USER_DATA 0 ts->tv_sec 0-9223372035
NO_OVERFLOW_SIMPLE 0 ts->tv_sec