Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/infiniband/hw/ionic/ionic_controlpath.c ionic_alloc_mr() -> ionic_put_mrid()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->lif_cfg.hwdev->dma_io_tlb_lock.rlock.dep_map->name 0-255
DATA_SOURCE 0 dev r to_ionic_ibdev
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &cls_conn->ep_mutex
HALF_LOCKED2 &clt_path->init_mutex
HALF_LOCKED2 &iser_conn->state_mutex
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 &srv->paths_mutex
HALF_LOCKED2 global &rx_queue_mutex

drivers/infiniband/hw/ionic/ionic_controlpath.c ionic_alloc_mw() -> ionic_put_mrid()

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

drivers/infiniband/hw/ionic/ionic_controlpath.c ionic_dealloc_mw() -> ionic_put_mrid()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->lif_cfg.admin_opcodes 7-255
DATA_SOURCE 0 dev r to_ionic_ibdev
NOCHECK_CALL

drivers/infiniband/hw/ionic/ionic_controlpath.c ionic_dereg_mr() -> ionic_put_mrid()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->lif_cfg.hwdev->dma_io_tlb_lock.rlock.dep_map->name 0-255
DATA_SOURCE 0 dev r to_ionic_ibdev
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/infiniband/hw/ionic/ionic_controlpath.c ionic_reg_user_mr() -> ionic_put_mrid()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->ibdev.dma_device->iommu->pci_32bit_workaround 0-1
PARAM_VALUE 0 dev->lif_cfg.hwdev->dma_io_tlb_lock.rlock.dep_map->name 0-255
DATA_SOURCE 0 dev r to_ionic_ibdev
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/infiniband/hw/ionic/ionic_controlpath.c ionic_reg_user_mr_dmabuf() -> ionic_put_mrid()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->lif_cfg.hwdev->dma_io_tlb_lock.rlock.dep_map->name 0-255
DATA_SOURCE 0 dev r to_ionic_ibdev
NOCHECK_CALL