Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/infiniband/sw/rdmavt/qp.c rvt_create_qp() -> (struct rvt_driver_provided)->qp_priv_init()

Type Parameter Key Value
PARAM_VALUE 0 rdi 4096-ptr_max
PARAM_VALUE 0 rdi->driver_f.qp_priv_init 1-u64max
PARAM_VALUE 1 qp 4096-ptr_max
PARAM_VALUE 1 qp->allowed_ops 0,32,96
PARAM_VALUE 1 qp->ibqp.qp_num 0-2155937791
PARAM_VALUE 1 qp->local_ops_pending.counter 0
PARAM_VALUE 1 qp->next 0
PARAM_VALUE 1 qp->priv 4096-ptr_max
PARAM_VALUE 1 qp->qkey 0
PARAM_VALUE 1 qp->qp_access_flags 0
PARAM_VALUE 1 qp->r_aflags 0
PARAM_VALUE 1 qp->r_flags 0
PARAM_VALUE 1 qp->r_head_ack_queue 0
PARAM_VALUE 1 qp->r_msn 0
PARAM_VALUE 1 qp->r_nak_state 0
PARAM_VALUE 1 qp->r_psn 0
PARAM_VALUE 1 qp->r_rq.kwq 4096-ptr_max
PARAM_VALUE 1 qp->r_sg_list 1-u64max
PARAM_VALUE 1 qp->r_sge.num_sge 0
PARAM_VALUE 1 qp->r_state 2,34
PARAM_VALUE 1 qp->refcount.counter 0
PARAM_VALUE 1 qp->remote_qpn 0
PARAM_VALUE 1 qp->rspwait.next 4096-ptr_max
PARAM_VALUE 1 qp->rspwait.next->next 4096-ptr_max
PARAM_VALUE 1 qp->rspwait.prev 4096-ptr_max
PARAM_VALUE 1 qp->rspwait.prev->next 4096-ptr_max
PARAM_VALUE 1 qp->rspwait.prev->prev 4096-ptr_max
PARAM_VALUE 1 qp->s_ack_state 17
PARAM_VALUE 1 qp->s_acked 0
PARAM_VALUE 1 qp->s_acked_ack_queue 0
PARAM_VALUE 1 qp->s_cur 0
PARAM_VALUE 1 qp->s_draining 0
PARAM_VALUE 1 qp->s_flags 0-1
PARAM_VALUE 1 qp->s_hdrwords 0
PARAM_VALUE 1 qp->s_head 0
PARAM_VALUE 1 qp->s_last 0
PARAM_VALUE 1 qp->s_last_psn 0
PARAM_VALUE 1 qp->s_lsn 0
PARAM_VALUE 1 qp->s_mig_state 0
PARAM_VALUE 1 qp->s_next_psn 0
PARAM_VALUE 1 qp->s_num_rd_atomic 0
PARAM_VALUE 1 qp->s_psn 0
PARAM_VALUE 1 qp->s_reserved_used.counter 0
PARAM_VALUE 1 qp->s_rnr_timer._softexpires 0
PARAM_VALUE 1 qp->s_rnr_timer.base 4096-ptr_max
PARAM_VALUE 1 qp->s_rnr_timer.function 1-u64max
PARAM_VALUE 1 qp->s_rnr_timer.is_queued 0
PARAM_VALUE 1 qp->s_rnr_timer.is_rel 0
PARAM_VALUE 1 qp->s_rnr_timer.node.expires 0
PARAM_VALUE 1 qp->s_rnr_timer.node.node.next 0
PARAM_VALUE 1 qp->s_rnr_timer.node.node.node.__rb_parent_color 0
PARAM_VALUE 1 qp->s_rnr_timer.node.node.node.rb_left 0
PARAM_VALUE 1 qp->s_rnr_timer.node.node.node.rb_right 0
PARAM_VALUE 1 qp->s_rnr_timer.node.node.prev 0
PARAM_VALUE 1 qp->s_sending_hpsn 0
PARAM_VALUE 1 qp->s_sending_psn 0
PARAM_VALUE 1 qp->s_size 0-u32max
PARAM_VALUE 1 qp->s_ssn 1
PARAM_VALUE 1 qp->s_state 2,34
PARAM_VALUE 1 qp->s_tail 0
PARAM_VALUE 1 qp->s_tail_ack_queue 0
PARAM_VALUE 1 qp->s_timer.entry.pprev 0
PARAM_VALUE 1 qp->s_timer.flags 0-4194302
PARAM_VALUE 1 qp->s_timer.lockdep_map->name 0-255
PARAM_VALUE 1 qp->s_wq 1-u64max
PARAM_VALUE 1 qp->s_wqe 0
PARAM_VALUE 1 qp->state 0
PARAM_VALUE 1 qp->timeout_jiffies 0-1073740,4611686018427387902
PARAM_VALUE 1 qp->wait.head.next 4096-ptr_max
PARAM_VALUE 1 qp->wait.head.next->next 4096-ptr_max
PARAM_VALUE 1 qp->wait.head.prev 4096-ptr_max
PARAM_VALUE 1 qp->wait.head.prev->next 4096-ptr_max
PARAM_VALUE 1 qp->wait.head.prev->prev 4096-ptr_max
PARAM_VALUE 2 init_attr 4096-ptr_max
PARAM_VALUE 2 init_attr->create_flags 0-254
PARAM_VALUE 2 init_attr->port_num 1-u32max
PARAM_VALUE 2 init_attr->qp_type 0-4
BUF_SIZE 1 qp->priv 1192
BUF_SIZE 1 qp->r_sg_list 0-u64max
BUF_SIZE 1 qp->s_ack_queue 64,u64max
BUF_SIZE 1 qp->s_wq 0-u64max
BUF_SIZE 2 init_attr->qp_context s32min-(-1),1-s32max
BUF_SIZE 2 init_attr->recv_cq (-1)-0,16,24,32,40,56,64,232,264,280,352,536,680
BUF_SIZE 2 init_attr->rwq_ind_tbl (-1)-0,16,24,32,40,56,64,232,264,280,352,536,680
BUF_SIZE 2 init_attr->send_cq (-1)-0,16,24,32,40,56,64,232,264,280,352,536,680
BUF_SIZE 2 init_attr->srq (-1)-0,16,24,32,40,56,64,232,264,280,352,536,680
BUF_SIZE 2 init_attr->xrcd (-1)-0,16,24,32,40,56,64,232,264,280,352,536,680
CAPPED_DATA 1 qp->port_num 1
CAPPED_DATA 1 qp->s_avail 1
CAPPED_DATA 1 qp->s_max_sge 1
CAPPED_DATA 2 init_attr->cap.max_send_sge 1
CAPPED_DATA 2 init_attr->cap.max_send_wr 1
CAPPED_DATA 2 init_attr->port_num 1
DATA_SOURCE 0 rdi r ib_to_rvt
DATA_SOURCE 1 qp r ibqp_to_rvtqp
DATA_SOURCE 2 init_attr $1
STR_LEN 2 init_attr->recv_cq->res.kern_name (-1),7-8
STR_LEN 2 init_attr->send_cq->res.kern_name (-1),7-8
CONTAINER 0 -48-5392+0 $(-1)
PARAM_COMPARE 2 init_attr->cap.max_send_sge <= $0->dparms.props.max_send_sge
PARAM_COMPARE 2 init_attr->cap.max_send_wr <= $0->dparms.props.max_qp_wr
CONSTRAINT 2 init_attr->cap.max_send_sge <=3086
BIT_INFO 1 qp->ibqp.qp_num 0x0,0x7fffffff
BIT_INFO 2 init_attr->create_flags 0x0,0x80
NOSPEC 1 qp->s_avail
NOSPEC 1 qp->s_max_sge
NOSPEC 2 init_attr->cap.max_send_sge
NOSPEC 2 init_attr->cap.max_send_wr
MEM_ZERO 1 &qp->s_rnr_timer
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 qp->r_rq.max_sge 0-255[c]
USER_DATA 1 qp->r_rq.size 1-2147483648[c]
USER_DATA 1 qp->s_avail 0-s32max[c]
USER_DATA 1 qp->s_max_sge 0-255[c]
USER_DATA 1 qp->s_size 1-2147483903[c]
USER_DATA 2 init_attr->cap.max_inline_data 0-u32max
USER_DATA 2 init_attr->cap.max_recv_sge 0-u32max
USER_DATA 2 init_attr->cap.max_recv_wr 0-u32max
USER_DATA 2 init_attr->cap.max_send_sge 0-s32max[c]
USER_DATA 2 init_attr->cap.max_send_wr 0-s32max[c]
USER_DATA 2 init_attr->create_flags 0-254
USER_DATA 2 init_attr->qp_type 3-4
USER_DATA 2 init_attr->source_qpn 0-u32max
NO_OVERFLOW_SIMPLE 1 qp->s_max_sge
NO_OVERFLOW_SIMPLE 2 init_attr->cap.max_rdma_ctxs
NO_OVERFLOW_SIMPLE 2 init_attr->cap.max_send_sge
NO_OVERFLOW_SIMPLE 2 init_attr->recv_cq->cqe_used
NO_OVERFLOW_SIMPLE 2 init_attr->send_cq->cqe_used