Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/infiniband/hw/erdma/erdma_verbs.c erdma_destroy_mtt_buf_dma_addrs() -> erdma_unmap_page_list()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->cmdq.credits.first_waiter->up 0-1
PARAM_VALUE 0 dev->pdev->dev.iommu->pci_32bit_workaround 0-1
DATA_SOURCE 0 dev $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/infiniband/hw/erdma/erdma_verbs.c vmalloc_to_dma_addrs() -> erdma_unmap_page_list()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->attrs.cap_flags 32-u64max
PARAM_VALUE 0 dev->ibdev.dma_device->iommu->attach_deferred 0-1
PARAM_VALUE 0 dev->ibdev.dma_device->iommu->pci_32bit_workaround 0-1
PARAM_VALUE 0 dev->pdev->dev.dma_io_tlb_mem->can_grow 0-1
PARAM_VALUE 0 dev->pdev->dev.iommu->pci_32bit_workaround 0-1
PARAM_VALUE 1 pg_dma 1-u64max
BUF_SIZE 1 pg_dma 8
CAPPED_DATA 2 npages 1
DATA_SOURCE 0 dev $0
DATA_SOURCE 1 pg_dma r vcalloc_noprof
BIT_INFO 0 dev->attrs.cap_flags 0x20,0xffffffffffffffff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 2 npages unit_page