Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/ethernet/intel/i40e/i40e_txrx.c i40e_program_fdir_filter() -> i40e_fdir()

Type Parameter Key Value
PARAM_VALUE 0 tx_ring 4096-ptr_max
PARAM_VALUE 0 tx_ring->dev->dma_io_tlb_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 tx_ring->dev->dma_io_tlb_pools.next 4096-ptr_max
PARAM_VALUE 0 tx_ring->dev->dma_io_tlb_pools.next->prev 4096-ptr_max
PARAM_VALUE 0 tx_ring->dev->dma_io_tlb_pools.next->prev->prev 4096-ptr_max
PARAM_VALUE 0 tx_ring->dev->dma_uses_io_tlb 1
PARAM_VALUE 0 tx_ring->dev->iommu->attach_deferred 0-1
PARAM_VALUE 0 tx_ring->dev->iommu->pci_32bit_workaround 0-1
PARAM_VALUE 0 tx_ring->tx_bi 4096-ptr_max
PARAM_VALUE 1 fdata 4096-ptr_max
PARAM_VALUE 1 fdata->pctype 31,33-46
CAPPED_DATA 1 fdata->pctype 1
DATA_SOURCE 1 fdata $0
DATA_SOURCE 2 add $3
NOSPEC 1 fdata->fd_id
NOSPEC 1 fdata->q_index
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 1 fdata->dst_ip 0-u32max
USER_DATA 1 fdata->dst_port 0-u16max
USER_DATA 1 fdata->fd_id 0-s32max[c]
USER_DATA 1 fdata->flow_type 0-4,8-13,15-255[c]
USER_DATA 1 fdata->ipl4_proto 0-255
USER_DATA 1 fdata->q_index 0-65534[c]
USER_DATA 1 fdata->src_ip 0-u32max
USER_DATA 1 fdata->src_port 0-u16max
USER_DATA 1 fdata->vlan_etype 0-u16max
USER_DATA 1 fdata->vlan_tag 0-u16max