Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/nvme/host/rdma.c nvme_rdma_create_cq() -> nvme_rdma_poll_queue()

Type Parameter Key Value
PARAM_VALUE 0 queue 4096-ptr_max
PARAM_VALUE 0 queue->ctrl 4096-ptr_max
BUF_SIZE 0 queue s32min-(-2),1-s32max
BUF_SIZE 0 queue s32min-(-2),1-s32max
BUF_SIZE 0 queue->device (-1),48
CAPPED_DATA 0 queue->device->num_inline_segments 1
DATA_SOURCE 0 queue $1
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &id_priv->handler_mutex
HALF_LOCKED2 &listen_id->handler_mutex

drivers/nvme/host/rdma.c nvme_rdma_free_cq() -> nvme_rdma_poll_queue()

Type Parameter Key Value
PARAM_VALUE 0 queue 4096-ptr_max
BUF_SIZE 0 queue s32min-(-1),1-s32max
BUF_SIZE 0 queue s32min-(-1),1-s32max
BUF_SIZE 0 queue->cm_id (-1),560
BUF_SIZE 0 queue->device (-1),48
DATA_SOURCE 0 queue $0
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 queue->ctrl->ctrl.queue_count
NO_OVERFLOW_SIMPLE 0 queue->ib_cq->cqe_used
NO_OVERFLOW_SIMPLE 0 queue->queue_size