Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/infiniband/hw/mlx5/umr.c mlx5r_umr_final_update_xlt() -> get_umr_update_access_mask()

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_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->umrc.sem.first_waiter->up 0-1
PARAM_VALUE 0 dev->umrc.state 1-3
DATA_SOURCE 0 dev $0
RX_PATH
TASK_NOT_RUNNING

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

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
DATA_SOURCE 0 dev r mr_to_mdev
HALF_LOCKED2 &file->device->disassociate_srcu