Documented in 1 files:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/ethernet/intel/ice/ice_ptp.c ice_ptp_periodic_work() -> ice_ptp_maybe_trigger_tx_interrupt()

Type Parameter Key Value
PARAM_VALUE 0 pf 4096-ptr_max
PARAM_VALUE 0 pf->ptp.state 2
PARAM_VALUE 0 pf->state 4096-ptr_max
NOCHECK_CALL
HOST_DATA 0 pf->ptp.cached_phc_time 0-u64max