Open Menu /

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/infiniband/core/umem.c __ib_umem_release() -> ib_dma_unmap_sgtable_attrs()

Type Parameter Key Value
PARAM_VALUE 1 sgt 4096-ptr_max
PARAM_VALUE 2 direction 0
DATA_SOURCE 0 dev $0
STR_LEN 0 dev (-1)
STR_LEN 0 dev (-1)
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 dev->hw_stats_attr_index
NO_OVERFLOW_SIMPLE 0 dev->num_comp_vectors
NO_OVERFLOW_SIMPLE 0 dev->phys_port_cnt
HALF_LOCKED2 &context->db_page_mutex
HALF_LOCKED2 &context->page_mutex
HALF_LOCKED2 &cq->resize_mutex
HALF_LOCKED2 &ctx->dbrecords_page_mutex

drivers/infiniband/core/rw.c rdma_rw_ctx_destroy_bvec() -> ib_dma_unmap_sgtable_attrs()

Type Parameter Key Value
PARAM_VALUE 1 sgt 4096-ptr_max
PARAM_VALUE 2 direction 1-2
PARAM_VALUE 3 dma_attrs 0
DATA_SOURCE 2 direction $5
HARD_MAX 2 direction 2
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/infiniband/core/rw.c rdma_rw_ctx_init() -> ib_dma_unmap_sgtable_attrs()

Type Parameter Key Value
PARAM_VALUE 0 dev->dma_device 0,4096-ptr_max
PARAM_VALUE 0 dev->dma_device->dma_io_tlb_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 dev->dma_device->iommu->attach_deferred 0-1
PARAM_VALUE 1 sgt 5301091082923773952
PARAM_VALUE 2 direction 0-3
PARAM_VALUE 3 dma_attrs 0
CAPPED_DATA 0 dev->dma_device 1
DATA_SOURCE 2 direction $8
FUZZY_MAX 2 direction 2
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 1 sgt->nents

drivers/infiniband/core/rw.c rdma_rw_ctx_signature_init() -> ib_dma_unmap_sgtable_attrs()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->dma_device 0,4096-ptr_max
PARAM_VALUE 0 dev->dma_device->dma_io_tlb_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 dev->dma_device->iommu->attach_deferred 0-1
PARAM_VALUE 1 sgt 1767177370466856960
PARAM_VALUE 1 sgt->nents 1-s32max
PARAM_VALUE 1 sgt->orig_nents 1-256
PARAM_VALUE 2 direction 0-3
PARAM_VALUE 3 dma_attrs 0
CAPPED_DATA 0 dev->dma_device 1
DATA_SOURCE 2 direction $10
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 1 sgt->nents

drivers/infiniband/core/rw.c rdma_rw_ctx_signature_init() -> ib_dma_unmap_sgtable_attrs()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->dma_device 0,4096-ptr_max
PARAM_VALUE 0 dev->dma_device->dma_io_tlb_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 dev->dma_device->iommu->attach_deferred 0-1
PARAM_VALUE 1 sgt 5250066616414674944
PARAM_VALUE 1 sgt->nents 0-s32max
PARAM_VALUE 1 sgt->orig_nents 0-256
PARAM_VALUE 2 direction 0-3
PARAM_VALUE 3 dma_attrs 0
CAPPED_DATA 0 dev->dma_device 1
DATA_SOURCE 2 direction $10
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 1 sgt->nents

drivers/infiniband/core/rw.c rdma_rw_init_mr_wrs_bvec() -> ib_dma_unmap_sgtable_attrs()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->dma_device 0,4096-ptr_max
PARAM_VALUE 0 dev->dma_device->dma_io_tlb_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 dev->dma_device->iommu->attach_deferred 0-1
PARAM_VALUE 0 dev->port_data 4096-ptr_max
PARAM_VALUE 1 sgt 4096-ptr_max
PARAM_VALUE 1 sgt->sgl 4096-ptr_max
PARAM_VALUE 2 direction 1-2
PARAM_VALUE 3 dma_attrs 0
CAPPED_DATA 0 dev->dma_device 1
DATA_SOURCE 2 direction $8
FUZZY_MAX 2 direction 2
HARD_MAX 2 direction 2
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL