Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/ethernet/sfc/siena/mcdi.c efx_sensor_event() -> (struct efx_nic_type)->sensor_event()

Type Parameter Key Value
PARAM_VALUE 0 efx 4096-ptr_max
PARAM_VALUE 0 efx->type 4096-ptr_max
PARAM_VALUE 0 efx->type->sensor_event 2313347115231432704,2568466691245469696
PARAM_VALUE 1 ev 5699288463627743232
DATA_SOURCE 0 efx $0
DATA_SOURCE 1 ev $1
CONTAINER 0 -912-72+0 $(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &ni->dev_lock
HALF_LOCKED2 bh
HALF_LOCKED2 rcu_read

drivers/net/ethernet/sfc/mcdi.c efx_sensor_event() -> (struct efx_nic_type)->sensor_event()

Type Parameter Key Value
PARAM_VALUE 0 efx 4096-ptr_max
PARAM_VALUE 0 efx->type 4096-ptr_max
PARAM_VALUE 0 efx->type->sensor_event 2313347115231432704,2568466691245469696
PARAM_VALUE 1 ev 4096-ptr_max
DATA_SOURCE 0 efx $0
DATA_SOURCE 1 ev $1
CONTAINER 0 -904-72+0 $(-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &ni->dev_lock
HALF_LOCKED2 bh
HALF_LOCKED2 rcu_read