Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/phy/mscc/mscc_ptp.c vsc85xx_adjtime() -> __vsc85xx_gettime()

Type Parameter Key Value
PARAM_VALUE 0 info 3462705233355587584
PARAM_VALUE 0 info->adjfine 4977394833375367168
PARAM_VALUE 0 info->adjphase 0
PARAM_VALUE 0 info->adjtime 3458847758878117888
PARAM_VALUE 0 info->do_aux_work 3216977183501094912
PARAM_VALUE 0 info->enable 0
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 3039210933659484160
PARAM_VALUE 0 info->gettimex64 0
PARAM_VALUE 0 info->max_adj s32max
PARAM_VALUE 0 info->n_alarm 0
PARAM_VALUE 0 info->n_ext_ts 0
PARAM_VALUE 0 info->n_per_lp 0
PARAM_VALUE 0 info->n_per_out 0
PARAM_VALUE 0 info->n_pins 0
PARAM_VALUE 0 info->name 1981085342923948032
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 7754874731541557248
PARAM_VALUE 0 info->supported_extts_flags 0
PARAM_VALUE 0 info->supported_perout_flags 0
PARAM_VALUE 0 info->verify 0
PARAM_VALUE 1 ts 1475185451483455488
DATA_SOURCE 0 info $0
NOCHECK_CALL
LOCK2 &priv->phc_lock
TYPE_LOCK (struct vsc8531_private)->phc_lock

drivers/net/phy/mscc/mscc_ptp.c vsc85xx_gettime() -> __vsc85xx_gettime()

Type Parameter Key Value
PARAM_VALUE 0 info 4096-ptr_max
PARAM_VALUE 1 ts 4096-ptr_max
DATA_SOURCE 0 info $0
DATA_SOURCE 1 ts $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 1 ts->tv_sec
LOCK2 &priv->phc_lock
HALF_LOCKED2 &priv->est_lock
HALF_LOCKED2 &priv->lock
HALF_LOCKED2 flags
TYPE_LOCK (struct vsc8531_private)->phc_lock