Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 1 attrs 4096-ptr_max
PARAM_VALUE 1 attrs->qp_type 0-4,8-10,255,4096-4097
BUF_SIZE 1 attrs->qp_context s32min-(-1),1-s32max
BUF_SIZE 1 attrs->recv_cq (-1)-0,16,24,32,40,56,64,232,264,280,352,536,680
BUF_SIZE 1 attrs->rwq_ind_tbl (-1)-0,16,24,32,40,56,64,232,264,280,352,536,680
BUF_SIZE 1 attrs->send_cq (-1)-0,16,24,32,40,56,64,232,264,280,352,536,680
BUF_SIZE 1 attrs->srq (-1)-0,16,24,32,40,56,64,232,264,280,352,536,680
BUF_SIZE 1 attrs->xrcd (-1)-0,16,24,32,40,56,64,232,264,280,352,536,680
CAPPED_DATA 1 attrs->cap.max_recv_sge 1
CAPPED_DATA 1 attrs->cap.max_recv_wr 1
CAPPED_DATA 1 attrs->cap.max_send_sge 1
CAPPED_DATA 1 attrs->cap.max_send_wr 1
DATA_SOURCE 0 dev r to_edev
DATA_SOURCE 1 attrs $1
STR_LEN 1 attrs->recv_cq->res.kern_name (-1),7-8
STR_LEN 1 attrs->send_cq->res.kern_name (-1),7-8
PARAM_COMPARE 1 attrs->cap.max_recv_sge <= $0->attrs.max_recv_sge
PARAM_COMPARE 1 attrs->cap.max_recv_wr <= $0->attrs.max_recv_wr
PARAM_COMPARE 1 attrs->cap.max_send_sge <= $0->attrs.max_send_sge
PARAM_COMPARE 1 attrs->cap.max_send_wr <= $0->attrs.max_send_wr
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 attrs->cap.max_inline_data 0-96
USER_DATA 1 attrs->cap.max_recv_sge 0-u32max[c]
USER_DATA 1 attrs->cap.max_recv_wr 1-u32max[c]
USER_DATA 1 attrs->cap.max_send_sge 0-u32max[c]
USER_DATA 1 attrs->cap.max_send_wr 1-u32max[c]
USER_DATA 1 attrs->create_flags 0-4094
USER_DATA 1 attrs->qp_type 2-4,8,255
USER_DATA 1 attrs->source_qpn 0-u32max
NO_OVERFLOW_SIMPLE 1 attrs->cap.max_rdma_ctxs
NO_OVERFLOW_SIMPLE 1 attrs->recv_cq->cqe_used
NO_OVERFLOW_SIMPLE 1 attrs->send_cq->cqe_used