Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/infiniband/hw/ocrdma/ocrdma_verbs.c ocrdma_create_qp() -> ocrdma_check_qp_params()

Type Parameter Key Value
PARAM_VALUE 0 ibpd 0,4096-ptr_max
PARAM_VALUE 1 dev 4096-ptr_max
PARAM_VALUE 2 attrs 4096-ptr_max
PARAM_VALUE 2 attrs->create_flags 0
PARAM_VALUE 2 attrs->qp_type 0-4,8-10,255,4096-4097
BUF_SIZE 0 ibpd s32min,(-1)-s32max
BUF_SIZE 0 ibpd s32min,(-1)-s32max
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
BUF_SIZE 3 udata 0,32
BUF_SIZE 3 udata 0,32
DATA_SOURCE 1 dev r get_ocrdma_dev
DATA_SOURCE 2 attrs $1
DATA_SOURCE 3 udata $2
STR_LEN 0 ibpd (-1),3,6-8
STR_LEN 0 ibpd (-1),3,6-8
STR_LEN 0 ibpd->res.kern_name (-1),7,9-10
STR_LEN 2 attrs->recv_cq->res.kern_name (-1),7-8
STR_LEN 2 attrs->send_cq->res.kern_name (-1),7-8
RX_PATH
TASK_NOT_RUNNING
USER_DATA 2 attrs->cap.max_inline_data 0-u32max
USER_DATA 2 attrs->cap.max_recv_sge 0-u32max
USER_DATA 2 attrs->cap.max_recv_wr 0-u32max
USER_DATA 2 attrs->cap.max_send_sge 0-u32max
USER_DATA 2 attrs->cap.max_send_wr 0-u32max
USER_DATA 2 attrs->create_flags 0
USER_DATA 2 attrs->qp_type 2-4,8,255
USER_DATA 2 attrs->source_qpn 0-u32max
USER_DATA 3 udata->inlen 0-524280,18446744073709551361-u64max
USER_DATA 3 udata->outlen 0-524280,18446744073709551361-u64max
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