Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/phy/micrel.c lan8841_ptp_adjtime() -> (struct ptp_clock_info)->settime64()

Type Parameter Key Value
PARAM_VALUE 0 info 547833812835627008
PARAM_VALUE 0 info->adjfine 5609056539116634112
PARAM_VALUE 0 info->adjphase 0
PARAM_VALUE 0 info->adjtime 5105694005941133312
PARAM_VALUE 0 info->do_aux_work 5343959781655896064
PARAM_VALUE 0 info->enable 4812634767315980288
PARAM_VALUE 0 info->getcrosscycles 0
PARAM_VALUE 0 info->getcrosststamp 0
PARAM_VALUE 0 info->getcycles64 0
PARAM_VALUE 0 info->getcyclesx64 0
PARAM_VALUE 0 info->getmaxphase 0
PARAM_VALUE 0 info->gettime64 4135783629065990144
PARAM_VALUE 0 info->gettimex64 0
PARAM_VALUE 0 info->max_adj 31249999
PARAM_VALUE 0 info->n_alarm 0
PARAM_VALUE 0 info->n_ext_ts 10
PARAM_VALUE 0 info->n_per_lp 0
PARAM_VALUE 0 info->n_per_out 10
PARAM_VALUE 0 info->n_pins 10
PARAM_VALUE 0 info->name 498710640991600640
PARAM_VALUE 0 info->owner 0
PARAM_VALUE 0 info->perout_loopback 0
PARAM_VALUE 0 info->pin_config 0
PARAM_VALUE 0 info->pps 0
PARAM_VALUE 0 info->settime64 4866406180795535360
PARAM_VALUE 0 info->supported_extts_flags 0
PARAM_VALUE 0 info->supported_perout_flags 2
PARAM_VALUE 0 info->verify 5447296056442195968
PARAM_VALUE 1 ts 4836526069087870976
DATA_SOURCE 0 info $0
CONTAINER 0 -144+0 $(-1)
NOCHECK_CALL

drivers/ptp/ptp_clock.c ptp_clock_settime() -> (struct ptp_clock_info)->settime64()

Type Parameter Key Value
PARAM_VALUE 0 info 4096-ptr_max
PARAM_VALUE 1 ts 5600820067894091776,6948930233408114688
PARAM_VALUE 1 ts->tv_nsec 0-999999999
PARAM_VALUE 1 ts->tv_sec 0-8277292035
DATA_SOURCE 1 ts $1
CONTAINER 0 *(-144+0) $(-1)
HARD_MAX 1 ts->tv_nsec 999999999
HARD_MAX 1 ts->tv_sec 8277292035
USER_DATA 1 ts->tv_nsec 0-999999999
USER_DATA 1 ts->tv_sec 0-8277292035
NO_OVERFLOW_SIMPLE 1 ts->tv_sec

drivers/net/phy/microchip_rds_ptp.c mchp_rds_ptp_ltc_adjtime() -> (struct ptp_clock_info)->settime64()

Type Parameter Key Value
PARAM_VALUE 0 info 4096-ptr_max
PARAM_VALUE 1 ts 6994144989615411200
DATA_SOURCE 0 info $0
CONTAINER 0 -144+0 $(-1)
NOCHECK_CALL