erdma_cm_queue_work identifier - Linux source code next-20260811

Projects

linux

Versions

FIXME
- FIXME
  - next-20260811

Defined in 1 files as a prototype:

drivers/infiniband/hw/erdma/erdma_cm.h, line 160 (as a prototype)

Defined in 1 files as a function:

drivers/infiniband/hw/erdma/erdma_cm.c, line 895 (as a function)

Referenced in 1 files:

drivers/infiniband/hw/erdma/erdma_cm.c

Smatch caller information:

drivers/infiniband/hw/erdma/erdma_cm.c erdma_accept_newconn() -> erdma_cm_queue_work()

Type	Parameter	Key	Value
PARAM_VALUE	0	cep	4096-ptr_max
PARAM_VALUE	0	cep->dev	4096-ptr_max
PARAM_VALUE	0	cep->devq.next	4096-ptr_max
PARAM_VALUE	0	cep->devq.next->next	4096-ptr_max
PARAM_VALUE	0	cep->devq.prev->next	4096-ptr_max
PARAM_VALUE	0	cep->devq.prev->prev	4096-ptr_max
PARAM_VALUE	0	cep->listenq.next	4096-ptr_max
PARAM_VALUE	0	cep->listenq.next->next	4096-ptr_max
PARAM_VALUE	0	cep->listenq.prev	4096-ptr_max
PARAM_VALUE	0	cep->listenq.prev->next	4096-ptr_max
PARAM_VALUE	0	cep->listenq.prev->prev	4096-ptr_max
PARAM_VALUE	0	cep->sock	4096-ptr_max
PARAM_VALUE	0	cep->state	4
PARAM_VALUE	0	cep->waitq.head.next	4096-ptr_max
PARAM_VALUE	0	cep->waitq.head.next->next	4096-ptr_max
PARAM_VALUE	0	cep->waitq.head.prev	4096-ptr_max
PARAM_VALUE	0	cep->waitq.head.prev->next	4096-ptr_max
PARAM_VALUE	0	cep->waitq.head.prev->prev	4096-ptr_max
PARAM_VALUE	0	cep->work_freelist.next	4096-ptr_max
PARAM_VALUE	0	cep->work_freelist.next->next	4096-ptr_max
PARAM_VALUE	0	cep->work_freelist.next->prev	4096-ptr_max
PARAM_VALUE	0	cep->work_freelist.prev	4096-ptr_max
PARAM_VALUE	0	cep->work_freelist.prev->next	4096-ptr_max
PARAM_VALUE	0	cep->work_freelist.prev->prev	4096-ptr_max
PARAM_VALUE	1	type	5
BUF_SIZE	0	cep	368
DATA_SOURCE	0	cep	r erdma_cep_alloc
HALF_LOCKED2		&pool->lock

drivers/infiniband/hw/erdma/erdma_cm.c erdma_cm_llp_data_ready() -> erdma_cm_queue_work()

Type	Parameter	Key	Value
PARAM_VALUE	0	cep	4096-ptr_max
PARAM_VALUE	0	cep->state	4,6
PARAM_VALUE	1	type	2
BUF_SIZE	0	cep	s32min-(-2),1-s32max
BUF_SIZE	0	cep	s32min-(-2),1-s32max
FUZZY_MAX	0	cep->state	6
BIT_INFO	0	cep->state	0x4,0x6
NOCHECK_CALL
LOCK2		&sk->sk_callback_lock
TYPE_LOCK		(struct sock)->sk_callback_lock

drivers/infiniband/hw/erdma/erdma_cm.c erdma_cm_llp_state_change() -> erdma_cm_queue_work()

Type	Parameter	Key	Value
PARAM_VALUE	0	cep	4096-ptr_max
PARAM_VALUE	0	cep->state	3
PARAM_VALUE	1	type	6
BUF_SIZE	0	cep	s32min-(-2),1-s32max
BUF_SIZE	0	cep	s32min-(-2),1-s32max
NOCHECK_CALL
LOCK2		&sk->sk_callback_lock
TYPE_LOCK		(struct sock)->sk_callback_lock

drivers/infiniband/hw/erdma/erdma_cm.c erdma_cm_llp_state_change() -> erdma_cm_queue_work()

Type	Parameter	Key	Value
PARAM_VALUE	0	cep	4096-ptr_max
PARAM_VALUE	0	cep->state	0-2,4-u32max
PARAM_VALUE	1	type	1
BUF_SIZE	0	cep	s32min-(-2),1-s32max
BUF_SIZE	0	cep	s32min-(-2),1-s32max
NOCHECK_CALL
LOCK2		&sk->sk_callback_lock
TYPE_LOCK		(struct sock)->sk_callback_lock

drivers/infiniband/hw/erdma/erdma_cm.c erdma_cm_llp_state_change() -> erdma_cm_queue_work()

Type	Parameter	Key	Value
PARAM_VALUE	0	cep	4096-ptr_max
PARAM_VALUE	0	cep->state	0-1,3-u32max
PARAM_VALUE	1	type	4
BUF_SIZE	0	cep	s32min-(-2),1-s32max
BUF_SIZE	0	cep	s32min-(-2),1-s32max
NOCHECK_CALL
LOCK2		&sk->sk_callback_lock
TYPE_LOCK		(struct sock)->sk_callback_lock

drivers/infiniband/hw/erdma/erdma_cm.c erdma_connect() -> erdma_cm_queue_work()

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->add_ref	3740513021719736320
PARAM_VALUE	0	cep->cm_id->device	4096-ptr_max
PARAM_VALUE	0	cep->cm_id->event_handler	1920715298277855232
PARAM_VALUE	0	cep->cm_id->rem_ref	1227396316432068608
PARAM_VALUE	0	cep->dev	4096-ptr_max
PARAM_VALUE	0	cep->devq.next	4096-ptr_max
PARAM_VALUE	0	cep->devq.next->next	4096-ptr_max
PARAM_VALUE	0	cep->devq.prev->next	4096-ptr_max
PARAM_VALUE	0	cep->devq.prev->prev	4096-ptr_max
PARAM_VALUE	0	cep->in_use	1
PARAM_VALUE	0	cep->ird	0-255
PARAM_VALUE	0	cep->listenq.next	4096-ptr_max
PARAM_VALUE	0	cep->listenq.next->next	4096-ptr_max
PARAM_VALUE	0	cep->listenq.prev	4096-ptr_max
PARAM_VALUE	0	cep->listenq.prev->next	4096-ptr_max
PARAM_VALUE	0	cep->listenq.prev->prev	4096-ptr_max
PARAM_VALUE	0	cep->lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	cep->ord	0-255
PARAM_VALUE	0	cep->qp	4096-ptr_max
PARAM_VALUE	0	cep->qp->cep	4096-ptr_max
PARAM_VALUE	0	cep->qp->ref.refcount.refs.counter	(-1073741824)
PARAM_VALUE	0	cep->sock	4096-ptr_max
PARAM_VALUE	0	cep->sock->type	1
PARAM_VALUE	0	cep->state	3
PARAM_VALUE	0	cep->waitq.head.next	4096-ptr_max
PARAM_VALUE	0	cep->waitq.head.next->next	4096-ptr_max
PARAM_VALUE	0	cep->waitq.head.prev	4096-ptr_max
PARAM_VALUE	0	cep->waitq.head.prev->next	4096-ptr_max
PARAM_VALUE	0	cep->waitq.head.prev->prev	4096-ptr_max
PARAM_VALUE	0	cep->work_freelist.next	4096-ptr_max
PARAM_VALUE	0	cep->work_freelist.next->next	4096-ptr_max
PARAM_VALUE	0	cep->work_freelist.next->prev	4096-ptr_max
PARAM_VALUE	0	cep->work_freelist.prev	4096-ptr_max
PARAM_VALUE	0	cep->work_freelist.prev->next	4096-ptr_max
PARAM_VALUE	0	cep->work_freelist.prev->prev	4096-ptr_max
PARAM_VALUE	1	type	6
BUF_SIZE	0	cep	368
BUF_SIZE	0	cep->cm_id	576
BUF_SIZE	0	cep->private_data	1-255,u64max
CAPPED_DATA	0	cep->ird	1
CAPPED_DATA	0	cep->ord	1
DATA_SOURCE	0	cep	r erdma_cep_alloc
NOSPEC	0	cep->ird
NOSPEC	0	cep->ord
RX_PATH
TASK_NOT_RUNNING
USER_DATA	0	cep->ird	1-255[c]
USER_DATA	0	cep->ord	1-255[c]
USER_DATA	0	cep->pd_len	1-255
HALF_LOCKED2		&id_priv->handler_mutex
HALF_LOCKED2		&iser_conn->state_mutex

drivers/infiniband/hw/erdma/erdma_cm.c erdma_connect() -> erdma_cm_queue_work()

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->add_ref	3740513021719736320
PARAM_VALUE	0	cep->cm_id->device	4096-ptr_max
PARAM_VALUE	0	cep->cm_id->event_handler	1920715298277855232
PARAM_VALUE	0	cep->cm_id->rem_ref	1227396316432068608
PARAM_VALUE	0	cep->dev	4096-ptr_max
PARAM_VALUE	0	cep->devq.next	4096-ptr_max
PARAM_VALUE	0	cep->devq.next->next	4096-ptr_max
PARAM_VALUE	0	cep->devq.prev->next	4096-ptr_max
PARAM_VALUE	0	cep->devq.prev->prev	4096-ptr_max
PARAM_VALUE	0	cep->in_use	1
PARAM_VALUE	0	cep->ird	0-255
PARAM_VALUE	0	cep->listenq.next	4096-ptr_max
PARAM_VALUE	0	cep->listenq.next->next	4096-ptr_max
PARAM_VALUE	0	cep->listenq.prev	4096-ptr_max
PARAM_VALUE	0	cep->listenq.prev->next	4096-ptr_max
PARAM_VALUE	0	cep->listenq.prev->prev	4096-ptr_max
PARAM_VALUE	0	cep->lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	cep->ord	0-255
PARAM_VALUE	0	cep->qp	4096-ptr_max
PARAM_VALUE	0	cep->qp->cep	4096-ptr_max
PARAM_VALUE	0	cep->qp->ref.refcount.refs.counter	(-1073741824)
PARAM_VALUE	0	cep->sock	4096-ptr_max
PARAM_VALUE	0	cep->sock->type	1
PARAM_VALUE	0	cep->state	3
PARAM_VALUE	0	cep->waitq.head.next	4096-ptr_max
PARAM_VALUE	0	cep->waitq.head.next->next	4096-ptr_max
PARAM_VALUE	0	cep->waitq.head.prev	4096-ptr_max
PARAM_VALUE	0	cep->waitq.head.prev->next	4096-ptr_max
PARAM_VALUE	0	cep->waitq.head.prev->prev	4096-ptr_max
PARAM_VALUE	0	cep->work_freelist.next	4096-ptr_max
PARAM_VALUE	0	cep->work_freelist.next->next	4096-ptr_max
PARAM_VALUE	0	cep->work_freelist.next->prev	4096-ptr_max
PARAM_VALUE	0	cep->work_freelist.prev	4096-ptr_max
PARAM_VALUE	0	cep->work_freelist.prev->next	4096-ptr_max
PARAM_VALUE	0	cep->work_freelist.prev->prev	4096-ptr_max
PARAM_VALUE	1	type	7
BUF_SIZE	0	cep	368
BUF_SIZE	0	cep->cm_id	576
BUF_SIZE	0	cep->private_data	1-255,u64max
CAPPED_DATA	0	cep->ird	1
CAPPED_DATA	0	cep->ord	1
DATA_SOURCE	0	cep	r erdma_cep_alloc
NOSPEC	0	cep->ird
NOSPEC	0	cep->ord
RX_PATH
TASK_NOT_RUNNING
USER_DATA	0	cep->ird	1-255[c]
USER_DATA	0	cep->ord	1-255[c]
USER_DATA	0	cep->pd_len	1-255
HALF_LOCKED2		&id_priv->handler_mutex
HALF_LOCKED2		&iser_conn->state_mutex

drivers/infiniband/hw/erdma/erdma_cm.c erdma_newconn_connected() -> erdma_cm_queue_work()

Type	Parameter	Key	Value
PARAM_VALUE	0	cep	4096-ptr_max
PARAM_VALUE	0	cep->dev->lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	cep->in_use	1
PARAM_VALUE	0	cep->lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	cep->mpa.hdr.params.bits	0
PARAM_VALUE	0	cep->mpa.hdr.params.pd_len	0
PARAM_VALUE	0	cep->mpa_timer	0
PARAM_VALUE	0	cep->qp	4096-ptr_max
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_filter->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_reuseport_cb->bind_inany	0-1
PARAM_VALUE	0	cep->sock->sk->sk_reuseport_cb->has_conns	0-1
PARAM_VALUE	0	cep->sock->sk->sk_reuseport_cb->incoming_cpu	0-u16max
PARAM_VALUE	0	cep->sock->sk->sk_reuseport_cb->max_socks	0-u16max
PARAM_VALUE	0	cep->sock->sk->sk_reuseport_cb->num_closed_socks	0-u16max
PARAM_VALUE	0	cep->sock->sk->sk_reuseport_cb->num_socks	0-u16max
PARAM_VALUE	0	cep->sock->sk->sk_reuseport_cb->reuseport_id	0-4294967295
PARAM_VALUE	0	cep->sock->sk->sk_reuseport_cb->synq_overflow_ts	0-4294967295
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	6
PARAM_VALUE	0	*cep->sock->sk->sk_backlog.head->dev->name	0-255
PARAM_VALUE	1	type	5
CAPPED_DATA	0	cep	1
DATA_SOURCE	0	cep	$0
HALF_LOCKED2		&pool->lock