Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/infiniband/hw/mlx5/umr.c _mlx5r_umr_update_mr_pas() -> mlx5r_umr_post_send_wait()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->ddr.mkey_ro_valid 1
PARAM_VALUE 0 dev->mdev 4096-ptr_max
PARAM_VALUE 0 dev->mdev->pdev->dev.dma_io_tlb_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 dev->mdev->pdev->dev.dma_io_tlb_pools.next 4096-ptr_max
PARAM_VALUE 0 dev->mdev->pdev->dev.dma_io_tlb_pools.next->prev 4096-ptr_max
PARAM_VALUE 0 dev->mdev->pdev->dev.dma_io_tlb_pools.next->prev->prev 4096-ptr_max
PARAM_VALUE 0 dev->mdev->pdev->dev.dma_uses_io_tlb 1
PARAM_VALUE 0 dev->mdev->pdev->dev.flags 4096-ptr_max
PARAM_VALUE 0 dev->mdev->pdev->dev.iommu->pci_32bit_workaround 0-1
PARAM_VALUE 2 wqe 6812872786253996032
PARAM_VALUE 2 wqe->ctrl_seg.bsf_octowords 0,4-u16max
PARAM_VALUE 2 wqe->ctrl_seg.flags 48,80
PARAM_VALUE 2 wqe->ctrl_seg.mkey_mask 0
PARAM_VALUE 2 wqe->ctrl_seg.xlt_offset 0,4-u16max
PARAM_VALUE 2 wqe->data_seg.addr 0-18446744073709551614
PARAM_VALUE 2 wqe->data_seg.byte_count 0-2097024
PARAM_VALUE 3 with_data 1
DATA_SOURCE 0 dev r mr_to_mdev
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 umem_dmabuf->attach->dmabuf->resv

drivers/infiniband/hw/mlx5/umr.c _mlx5r_umr_update_mr_pas() -> mlx5r_umr_post_send_wait()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->ddr.mkey_ro_valid 1
PARAM_VALUE 0 dev->mdev 4096-ptr_max
PARAM_VALUE 0 dev->mdev->pdev->dev.dma_io_tlb_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 dev->mdev->pdev->dev.dma_io_tlb_pools.next 4096-ptr_max
PARAM_VALUE 0 dev->mdev->pdev->dev.dma_io_tlb_pools.next->prev 4096-ptr_max
PARAM_VALUE 0 dev->mdev->pdev->dev.dma_io_tlb_pools.next->prev->prev 4096-ptr_max
PARAM_VALUE 0 dev->mdev->pdev->dev.dma_uses_io_tlb 1
PARAM_VALUE 0 dev->mdev->pdev->dev.flags 4096-ptr_max
PARAM_VALUE 0 dev->mdev->pdev->dev.iommu->pci_32bit_workaround 0-1
PARAM_VALUE 2 wqe 6812872786253996032
PARAM_VALUE 2 wqe->ctrl_seg.bsf_octowords 0,4-u16max
PARAM_VALUE 2 wqe->ctrl_seg.flags 48,80
PARAM_VALUE 2 wqe->ctrl_seg.xlt_offset 0,4-u16max
PARAM_VALUE 2 wqe->data_seg.addr 0-18446744073709551614
PARAM_VALUE 3 with_data 1
DATA_SOURCE 0 dev r mr_to_mdev
NOSPEC 2 wqe->data_seg.byte_count
RX_PATH
TASK_NOT_RUNNING
USER_DATA 2 wqe->ctrl_seg.xlt_octowords 0,4-u16max[c]
USER_DATA 2 wqe->data_seg.byte_count 0,64-4194048[c]
HALF_LOCKED2 umem_dmabuf->attach->dmabuf->resv

