Documented in 1 files:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/net/ethernet/intel/idpf/xdp.c libeth_xdp_xmit_queue_bulk() -> libeth_xdp_xmit_queue_frag()

Type Parameter Key Value
PARAM_VALUE 0 bq 4312056953548144640
PARAM_VALUE 0 bq->dev 4096-ptr_max
PARAM_VALUE 0 bq->dev->dev.parent->dma_io_tlb_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 bq->dev->dev.parent->dma_io_tlb_pools.next 4096-ptr_max
PARAM_VALUE 0 bq->dev->dev.parent->dma_io_tlb_pools.next->prev 4096-ptr_max
PARAM_VALUE 0 bq->dev->dev.parent->dma_io_tlb_pools.next->prev->prev 4096-ptr_max
PARAM_VALUE 0 bq->dev->dev.parent->dma_uses_io_tlb 1
PARAM_VALUE 0 bq->dev->dev.parent->iommu->pci_32bit_workaround 0-1
PARAM_VALUE 0 *bq->bulk s64min-(-4096),4096-s64max
PARAM_VALUE 1 frag 4096-ptr_max
PARAM_VALUE 2 dev->dma_io_tlb_lock.rlock.dep_map->name 0-255
PARAM_VALUE 2 dev->dma_io_tlb_pools.next 4096-ptr_max
PARAM_VALUE 2 dev->dma_io_tlb_pools.next->prev 4096-ptr_max
PARAM_VALUE 2 dev->dma_io_tlb_pools.next->prev->prev 4096-ptr_max
PARAM_VALUE 2 dev->dma_uses_io_tlb 1
PARAM_VALUE 2 dev->iommu->pci_32bit_workaround 0-1
DATA_SOURCE 0 bq $0
RX_PATH
TASK_NOT_RUNNING
UNITS 2 dev unit_byte
HALF_LOCKED2 rcu_read