Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/infiniband/hw/mthca/mthca_provider.c mthca_create_qp() -> mthca_alloc_qp()

Type Parameter Key Value
PARAM_VALUE 0 dev 4096-ptr_max
PARAM_VALUE 0 dev->cmd.event_sem.first_waiter->up 0-1
PARAM_VALUE 0 dev->cmd.poll_sem.first_waiter->up 0-1
PARAM_VALUE 1 pd 4096-ptr_max
PARAM_VALUE 2 send_cq 4096-ptr_max
PARAM_VALUE 3 recv_cq 4096-ptr_max
PARAM_VALUE 4 type 2-4
PARAM_VALUE 6 cap 4096-ptr_max
PARAM_VALUE 7 qp 4096-ptr_max
PARAM_VALUE 8 udata 0,4096-ptr_max
PARAM_VALUE 8 udata->inlen 0-64
BUF_SIZE 8 udata 0,32
BUF_SIZE 8 udata 0,32
DATA_SOURCE 0 dev r to_mdev
DATA_SOURCE 7 qp r to_mqp
DATA_SOURCE 8 udata $2
NOSPEC 8 udata->inlen
RX_PATH
TASK_NOT_RUNNING
USER_DATA 4 type 2-4
USER_DATA 6 cap->max_inline_data 0-u32max
USER_DATA 6 cap->max_recv_sge 0-u32max
USER_DATA 6 cap->max_recv_wr 0-u32max
USER_DATA 6 cap->max_send_sge 0-u32max
USER_DATA 6 cap->max_send_wr 0-u32max
USER_DATA 7 qp->mr.ibmr.lkey 0-u32max
USER_DATA 7 qp->rq.db_index s32min-s32max
USER_DATA 7 qp->sq.db_index s32min-s32max
USER_DATA 8 udata->inlen 0-64[c]
USER_DATA 8 udata->outlen 0-524280,18446744073709551361-u64max
NO_OVERFLOW_SIMPLE 6 cap->max_rdma_ctxs