Open Menu /

Defined in 2 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/net/ethernet/sfc/siena/ptp.c efx_siena_ptp_event() -> ptp_event_fault()

Type Parameter Key Value
PARAM_VALUE 0 efx 4096-ptr_max
PARAM_VALUE 0 efx->ptp_data 4096-ptr_max
PARAM_VALUE 0 efx->ptp_data->enabled 1
PARAM_VALUE 0 efx->ptp_data->evt_frags 4096-ptr_max
PARAM_VALUE 0 efx->type 4096-ptr_max
PARAM_VALUE 1 ptp 4096-ptr_max
PARAM_VALUE 1 ptp->enabled 1
PARAM_VALUE 1 ptp->evt_frags 4096-ptr_max
DATA_SOURCE 0 efx $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &ni->dev_lock
HALF_LOCKED2 bh
HALF_LOCKED2 rcu_read

drivers/net/ethernet/sfc/ptp.c efx_ptp_event() -> ptp_event_fault()

Type Parameter Key Value
PARAM_VALUE 0 efx 4096-ptr_max
PARAM_VALUE 0 efx->ptp_data 4096-ptr_max
PARAM_VALUE 0 efx->ptp_data->enabled 1
PARAM_VALUE 0 efx->ptp_data->evt_frags 4096-ptr_max
PARAM_VALUE 0 efx->type 4096-ptr_max
PARAM_VALUE 1 ptp 4096-ptr_max
PARAM_VALUE 1 ptp->enabled 1
PARAM_VALUE 1 ptp->evt_frags 4096-ptr_max
DATA_SOURCE 0 efx $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &ni->dev_lock
HALF_LOCKED2 bh
HALF_LOCKED2 rcu_read