Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/infiniband/hw/efa/efa_verbs.c pbl_indirect_initialize() -> pbl_chunk_list_create()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->pdev 4096-ptr_max
PARAM_VALUE 0 dev->pdev->dev.dma_io_tlb_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 dev->pdev->dev.dma_io_tlb_pools.next->prev 4096-ptr_max
PARAM_VALUE 0 dev->pdev->dev.dma_io_tlb_pools.next->prev->prev 4096-ptr_max
PARAM_VALUE 0 dev->pdev->dev.dma_mask 4096-ptr_max
PARAM_VALUE 0 dev->pdev->dev.iommu->attach_deferred 0-1
PARAM_VALUE 0 dev->pdev->dev.iommu->pci_32bit_workaround 0-1
PARAM_VALUE 1 pbl 8924212030770118656
PARAM_VALUE 1 pbl->pbl_buf 16,4096-ptr_max
PARAM_VALUE 1 pbl->phys.indirect.sg_dma_cnt 1-s32max
PARAM_VALUE 1 pbl->phys.indirect.sgl 16,4096-ptr_max
PARAM_VALUE 1 pbl->physically_continuous 0
BUF_SIZE 1 pbl->pbl_buf 0-s32max
BUF_SIZE 1 pbl->phys.indirect.sgl s32min-s32max
CAPPED_DATA 0 &dev->pdev->dev 1
CAPPED_DATA 1 pbl->phys.indirect.pbl_buf_size_in_pages 1
CAPPED_DATA 1 pbl->phys.indirect.sg_dma_cnt 1
DATA_SOURCE 0 dev $0
DATA_SOURCE 1 pbl $1
BIT_INFO 1 pbl->pbl_buf_size_in_bytes 0x0,0x7fffffff
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 1 pbl->phys.indirect.pbl_buf_size_in_pages
NO_OVERFLOW_SIMPLE 1 pbl->phys.indirect.sg_dma_cnt