Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/ethernet/sfc/falcon/efx.c ef4_remove_channel() -> ef4_remove_eventq()

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 0 channel->efx->type->ev_probe 4096-ptr_max
PARAM_VALUE 0 channel->efx->type->ev_remove 4096-ptr_max
PARAM_VALUE 0 channel->rx_queue.core_index s32min-(-1)
PARAM_VALUE 0 channel->tx_queue->efx->next_buffer_table 0-4294967295
PARAM_VALUE 0 channel->tx_queue->efx->pci_dev->dev.dma_uses_io_tlb 0-1
PARAM_VALUE 0 channel->tx_queue->ptr_mask 0-4294967295
PARAM_VALUE 0 channel->tx_queue->txd.buf.len 0-4294967295
PARAM_VALUE 0 channel->tx_queue->txd.entries 0-4294967295
PARAM_VALUE 0 channel->tx_queue->txd.index 0-4294967295
PARAM_VALUE 0 channel->type->copy 0,6065728528105623552
PARAM_VALUE 0 channel->type->post_remove 0,4096-ptr_max
PARAM_VALUE 0 channel->type->pre_probe 0,4096-ptr_max
PARAM_VALUE 0 *channel->efx->net_dev->name 0-255
PARAM_VALUE 0 *channel->tx_queue->efx->net_dev->name 0-255
CAPPED_DATA 0 channel->efx->n_tx_channels 1
DATA_SOURCE 0 channel $0
HARD_MAX 0 channel->rx_queue.core_index (-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL