siw_qp_socket_assoc identifier - Linux source code next-20260811

Projects

linux

Versions

FIXME
- FIXME
  - next-20260811

Defined in 1 files as a function:

drivers/infiniband/sw/siw/siw_cm.c, line 117 (as a function)

Referenced in 1 files:

drivers/infiniband/sw/siw/siw_cm.c

Smatch caller information:

drivers/infiniband/sw/siw/siw_cm.c siw_accept() -> siw_qp_socket_assoc()

Type	Parameter	Key	Value
PARAM_VALUE	0	cep	4096-ptr_max
PARAM_VALUE	0	cep->cm_id	4096-ptr_max
PARAM_VALUE	0	cep->cm_id->device	4096-ptr_max
PARAM_VALUE	0	cep->cm_id->provider_data	4096-ptr_max
PARAM_VALUE	0	cep->in_use	1
PARAM_VALUE	0	cep->ird	s32min-128
PARAM_VALUE	0	cep->lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	cep->mpa.hdr.params.pd_len	0-255
PARAM_VALUE	0	cep->mpa_timer	0
PARAM_VALUE	0	cep->ord	0-128
PARAM_VALUE	0	cep->qp	4096-ptr_max
PARAM_VALUE	0	cep->qp->attrs.state	0-1
PARAM_VALUE	0	cep->qp->cep	4096-ptr_max
PARAM_VALUE	0	cep->qp->ref.refcount.refs.counter	(-1073741824),0-s32max
PARAM_VALUE	0	cep->qp->state_lock.osq.tail.counter	0-s32max
PARAM_VALUE	0	cep->qp->state_lock.wait_lock.owner	(-1)
PARAM_VALUE	0	cep->qp->state_lock.wait_lock.owner_cpu	u32max
PARAM_VALUE	0	cep->qp->tx_ctx.gso_seg_limit	0
PARAM_VALUE	0	cep->sock->sk->__sk_common.skc_bind_node.pprev	4096-ptr_max
PARAM_VALUE	0	cep->sock->sk->__sk_common.skc_net.net->ipv4.ping_port_rover	1-u16max
PARAM_VALUE	0	cep->sock->sk->__sk_common.skc_node.pprev	1-u64max
PARAM_VALUE	0	cep->sock->sk->ns_tracker->alloc_stack_handle	0-4294967295
PARAM_VALUE	0	cep->sock->sk->ns_tracker->dead	0-1
PARAM_VALUE	0	cep->sock->sk->ns_tracker->free_stack_handle	0-4294967295
PARAM_VALUE	0	cep->sock->sk->sk_backlog.head->extensions->refcnt.refs.counter	1
PARAM_VALUE	0	cep->sock->sk->sk_backlog_rcv	0-1770402027252219903,1770402027252219905-3047833183539765247,3047833183539765249-u64max
PARAM_VALUE	0	cep->sock->sk->sk_bpf_storage->owner_refcnt.refs.counter	s32min-s32max
PARAM_VALUE	0	cep->sock->sk->sk_lock.dep_map->name	0-255
PARAM_VALUE	0	cep->sock->sk->sk_lock.wq.head.prev->next->next	4096-ptr_max
PARAM_VALUE	0	cep->sock->sk->sk_reuseport_cb	4096-ptr_max
PARAM_VALUE	0	cep->sock->sk->sk_user_data->work.flags	0-4294967295
PARAM_VALUE	0	cep->sock->sk->sobject	0-u16max
PARAM_VALUE	0	cep->state	7
PARAM_VALUE	0	*cep->sock->sk->sk_backlog.head->dev->name	0-255
PARAM_VALUE	1	qp	4096-ptr_max
PARAM_VALUE	1	qp->attrs.state	0-5
PARAM_VALUE	1	qp->cep->cm_id	4096-ptr_max
PARAM_VALUE	1	qp->cep->in_use	0-1
PARAM_VALUE	1	qp->cep->ird	s32min-128
PARAM_VALUE	1	qp->cep->mpa.hdr.params.pd_len	0
PARAM_VALUE	1	qp->cep->mpa_timer	0
PARAM_VALUE	1	qp->cep->ord	0-128
PARAM_VALUE	1	qp->cep->state	5,8
PARAM_VALUE	1	qp->rx_stream.mpa_crc_enabled	1
PARAM_VALUE	1	qp->rx_stream.rx_suspend	1
PARAM_VALUE	1	qp->rx_tagged.wqe_active.wr_status	0-2
PARAM_VALUE	1	qp->state_lock.dep_map->name	0-255
PARAM_VALUE	1	qp->state_lock.first_waiter->handoff_set	1
PARAM_VALUE	1	qp->state_lock.first_waiter->list.next	2624917664208203776
PARAM_VALUE	1	qp->state_lock.first_waiter->list.prev	2624917664208203776
PARAM_VALUE	1	qp->state_lock.first_waiter->type	0-1
PARAM_VALUE	1	qp->state_lock.osq.tail.counter	0-s32max
PARAM_VALUE	1	qp->state_lock.wait_lock.dep_map->name	0-255
PARAM_VALUE	1	qp->state_lock.wait_lock.owner	(-1)
PARAM_VALUE	1	qp->state_lock.wait_lock.owner_cpu	u32max
PARAM_VALUE	1	qp->tx_ctx.gso_seg_limit	0
PARAM_VALUE	1	qp->tx_ctx.mpa_crc_enabled	1
PARAM_VALUE	1	qp->tx_ctx.tx_suspend	1
PARAM_VALUE	1	qp->tx_ctx.wqe_active.wr_status	0-2
BUF_SIZE	0	cep	16,32,120,568,1080
BUF_SIZE	0	cep	16,32,120,568,1080
BUF_SIZE	1	qp->cep	(-1),16,32,120,568,1080
CAPPED_DATA	0	cep->ird	1
CAPPED_DATA	0	cep->ord	1
CAPPED_DATA	1	&qp->state_lock	1
DATA_SOURCE	1	qp	r siw_qp_id2obj
FUZZY_MAX	1	qp->attrs.state	1
NOSPEC	0	cep->ird
NOSPEC	0	cep->ord
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA	0	cep->ird	1-128[c]
USER_DATA	0	cep->mpa.hdr.params.pd_len	0-255
USER_DATA	0	cep->mpa.v2_ctrl.ird	0-255[c]
USER_DATA	0	cep->mpa.v2_ctrl.ord	0-255[c]
USER_DATA	0	cep->ord	1-128[c]
USER_DATA	1	qp->cep->ird	1-128[c]
USER_DATA	1	qp->cep->mpa.v2_ctrl.ird	0-255[c]
USER_DATA	1	qp->cep->mpa.v2_ctrl.ord	0-255[c]
USER_DATA	1	qp->cep->ord	1-128[c]
HALF_LOCKED2		&ctx->mutex
HALF_LOCKED2		&sport->mutex
HALF_LOCKED2		&srv->paths_mutex

