Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/nvme/host/rdma.c nvme_rdma_addr_resolved() -> nvme_rdma_destroy_queue_ib()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | queue | 4096-ptr_max |
| PARAM_VALUE | 0 | queue->cm_id->device->attrs.device_cap_flags | 2097152-u64max |
| PARAM_VALUE | 0 | queue->cm_id->device->ops.size_ib_pd | 0-4000000 |
| PARAM_VALUE | 0 | queue->cm_id->qp | 4096-ptr_max |
| PARAM_VALUE | 0 | queue->ctrl->ctrl.device | 0,4096-ptr_max |
| PARAM_VALUE | 0 | queue->ctrl->ctrl.opts | 4096-ptr_max |
| PARAM_VALUE | 0 | queue->device | 4096-ptr_max |
| PARAM_VALUE | 0 | queue->device->dev | 4096-ptr_max |
| PARAM_VALUE | 0 | queue->device->dev->attrs.device_cap_flags | 2097152-u64max |
| PARAM_VALUE | 0 | queue->device->dev->cq_pools_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | queue->device->dev->ops.size_ib_pd | 0-4000000 |
| PARAM_VALUE | 0 | queue->device->entry.next | 4096-ptr_max |
| PARAM_VALUE | 0 | queue->device->entry.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | queue->device->num_inline_segments | 0-4 |
| PARAM_VALUE | 0 | queue->device->pd | 4096-ptr_max |
| PARAM_VALUE | 0 | queue->device->pd->device | 4096-ptr_max |
| PARAM_VALUE | 0 | queue->device->pd->flags | 0-1 |
| PARAM_VALUE | 0 | queue->device->pd->res.comp.wait.lock.magic | 3735899821 |
| PARAM_VALUE | 0 | queue->device->pd->res.comp.wait.lock.owner | (-1) |
| PARAM_VALUE | 0 | queue->device->pd->res.comp.wait.lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | queue->device->pd->res.comp.wait.task_list.next | 4096-ptr_max |
| PARAM_VALUE | 0 | queue->device->pd->res.comp.wait.task_list.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | queue->device->pd->res.comp.wait.task_list.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | queue->device->pd->res.comp.wait.task_list.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | queue->device->pd->res.comp.wait.task_list.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | queue->device->pd->res.kern_name | 2046880278276251648 |
| PARAM_VALUE | 0 | queue->device->pd->res.kref.refcount.refs.counter | 1 |
| PARAM_VALUE | 0 | queue->device->ref.refcount.refs.counter | (-1073741824),0-s32max |
| PARAM_VALUE | 0 | queue->ib_cq | 0-ptr_max |
| PARAM_VALUE | 0 | queue->qp | 4096-ptr_max |
| PARAM_VALUE | 0 | queue->qp->mr_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | queue->qp->pd->device->dev.parent->iommu->pci_32bit_workaround | 0-1 |
| PARAM_VALUE | 0 | queue->qp->pd->device->ops.alloc_mr | 1-u64max |
| PARAM_VALUE | 0 | queue->rsp_ring | 16,4096-ptr_max |
| BUF_SIZE | 0 | queue | s32min-(-2),1-s32max |
| BUF_SIZE | 0 | queue | s32min-(-2),1-s32max |
| CAPPED_DATA | 0 | queue->cm_id->device | 1 |
| CAPPED_DATA | 0 | queue->queue_size | 1 |
| DATA_SOURCE | 0 | queue | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | queue->ib_cq->cqe_used | |
| NO_OVERFLOW_SIMPLE | 0 | queue->queue_size | |
| HALF_LOCKED2 | &id_priv->handler_mutex | ||
| HALF_LOCKED2 | &listen_id->handler_mutex |
drivers/nvme/host/rdma.c nvme_rdma_alloc_queue() -> nvme_rdma_destroy_queue_ib()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | queue | 4096-ptr_max |
| PARAM_VALUE | 0 | queue->cm_done.done | 0-4294967293,u32max |
| PARAM_VALUE | 0 | queue->cm_done.wait.lock.owner | (-1) |
| PARAM_VALUE | 0 | queue->cm_done.wait.lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | queue->cm_done.wait.task_list.next | 4096-ptr_max |
| PARAM_VALUE | 0 | queue->cm_done.wait.task_list.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | queue->cm_done.wait.task_list.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | queue->cm_done.wait.task_list.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | queue->cm_error | (-110) |
| PARAM_VALUE | 0 | queue->cm_id | 4096-ptr_max |
| PARAM_VALUE | 0 | queue->cm_id->event_handler | 4096-ptr_max |
| PARAM_VALUE | 0 | queue->cm_id->ps | 262,319 |
| PARAM_VALUE | 0 | queue->cm_id->qp_type | 2 |
| PARAM_VALUE | 0 | queue->cm_id->route.addr.dev_addr.net->ipv4.fib_default->tb_data->stats->gets | 0-4294967295 |
| PARAM_VALUE | 0 | queue->cm_id->route.addr.dev_addr.net->ipv4.fib_main->tb_data->kv->bits | 1-255 |
| PARAM_VALUE | 0 | queue->cm_id->route.addr.dev_addr.net->ipv4.fib_main->tb_data->kv->pos | 0-254 |
| PARAM_VALUE | 0 | queue->cm_id->route.addr.dev_addr.net->ipv4.fib_main->tb_data->kv->slen | 1-255 |
| PARAM_VALUE | 0 | queue->cm_id->route.addr.dev_addr.net->ipv4.fib_main->tb_data->stats->backtrack | 0-4294967295 |
| PARAM_VALUE | 0 | queue->cm_id->route.addr.dev_addr.net->ipv4.fib_main->tb_data->stats->gets | 0-4294967295 |
| PARAM_VALUE | 0 | queue->cm_id->route.addr.dev_addr.net->ipv4.fib_main->tb_data->stats->null_node_hit | 0-4294967295 |
| PARAM_VALUE | 0 | queue->cm_id->route.addr.dev_addr.net->loopback_dev->refcnt_tracker.list.next->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | queue->cmnd_capsule_len | 0-u32max |
| PARAM_VALUE | 0 | queue->ctrl | 4096-ptr_max |
| PARAM_VALUE | 0 | queue->ctrl->ctrl.device | 0,4096-ptr_max |
| PARAM_VALUE | 0 | queue->ctrl->queues | 4096-ptr_max |
| PARAM_VALUE | 0 | queue->queue_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | queue->queue_lock.first_waiter | 0 |
| PARAM_VALUE | 0 | queue->queue_lock.magic | 4096-ptr_max |
| PARAM_VALUE | 0 | queue->queue_lock.osq.tail.counter | 0 |
| PARAM_VALUE | 0 | queue->queue_lock.owner.counter | 0 |
| PARAM_VALUE | 0 | queue->queue_size | 1-65536 |
| BUF_SIZE | 0 | queue->cm_id | 560 |
| FUZZY_MAX | 0 | queue->cmnd_capsule_len | 64 |
| TERMINATED | 0 | queue->cm_id->res.kern_name | 1 |
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | queue->ctrl->ctrl.cdev.count | |
| NO_OVERFLOW_SIMPLE | 0 | queue->ctrl->ctrl.queue_count | |
| HALF_LOCKED2 | global &nvmf_dev_mutex |
drivers/nvme/host/rdma.c nvme_rdma_free_queue() -> nvme_rdma_destroy_queue_ib()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | queue | 4096-ptr_max |
| DATA_SOURCE | 0 | queue | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |