Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/infiniband/hw/erdma/erdma_verbs.c erdma_create_qp() -> init_kernel_qp()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->qp_xa.xa_lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 qp 4096-ptr_max
PARAM_VALUE 1 qp->dev 4096-ptr_max
PARAM_VALUE 1 qp->rcq 4096-ptr_max
PARAM_VALUE 1 qp->ref.refcount.refs.counter 1
PARAM_VALUE 1 qp->safe_free.done 0
PARAM_VALUE 1 qp->safe_free.wait.lock.magic 3735899821
PARAM_VALUE 1 qp->safe_free.wait.lock.owner (-1)
PARAM_VALUE 1 qp->safe_free.wait.lock.owner_cpu u32max
PARAM_VALUE 1 qp->safe_free.wait.task_list.next 4096-ptr_max
PARAM_VALUE 1 qp->safe_free.wait.task_list.next->next 4096-ptr_max
PARAM_VALUE 1 qp->safe_free.wait.task_list.prev 4096-ptr_max
PARAM_VALUE 1 qp->safe_free.wait.task_list.prev->next 4096-ptr_max
PARAM_VALUE 1 qp->safe_free.wait.task_list.prev->prev 4096-ptr_max
PARAM_VALUE 1 qp->scq 4096-ptr_max
PARAM_VALUE 1 qp->state_lock.count.counter 0
PARAM_VALUE 1 qp->state_lock.dep_map->name 0-255
PARAM_VALUE 1 qp->state_lock.first_waiter 0
PARAM_VALUE 1 qp->state_lock.magic 4096-ptr_max
PARAM_VALUE 1 qp->state_lock.osq.tail.counter 0
PARAM_VALUE 1 qp->state_lock.owner.counter 0
PARAM_VALUE 2 attrs 4096-ptr_max
PARAM_VALUE 2 attrs->cap.max_inline_data 0-96
PARAM_VALUE 2 attrs->cap.max_recv_wr 1-u32max
PARAM_VALUE 2 attrs->cap.max_send_wr 1-u32max
PARAM_VALUE 2 attrs->qp_type 0-4,8-10,255,4096-4097
PARAM_VALUE 2 attrs->recv_cq 1-u64max
PARAM_VALUE 2 attrs->send_cq 1-u64max
PARAM_VALUE 2 attrs->srq 0
BUF_SIZE 2 attrs->qp_context s32min-(-1),1-s32max
BUF_SIZE 2 attrs->recv_cq (-1)-0,16,24,32,40,56,64,232,264,280,352,536,680
BUF_SIZE 2 attrs->rwq_ind_tbl (-1)-0,16,24,32,40,56,64,232,264,280,352,536,680
BUF_SIZE 2 attrs->send_cq (-1)-0,16,24,32,40,56,64,232,264,280,352,536,680
BUF_SIZE 2 attrs->srq (-1)-0,16,24,32,40,56,64,232,264,280,352,536,680
BUF_SIZE 2 attrs->xrcd (-1)-0,16,24,32,40,56,64,232,264,280,352,536,680
CAPPED_DATA 1 qp 1
CAPPED_DATA 2 attrs->cap.max_recv_sge 1
CAPPED_DATA 2 attrs->cap.max_recv_wr 1
CAPPED_DATA 2 attrs->cap.max_send_sge 1
CAPPED_DATA 2 attrs->cap.max_send_wr 1
DATA_SOURCE 0 dev r to_edev
DATA_SOURCE 1 qp r to_eqp
DATA_SOURCE 2 attrs $1
STR_LEN 2 attrs->recv_cq->res.kern_name (-1),7-8
STR_LEN 2 attrs->send_cq->res.kern_name (-1),7-8
PARAM_COMPARE 2 attrs->cap.max_recv_sge <= $0->attrs.max_recv_sge
PARAM_COMPARE 2 attrs->cap.max_recv_wr <= $0->attrs.max_recv_wr
PARAM_COMPARE 2 attrs->cap.max_send_sge <= $0->attrs.max_send_sge
PARAM_COMPARE 2 attrs->cap.max_send_wr <= $0->attrs.max_send_wr
NOSPEC 2 attrs->cap.max_recv_wr
NOSPEC 2 attrs->cap.max_send_wr
HARD_MAX 2 attrs->cap.max_inline_data 96
RX_PATH
TASK_NOT_RUNNING
USER_DATA 2 attrs->cap.max_inline_data 0-96
USER_DATA 2 attrs->cap.max_recv_sge 0-u32max[c]
USER_DATA 2 attrs->cap.max_recv_wr 1-u32max[c]
USER_DATA 2 attrs->cap.max_send_sge 0-u32max[c]
USER_DATA 2 attrs->cap.max_send_wr 1-u32max[c]
USER_DATA 2 attrs->create_flags 0-4094
USER_DATA 2 attrs->qp_type 2-4,8,255
USER_DATA 2 attrs->source_qpn 0-u32max
NO_OVERFLOW_SIMPLE 2 attrs->cap.max_rdma_ctxs
NO_OVERFLOW_SIMPLE 2 attrs->recv_cq->cqe_used
NO_OVERFLOW_SIMPLE 2 attrs->send_cq->cqe_used