Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/ethernet/sfc/falcon/efx.c ef4_probe_eventq() -> ef4_nic_probe_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->pci_dev->dev.iommu->attach_deferred 0-1
PARAM_VALUE 0 channel->efx->pci_dev->dev.iommu->pci_32bit_workaround 0-1
PARAM_VALUE 0 channel->rx_queue.efx->pci_dev->dev.iommu->attach_deferred 0-1
PARAM_VALUE 0 channel->rx_queue.efx->pci_dev->dev.iommu->pci_32bit_workaround 0-1
PARAM_VALUE 0 channel->tx_queue->efx->next_buffer_table 0-4294967295
PARAM_VALUE 0 channel->tx_queue->efx->pci_dev->dev.cma_area->available_count 0-s64max
PARAM_VALUE 0 channel->tx_queue->efx->pci_dev->dev.dma_uses_io_tlb 0-1
PARAM_VALUE 0 channel->tx_queue->efx->pci_dev->dev.iommu->attach_deferred 0-1
PARAM_VALUE 0 channel->tx_queue->efx->pci_dev->dev.iommu->pci_32bit_workaround 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 4096-ptr_max
PARAM_VALUE 0 channel->type->copy 0,6065728528105623552
PARAM_VALUE 0 channel->type->pre_probe 0,4096-ptr_max
PARAM_VALUE 0 *channel->efx->net_dev->name 0-255
DATA_SOURCE 0 channel $0
RX_PATH
TASK_NOT_RUNNING