Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/infiniband/hw/ocrdma/ocrdma_verbs.c ocrdma_destroy_qp() -> _ocrdma_modify_qp()

Type Parameter Key Value
PARAM_VALUE 0 ibqp 4096-ptr_max
PARAM_VALUE 0 ibqp->device 4096-ptr_max
PARAM_VALUE 0 ibqp->qp_sec 0,4096-ptr_max
PARAM_VALUE 0 ibqp->qp_sec->destroying 1
PARAM_VALUE 0 ibqp->qp_sec->ports_pkeys 0,4096-ptr_max
PARAM_VALUE 0 ibqp->real_qp 4096-ptr_max
PARAM_VALUE 0 ibqp->real_qp->xrcd->tgt_qps_rwsem.first_waiter->handoff_set 0-1
PARAM_VALUE 0 ibqp->real_qp->xrcd->tgt_qps_rwsem.first_waiter->type 0-1
PARAM_VALUE 0 ibqp->xrcd->tgt_qps_rwsem.first_waiter->type 0-1
PARAM_VALUE 1 attr 8525352604133253120
PARAM_VALUE 1 attr->qp_state 6
PARAM_VALUE 2 attr_mask 1
BUF_SIZE 0 ibqp (-1),1-s32max
BUF_SIZE 0 ibqp (-1),1-s32max
BUF_SIZE 0 ibqp->pd s32min,(-1)-s32max
BUF_SIZE 0 ibqp->qp_context s32min-(-1),1-s32max
BUF_SIZE 0 ibqp->recv_cq (-1)-s32max
BUF_SIZE 0 ibqp->rwq_ind_tbl (-1)-s32max
BUF_SIZE 0 ibqp->send_cq (-1)-s32max
BUF_SIZE 0 ibqp->srq (-1)-s32max
CAPPED_DATA 0 ibqp 1
CAPPED_DATA 0 ibqp->real_qp 1
DATA_SOURCE 0 ibqp $0
STR_LEN 0 ibqp->device (-1),3,6-9
STR_LEN 0 ibqp->pd (-1),3,6-8
STR_LEN 0 ibqp->pd->res.kern_name (-1),7,9-10
STR_LEN 0 ibqp->qp_sec->dev (-1)
STR_LEN 0 ibqp->real_qp->device (-1),3,6-9
STR_LEN 0 ibqp->real_qp->pd (-1),3,6-8
STR_LEN 0 ibqp->recv_cq->res.kern_name (-1),7-8
STR_LEN 0 ibqp->send_cq->res.kern_name (-1),7-8
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 ibqp->counter->port 0-255[c]
USER_DATA 0 ibqp->qp_sec->qp->qp_type 2-4,8,255
USER_DATA 0 ibqp->qp_type 2-4,8,255
NO_OVERFLOW_SIMPLE 0 ibqp->device->hw_stats_attr_index
NO_OVERFLOW_SIMPLE 0 ibqp->device->num_comp_vectors
NO_OVERFLOW_SIMPLE 0 ibqp->device->phys_port_cnt
NO_OVERFLOW_SIMPLE 0 ibqp->qp_sec->dev->hw_stats_attr_index
NO_OVERFLOW_SIMPLE 0 ibqp->qp_sec->dev->num_comp_vectors
NO_OVERFLOW_SIMPLE 0 ibqp->qp_sec->dev->phys_port_cnt
NO_OVERFLOW_SIMPLE 0 ibqp->recv_cq->cqe_used
NO_OVERFLOW_SIMPLE 0 ibqp->send_cq->cqe_used

drivers/infiniband/hw/ocrdma/ocrdma_verbs.c ocrdma_modify_qp() -> _ocrdma_modify_qp()

Type Parameter Key Value
PARAM_VALUE 0 ibqp 4096-ptr_max
PARAM_VALUE 0 ibqp->device 4096-ptr_max
PARAM_VALUE 0 ibqp->device->port_data 4096-ptr_max
PARAM_VALUE 1 attr 4096-ptr_max
PARAM_VALUE 1 attr->xmit_slave 0,4096-ptr_max
PARAM_VALUE 2 attr_mask 0-2097150
BUF_SIZE 1 attr (-1)-0,4-s32max
BUF_SIZE 1 attr (-1)-0,4-s32max
DATA_SOURCE 0 ibqp $0
DATA_SOURCE 1 attr $1
DATA_SOURCE 2 attr_mask $2
NOSPEC 1 attr->ah_attr.port_num
NOSPEC 1 attr->alt_ah_attr.port_num
NOSPEC 1 attr->port_num
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 attr->ah_attr.ib.dlid 0-u16max
USER_DATA 1 attr->ah_attr.ib.src_path_bits 0-255
USER_DATA 1 attr->ah_attr.opa.dlid 0-u16max
USER_DATA 1 attr->ah_attr.opa.src_path_bits 0-255
USER_DATA 1 attr->ah_attr.port_num 0-255
USER_DATA 1 attr->ah_attr.sl 0-255
USER_DATA 1 attr->ah_attr.static_rate 0-255
USER_DATA 1 attr->alt_ah_attr.ib.dlid 0-u16max
USER_DATA 1 attr->alt_ah_attr.ib.src_path_bits 0-255
USER_DATA 1 attr->alt_ah_attr.opa.dlid 0-u16max
USER_DATA 1 attr->alt_ah_attr.opa.src_path_bits 0-255
USER_DATA 1 attr->alt_ah_attr.port_num 0-255
USER_DATA 1 attr->alt_ah_attr.sl 0-255
USER_DATA 1 attr->alt_ah_attr.static_rate 0-255
USER_DATA 1 attr->alt_pkey_index 0-u16max
USER_DATA 1 attr->alt_port_num 0-255[c]
USER_DATA 1 attr->alt_timeout 0-255
USER_DATA 1 attr->cur_qp_state 0-6
USER_DATA 1 attr->dest_qp_num 0-u32max
USER_DATA 1 attr->en_sqd_async_notify 0-255
USER_DATA 1 attr->max_dest_rd_atomic 0-255
USER_DATA 1 attr->max_rd_atomic 0-255
USER_DATA 1 attr->min_rnr_timer 0-255
USER_DATA 1 attr->path_mig_state 0-255
USER_DATA 1 attr->path_mtu 0-255
USER_DATA 1 attr->pkey_index 0-u16max
USER_DATA 1 attr->port_num 0-255
USER_DATA 1 attr->qkey 0-2147483646,2147483648-u32max
USER_DATA 1 attr->qp_access_flags s32min-s32max
USER_DATA 1 attr->qp_state 0-6
USER_DATA 1 attr->rate_limit 0-u32max
USER_DATA 1 attr->retry_cnt 0-255
USER_DATA 1 attr->rnr_retry 0-255
USER_DATA 1 attr->rq_psn 0-u32max
USER_DATA 1 attr->sq_psn 0-u32max
USER_DATA 1 attr->timeout 0-255
USER_DATA 2 attr_mask 0-2097150
LOCK2 &dev->dev_lock
HALF_LOCKED2 0 &ibqp->qp_sec->mutex
TYPE_LOCK (struct ocrdma_dev)->dev_lock