Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/nvme/host/rdma.c nvme_rdma_map_data() -> nvme_rdma_dma_unmap_req()

Type Parameter Key Value
PARAM_VALUE 0 ibdev->dma_device 0,4096-ptr_max
PARAM_VALUE 0 ibdev->dma_device->dma_io_tlb_pools.next->prev 4096-ptr_max
PARAM_VALUE 0 ibdev->dma_device->dma_io_tlb_pools.next->prev->prev 4096-ptr_max
PARAM_VALUE 1 rq 4096-ptr_max
PARAM_VALUE 1 rq->bio 0,4096-ptr_max
PARAM_VALUE 1 rq->bio->bi_iter.bi_bvec_done 0-4294967295
PARAM_VALUE 1 rq->mq_hctx 4096-ptr_max
PARAM_VALUE 1 rq->mq_hctx->tags 4096-ptr_max
PARAM_VALUE 1 rq->mq_hctx->tags->rqs 4096-ptr_max
PARAM_VALUE 1 rq->q 4096-ptr_max
PARAM_VALUE 1 rq->q->queuedata->ctrl->nr_active.counter s32min-s32max
PARAM_VALUE 1 rq->q->timeout.entry->pprev 4096-ptr_max
PARAM_VALUE 1 rq->special_vec.bv_len 4096
PARAM_VALUE 1 rq->special_vec.bv_offset 0-4095
PARAM_VALUE 1 rq->state 1
PARAM_VALUE 1 *rq->mq_hctx->tags->rqs 4096-ptr_max
DATA_SOURCE 1 rq $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 __tag_set->srcu
HALF_LOCKED2 rcu_read

drivers/nvme/host/rdma.c nvme_rdma_unmap_data() -> nvme_rdma_dma_unmap_req()

Type Parameter Key Value
PARAM_VALUE 1 rq 4096-ptr_max
PARAM_VALUE 1 rq->q 4096-ptr_max
DATA_SOURCE 1 rq $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL