Open Menu /

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/falcon/farch.c ef4_check_tx_flush_complete() -> ef4_farch_magic_event()

Type Parameter Key Value
PARAM_VALUE 0 channel 4096-ptr_max
PARAM_VALUE 0 channel->efx 4096-ptr_max
PARAM_VALUE 0 channel->efx->n_tx_channels 1-u32max
PARAM_VALUE 1 magic 0,1024-u32max
CAPPED_DATA 0 channel->efx->n_tx_channels 1
BIT_INFO 1 magic 0x10400,0xffffffff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 global &rtnl_mutex

drivers/net/ethernet/sfc/falcon/farch.c ef4_farch_ev_test_generate() -> ef4_farch_magic_event()

Type Parameter Key Value
PARAM_VALUE 0 channel 4096-ptr_max
PARAM_VALUE 0 channel->efx 4096-ptr_max
PARAM_VALUE 0 channel->efx->type 4096-ptr_max
PARAM_VALUE 0 channel->efx->type->ev_test_generate 4096-ptr_max
PARAM_VALUE 0 channel->event_test_cpu (-1)
PARAM_VALUE 1 magic 0,256-s32max
DATA_SOURCE 0 channel $0
BIT_INFO 1 magic 0x10100,0xffffffff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/net/ethernet/sfc/falcon/farch.c ef4_farch_handle_rx_flush_done() -> ef4_farch_magic_event()

Type Parameter Key Value
PARAM_VALUE 0 channel 4096-ptr_max
PARAM_VALUE 1 magic 0,256-s32max
BIT_INFO 1 magic 0x10300,0x7fffffff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &ni->dev_lock
HALF_LOCKED2 bh
HALF_LOCKED2 rcu_read

drivers/net/ethernet/sfc/falcon/farch.c ef4_farch_handle_tx_flush_done() -> ef4_farch_magic_event()

Type Parameter Key Value
PARAM_VALUE 1 magic 0,1024-u32max
BIT_INFO 1 magic 0x10400,0xffffffff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &ni->dev_lock
HALF_LOCKED2 bh
HALF_LOCKED2 rcu_read

drivers/net/ethernet/sfc/falcon/farch.c ef4_farch_rx_defer_refill() -> ef4_farch_magic_event()

Type Parameter Key Value
PARAM_VALUE 0 channel 4096-ptr_max
PARAM_VALUE 1 magic 0,512-s32max
BIT_INFO 1 magic 0x10200,0x7fffffff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL