Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/nvme/host/rdma.c nvme_rdma_recv_done() -> nvme_rdma_process_nvme_rsp()

Type Parameter Key Value
PARAM_VALUE 0 queue 4096-ptr_max
PARAM_VALUE 0 queue->ctrl 4096-ptr_max
PARAM_VALUE 0 queue->device 4096-ptr_max
PARAM_VALUE 1 cqe 4096-ptr_max
PARAM_VALUE 2 wc 4096-ptr_max
PARAM_VALUE 2 wc->byte_len 16-u32max
PARAM_VALUE 2 wc->qp 4096-ptr_max
PARAM_VALUE 2 wc->qp->qp_context 4096-ptr_max
PARAM_VALUE 2 wc->status 0
PARAM_VALUE 2 wc->wr_cqe 4096-ptr_max
BUF_SIZE 0 queue s32min-(-2),1-s32max
BUF_SIZE 0 queue s32min-(-2),1-s32max
BUF_SIZE 1 cqe 16,64
BUF_SIZE 1 cqe 16,64
DATA_SOURCE 2 wc $1
FUZZY_MAX 2 wc->byte_len 16
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 queue unit_byte