Open Menu /

Defined in 1 files as a function:

Referenced in 11 files:

Smatch caller information:

kernel/time/posix-clock.c timespec64_valid_strict() -> timespec64_valid()

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

ipc/sem.c __do_semtimedop() -> timespec64_valid()

Type Parameter Key Value
PARAM_VALUE 0 ts 2782815955997175808,7899110017888727040
DATA_SOURCE 0 ts $3
USER_DATA 0 ts->tv_nsec s64min-s64max
USER_DATA 0 ts->tv_sec s64min-s64max

kernel/time/hrtimer.c __do_sys_nanosleep() -> timespec64_valid()

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

kernel/time/hrtimer.c __do_sys_nanosleep() -> timespec64_valid()

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

kernel/time/hrtimer.c __do_sys_nanosleep_time32() -> timespec64_valid()

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

kernel/time/hrtimer.c __do_sys_nanosleep_time32() -> timespec64_valid()

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

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

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
PREEMPT_ADD
USER_DATA 0 ts->tv_nsec s64min-s64max
USER_DATA 0 ts->tv_sec s64min-s64max
HALF_LOCKED2 irq

kernel/time/timekeeping.c timespec64_valid_strict() -> timespec64_valid()

Type Parameter Key Value
PARAM_VALUE 0 ts 7287977299956592640,8912340296648962048
DATA_SOURCE 0 ts $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 flags
HALF_LOCKED2 irq

kernel/time/posix-timers.c __do_sys_clock_nanosleep() -> timespec64_valid()

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

kernel/time/posix-timers.c __do_sys_clock_nanosleep() -> timespec64_valid()

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

kernel/time/posix-timers.c __do_sys_clock_nanosleep_time32() -> timespec64_valid()

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

kernel/time/posix-timers.c __do_sys_clock_nanosleep_time32() -> timespec64_valid()

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

kernel/time/posix-timers.c do_timer_settime() -> timespec64_valid()

Type Parameter Key Value
PARAM_VALUE 0 ts 71585759839850496,6929838691778711552
USER_DATA 0 ts->tv_nsec s64min-s64max
USER_DATA 0 ts->tv_sec s64min-s64max

kernel/time/posix-timers.c do_timer_settime() -> timespec64_valid()

Type Parameter Key Value
PARAM_VALUE 0 ts 71585759839850512,6929838691778711568
USER_DATA 0 ts->tv_nsec s64min-s64max
USER_DATA 0 ts->tv_sec s64min-s64max

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

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

fs/timerfd.c itimerspec64_valid() -> timespec64_valid()

Type Parameter Key Value
PARAM_VALUE 0 ts 3283092763034214400,8879171308843245568
USER_DATA 0 ts->tv_nsec s64min-s64max
USER_DATA 0 ts->tv_sec s64min-s64max

fs/timerfd.c itimerspec64_valid() -> timespec64_valid()

Type Parameter Key Value
PARAM_VALUE 0 ts 3283092763034214416,8879171308843245584
USER_DATA 0 ts->tv_nsec s64min-s64max
USER_DATA 0 ts->tv_sec s64min-s64max

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

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

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

Type Parameter Key Value
PARAM_VALUE 0 ts 541375116078116864,5308411387344822272,6515055835880341504
DATA_SOURCE 0 ts $2
USER_DATA 0 ts->tv_nsec s64min-s64max
USER_DATA 0 ts->tv_sec s64min-s64max

fs/select.c poll_select_set_timeout() -> timespec64_valid()

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

kernel/signal.c do_sigtimedwait() -> timespec64_valid()

Type Parameter Key Value
PARAM_VALUE 0 ts 686766709014990848,1874768915026731008,3085516261333106688,6956331447901614080
BUF_SIZE 0 ts 0,16
BUF_SIZE 0 ts 0,16
DATA_SOURCE 0 ts $2
BIT_INFO 0 ts 0x0,0x7bdffeffff7ff000
BIT_INFO 0 ts 0x0,0x7bdffeffff7ff000
USER_DATA 0 ts->tv_nsec s64min-s64max
USER_DATA 0 ts->tv_sec s64min-s64max

drivers/ptp/ptp_fc3.c _idtfc3_settime() -> timespec64_valid()

Type Parameter Key Value
PARAM_VALUE 0 ts 4836526069087870976,5600820067894091776,6948930233408114688,6994144989615411200
DATA_SOURCE 0 ts $1
USER_DATA 0 ts->tv_nsec 0-999999999
USER_DATA 0 ts->tv_sec 0-8277292035
NO_OVERFLOW_SIMPLE 0 ts->tv_sec
LOCK2 idtfc3->lock

ipc/mqueue.c compat_prepare_timeout() -> timespec64_valid()

Type Parameter Key Value
PARAM_VALUE 0 ts 5437035966812540928,5943018718724448256
DATA_SOURCE 0 ts $1
USER_DATA 0 ts->tv_nsec s64min-s64max
USER_DATA 0 ts->tv_sec s64min-s64max
USER_PTR 0 ts

ipc/mqueue.c prepare_timeout() -> timespec64_valid()

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