Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/infiniband/hw/efa/efa_verbs.c efa_create_qp() -> efa_qp_validate_attr()

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