drivers/infiniband/hw/mlx5/umr.c mlx5r_umr_rereg_pd_access() -> mlx5r_umr_post_send_wait()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->mdev 4096-ptr_max
PARAM_VALUE 2 wqe 9207786055383117824
PARAM_VALUE 2 wqe->ctrl_seg.flags 192
PARAM_VALUE 2 wqe->ctrl_seg.mkey_mask 1966208,4063360,35520640,37617792,140737490321536,140737492418688,140737523875968,140737525973120
PARAM_VALUE 2 wqe->ctrl_seg.xlt_octowords 0
PARAM_VALUE 2 wqe->data_seg.byte_count 0
PARAM_VALUE 3 with_data 0
DATA_SOURCE 0 dev r mr_to_mdev
HALF_LOCKED2 &file->device->disassociate_srcu

drivers/infiniband/hw/mlx5/umr.c mlx5r_umr_revoke_mr() -> mlx5r_umr_post_send_wait()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->mdev 4096-ptr_max
PARAM_VALUE 0 dev->mdev->state 0-1,3-u32max
PARAM_VALUE 2 wqe 8049485212158042112
PARAM_VALUE 2 wqe->ctrl_seg.flags 128
PARAM_VALUE 2 wqe->ctrl_seg.mkey_mask 536871040
PARAM_VALUE 2 wqe->ctrl_seg.xlt_octowords 0
PARAM_VALUE 2 wqe->data_seg.byte_count 0
PARAM_VALUE 3 with_data 0
DATA_SOURCE 0 dev r mr_to_mdev
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &dev->data_direct_lock
HALF_LOCKED2 global &mlx5_data_direct_mutex

drivers/infiniband/hw/mlx5/umr.c mlx5r_umr_update_mr_page_shift() -> mlx5r_umr_post_send_wait()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->mdev 4096-ptr_max
PARAM_VALUE 2 wqe 8576426895590047744
PARAM_VALUE 2 wqe->ctrl_seg.flags 192
PARAM_VALUE 2 wqe->ctrl_seg.mkey_mask 67,4398046511171
PARAM_VALUE 2 wqe->ctrl_seg.xlt_octowords 0
PARAM_VALUE 2 wqe->data_seg.byte_count 0
PARAM_VALUE 3 with_data 0
DATA_SOURCE 0 dev r mr_to_mdev
RX_PATH
TASK_NOT_RUNNING
LOCK2 umem_dmabuf->attach->dmabuf->resv

drivers/infiniband/hw/mlx5/umr.c mlx5r_umr_update_xlt() -> mlx5r_umr_post_send_wait()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->mdev 4096-ptr_max
PARAM_VALUE 0 dev->mdev->pdev->dev.dma_io_tlb_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 dev->mdev->pdev->dev.dma_io_tlb_pools.next 4096-ptr_max
PARAM_VALUE 0 dev->mdev->pdev->dev.dma_io_tlb_pools.next->prev 4096-ptr_max
PARAM_VALUE 0 dev->mdev->pdev->dev.dma_io_tlb_pools.next->prev->prev 4096-ptr_max
PARAM_VALUE 0 dev->mdev->pdev->dev.dma_uses_io_tlb 1
PARAM_VALUE 0 dev->mdev->pdev->dev.flags 4096-ptr_max
PARAM_VALUE 0 dev->mdev->pdev->dev.iommu->pci_32bit_workaround 0-1
PARAM_VALUE 0 dev->umrc.sem.first_waiter->up 0-1
PARAM_VALUE 0 dev->umrc.state 1-3
PARAM_VALUE 2 wqe 6569389237597110272
PARAM_VALUE 2 wqe->ctrl_seg.bsf_octowords 0,4-u16max
PARAM_VALUE 2 wqe->ctrl_seg.flags 48,80
PARAM_VALUE 2 wqe->ctrl_seg.xlt_offset 0,4-u16max
PARAM_VALUE 2 wqe->data_seg.addr 0-18446744073709551614
PARAM_VALUE 2 wqe->data_seg.byte_count 0-4194048
PARAM_VALUE 3 with_data 1
DATA_SOURCE 0 dev r mr_to_mdev
RX_PATH
TASK_NOT_RUNNING
USER_DATA 2 wqe->ctrl_seg.xlt_octowords 0,4-u16max[c]
USER_DATA 2 wqe->data_seg.byte_count 0-4194048[c]
HALF_LOCKED2 &odp_imr->umem_mutex
HALF_LOCKED2 &umem_odp->umem_mutex