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_cap()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 1 init_attr 4096-ptr_max
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
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
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
USER_DATA 1 init_attr->cap.max_recv_sge 0-u32max
USER_DATA 1 init_attr->cap.max_recv_wr 0-u32max
USER_DATA 1 init_attr->cap.max_send_sge 0-u32max
USER_DATA 1 init_attr->cap.max_send_wr 0-u32max
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
USER_DATA 2 sq_ring_size 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