drivers/infiniband/sw/siw/siw_cm.c siw_proc_mpareply() -> siw_qp_socket_assoc()

Type	Parameter	Key	Value
PARAM_VALUE	0	cep	4096-ptr_max
PARAM_VALUE	0	cep->in_use	1
PARAM_VALUE	0	cep->lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	cep->mpa_timer	0
PARAM_VALUE	0	cep->qp	4096-ptr_max
PARAM_VALUE	0	cep->qp->attrs.state	0-5
PARAM_VALUE	0	cep->qp->rx_stream.mpa_crc_enabled	1
PARAM_VALUE	0	cep->qp->rx_stream.rx_suspend	1
PARAM_VALUE	0	cep->qp->rx_tagged.wqe_active.wr_status	0-2
PARAM_VALUE	0	cep->qp->state_lock.dep_map->name	0-255
PARAM_VALUE	0	cep->qp->state_lock.first_waiter->list.next	2624917664208203776
PARAM_VALUE	0	cep->qp->state_lock.first_waiter->list.prev	2624917664208203776
PARAM_VALUE	0	cep->qp->state_lock.first_waiter->type	0-1
PARAM_VALUE	0	cep->qp->state_lock.osq.tail.counter	0-s32max
PARAM_VALUE	0	cep->qp->state_lock.wait_lock.dep_map->name	0-255
PARAM_VALUE	0	cep->qp->state_lock.wait_lock.owner	(-1)
PARAM_VALUE	0	cep->qp->state_lock.wait_lock.owner_cpu	u32max
PARAM_VALUE	0	cep->qp->tx_ctx.gso_seg_limit	0
PARAM_VALUE	0	cep->qp->tx_ctx.mpa_crc_enabled	1
PARAM_VALUE	0	cep->qp->tx_ctx.tx_suspend	1
PARAM_VALUE	0	cep->qp->tx_ctx.wqe_active.wr_status	0-2
PARAM_VALUE	0	cep->state	6
PARAM_VALUE	1	qp	4096-ptr_max
PARAM_VALUE	1	qp->attrs.state	0-5
PARAM_VALUE	1	qp->rx_stream.mpa_crc_enabled	1
PARAM_VALUE	1	qp->rx_stream.rx_suspend	1
PARAM_VALUE	1	qp->rx_tagged.wqe_active.wr_status	0-2
PARAM_VALUE	1	qp->state_lock.dep_map->name	0-255
PARAM_VALUE	1	qp->state_lock.first_waiter->list.next	2624917664208203776
PARAM_VALUE	1	qp->state_lock.first_waiter->list.prev	2624917664208203776
PARAM_VALUE	1	qp->state_lock.first_waiter->type	0-1
PARAM_VALUE	1	qp->state_lock.osq.tail.counter	0-s32max
PARAM_VALUE	1	qp->state_lock.wait_lock.dep_map->name	0-255
PARAM_VALUE	1	qp->state_lock.wait_lock.owner	(-1)
PARAM_VALUE	1	qp->state_lock.wait_lock.owner_cpu	u32max
PARAM_VALUE	1	qp->tx_ctx.gso_seg_limit	0
PARAM_VALUE	1	qp->tx_ctx.mpa_crc_enabled	1
PARAM_VALUE	1	qp->tx_ctx.tx_suspend	1
PARAM_VALUE	1	qp->tx_ctx.wqe_active.wr_status	0-2
CAPPED_DATA	1	&qp->state_lock	1
DATA_SOURCE	0	cep	$0
FUZZY_MAX	0	cep->qp->attrs.state	1
FUZZY_MAX	1	qp->attrs.state	1
NOCHECK_CALL
USER_DATA	0	cep->ird	1-16383[c]
USER_DATA	0	cep->ord	1-16383[c]
LOCK2	1	&qp->state_lock
HALF_LOCKED2		&pool->lock
TYPE_LOCK		(struct siw_qp)->state_lock

drivers/infiniband/sw/siw/siw_cm.c siw_rtr_data_ready() -> siw_qp_socket_assoc()

Type	Parameter	Key	Value
PARAM_VALUE	0	cep	4096-ptr_max
PARAM_VALUE	1	qp	4096-ptr_max
PARAM_VALUE	1	qp->rx_stream.rx_suspend	1
BUF_SIZE	0	cep	s32min-(-2),1-s32max
BUF_SIZE	0	cep	s32min-(-2),1-s32max
NOCHECK_CALL