Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/dsa/microchip/ksz_ptp.c ksz_ptp_do_aux_work() -> _ksz_ptp_gettime()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 1 ts 8184685215080644608
LOCK2 &ptp_data->lock
TYPE_LOCK (struct ksz_ptp_data)->lock

drivers/net/dsa/microchip/ksz_ptp.c ksz_ptp_gettime() -> _ksz_ptp_gettime()

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

drivers/net/dsa/microchip/ksz_ptp.c ksz_ptp_restart_perout() -> _ksz_ptp_gettime()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->dev 0,4096-ptr_max
PARAM_VALUE 0 dev->dev->bus 0,4096-ptr_max
PARAM_VALUE 0 dev->dev->class 0,4096-ptr_max
PARAM_VALUE 0 dev->dev->driver 0,4096-ptr_max
PARAM_VALUE 0 dev->info 4096-ptr_max
PARAM_VALUE 0 dev->info->regs 4096-ptr_max
PARAM_VALUE 1 ts 6086090733452390400
DATA_SOURCE 0 dev $0
LOCK2 &ptp_data->lock
TYPE_LOCK (struct ksz_ptp_data)->lock