Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/ptp/ptp_vmclock.c ptp_vmclock_get_time_fn() -> vmclock_get_crosststamp()

Type Parameter Key Value
PARAM_VALUE 0 st->sys_cs_id 0-4,6-u32max
PARAM_VALUE 1 sts 0
PARAM_VALUE 2 system_counter 4096-ptr_max
PARAM_VALUE 3 tspec 4083146463900065792
BUF_SIZE 0 st s32min-(-1),1-s32max
BUF_SIZE 0 st s32min-(-1),1-s32max
DATA_SOURCE 0 st $2
DATA_SOURCE 2 system_counter $1
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 2 system_counter->cycles 0-u64max
HALF_LOCKED2 &adapter->ptm_lock

drivers/ptp/ptp_vmclock.c ptp_vmclock_gettimex() -> vmclock_get_crosststamp()

Type Parameter Key Value
PARAM_VALUE 0 st 4096-ptr_max
PARAM_VALUE 1 sts->clockid 0-1,4,16-23
PARAM_VALUE 2 system_counter 0
PARAM_VALUE 3 tspec 99791054051651584,286996878195216384,610505656059703296,1040290183786221568,2256598480787394560,2317135252460216320,6510108232589836288
DATA_SOURCE 1 sts $2
DATA_SOURCE 3 tspec $1
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 1 sts->post_sts.cycles 0-u64max
HOST_DATA 1 sts->pre_sts.cycles 0-u64max
USER_DATA 1 sts->clockid 0-1,4,16-23
NO_OVERFLOW_SIMPLE 1 sts->post_ts.tv_sec
NO_OVERFLOW_SIMPLE 3 tspec->tv_sec

drivers/ptp/ptp_vmclock.c vmclock_get_crosststamp_kvmclock() -> vmclock_get_crosststamp()

Type Parameter Key Value
PARAM_VALUE 0 st->sys_cs_id 5
PARAM_VALUE 1 sts 0
PARAM_VALUE 1 sts->post_sts.valid 0-1
PARAM_VALUE 1 sts->pre_sts.valid 0-1
PARAM_VALUE 2 system_counter 4096-ptr_max
PARAM_VALUE 3 tspec 4083146463900065792
PARAM_VALUE 3 tspec->tv_nsec s64min-(-2000000000),0-s64max
BUF_SIZE 0 st s32min-(-1),1-s32max
BUF_SIZE 0 st s32min-(-1),1-s32max
DATA_SOURCE 0 st $0
DATA_SOURCE 1 sts $1
DATA_SOURCE 2 system_counter $2
DATA_SOURCE 3 tspec $3
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 1 sts->post_sts.cycles 0-u64max
HOST_DATA 1 sts->pre_sts.cycles 0-u64max
HOST_DATA 2 system_counter->cycles 0-u64max
HALF_LOCKED2 &adapter->ptm_lock