conn_wait_active_ee_empty identifier - Linux source code next-20260811

Projects

linux

Versions

FIXME
- FIXME
  - next-20260811

Defined in 1 files as a prototype:

drivers/block/drbd/drbd_receiver.c, line 60 (as a prototype)

Defined in 1 files as a function:

drivers/block/drbd/drbd_receiver.c, line 1552 (as a function)

Referenced in 1 files:

drivers/block/drbd/drbd_receiver.c
- line 1466
- line 1604

Smatch caller information:

drivers/block/drbd/drbd_receiver.c drbd_submit_peer_request() -> conn_wait_active_ee_empty()

Type	Parameter	Key	Value
NOCHECK_CALL

drivers/block/drbd/drbd_receiver.c receive_Barrier() -> conn_wait_active_ee_empty()

Type	Parameter	Key	Value
PARAM_VALUE	0	connection	4096-ptr_max
PARAM_VALUE	0	connection->current_epoch	4096-ptr_max
PARAM_VALUE	0	connection->current_epoch->connection->cstate_mutex.first_waiter->list.prev->prev	0,5159360019465732096
PARAM_VALUE	0	connection->current_epoch->connection->current_epoch	4096-ptr_max
PARAM_VALUE	0	connection->current_epoch->connection->data.socket->sk->listener->local_addr.svm_cid	4294967295
PARAM_VALUE	0	connection->current_epoch->connection->data.socket->sk->listener->local_addr.svm_family	40
PARAM_VALUE	0	connection->current_epoch->connection->data.socket->sk->listener->local_addr.svm_port	4294967295
PARAM_VALUE	0	connection->current_epoch->connection->data.socket->sk->listener->remote_addr.svm_cid	4294967295
PARAM_VALUE	0	connection->current_epoch->connection->data.socket->sk->listener->remote_addr.svm_family	40
PARAM_VALUE	0	connection->current_epoch->connection->data.socket->sk->listener->remote_addr.svm_port	4294967295
PARAM_VALUE	0	connection->current_epoch->connection->data.socket->sk->listener->sk_lock.owned	1
PARAM_VALUE	0	connection->current_epoch->connection->data.socket->sk->ns_tracker->alloc_stack_handle	0-4294967295
PARAM_VALUE	0	connection->current_epoch->connection->data.socket->sk->ns_tracker->dead	0-1
PARAM_VALUE	0	connection->current_epoch->connection->data.socket->sk->ns_tracker->free_stack_handle	0-4294967295
PARAM_VALUE	0	connection->current_epoch->connection->data.socket->sk->sk_rcu.flags	0-4294967295
PARAM_VALUE	0	connection->current_epoch->connection->data.socket->sk->sk_rcu.function	1626621062881370112
PARAM_VALUE	0	connection->current_epoch->connection->data.socket->sk->sk_reuseport_cb->rcu.function	1626621062881370112
PARAM_VALUE	0	connection->current_epoch->connection->data.socket->sk->sk_user_data->ctrl->ctrl.state	2
PARAM_VALUE	0	connection->current_epoch->connection->data.socket->sk->sk_user_data->door_bell.done	0-4294967295
PARAM_VALUE	0	connection->current_epoch->connection->data.socket->sk->sk_user_data->mpa_timer->type	5,7
PARAM_VALUE	0	connection->current_epoch->connection->data.socket->sk->sk_user_data->session->state	s32min-s32max
PARAM_VALUE	0	connection->current_epoch->connection->data.socket->sk->sk_user_data->work.function	1626621062881370112
PARAM_VALUE	0	connection->current_epoch->connection->data.socket->sk->sk_user_data->work.is_hard	0-1
PARAM_VALUE	0	connection->current_epoch->connection->data.socket->sk->sk_user_data->work.is_lazy	0-1
PARAM_VALUE	0	connection->current_epoch->connection->data.socket->sk->sk_user_data->work.is_soft	0-1
PARAM_VALUE	0	connection->current_epoch->connection->meta.sbuf->command	28
PARAM_VALUE	0	connection->current_epoch->connection->meta.sbuf->length	0-s32max
PARAM_VALUE	0	connection->current_epoch->connection->meta.sbuf->magic	33626,2205418087,2250304544
PARAM_VALUE	0	connection->current_epoch->connection->meta.socket->sk->__sk_common.skc_u16hashes	0-u32max
PARAM_VALUE	0	connection->current_epoch->connection->meta.socket->sk->ns_tracker->alloc_stack_handle	0-4294967295
PARAM_VALUE	0	connection->current_epoch->connection->meta.socket->sk->ns_tracker->dead	0-1
PARAM_VALUE	0	connection->current_epoch->connection->meta.socket->sk->ns_tracker->free_stack_handle	0-4294967295
PARAM_VALUE	0	connection->current_epoch->connection->meta.socket->sk->sk_backlog.head->cb->type	4
PARAM_VALUE	0	connection->current_epoch->connection->meta.socket->sk->sk_backlog.head->dev->flags	1-u32max
PARAM_VALUE	0	connection->current_epoch->connection->meta.socket->sk->sk_filter->refcnt.refs.counter	(-1073741824),0-s32max
PARAM_VALUE	0	connection->current_epoch->connection->meta.socket->sk->sk_lock.dep_map->name	0-255
PARAM_VALUE	0	connection->current_epoch->connection->meta.socket->sk->sk_lock.wq.head.prev->next	4096-ptr_max
PARAM_VALUE	0	connection->current_epoch->connection->meta.socket->sk->sk_lock.wq.head.prev->next->next	4096-ptr_max
PARAM_VALUE	0	connection->current_epoch->connection->meta.socket->sk->sk_memcg->id.id	0-s32max
PARAM_VALUE	0	connection->current_epoch->connection->meta.socket->sk->sk_owner->refcnt.counter	0-s32max
PARAM_VALUE	0	connection->current_epoch->connection->meta.socket->sk->sk_reuseport_cb->rcu.flags	0-4294967295
PARAM_VALUE	0	connection->current_epoch->connection->meta.socket->sk->sk_write_queue.prev->next	4096-ptr_max
PARAM_VALUE	0	connection->current_epoch->connection->receiver.t_state	1
PARAM_VALUE	0	connection->current_epoch->connection->receiver_plug.cb_list.next	4096-ptr_max
PARAM_VALUE	0	connection->current_epoch->connection->receiver_plug.cb_list.prev	4096-ptr_max
PARAM_VALUE	0	connection->current_epoch->connection->receiver_plug.nr_ios	1-32
PARAM_VALUE	0	connection->current_epoch->flags	0
PARAM_VALUE	0	connection->data.socket->sk->ns_tracker->alloc_stack_handle	0-4294967295
PARAM_VALUE	0	connection->data.socket->sk->ns_tracker->dead	0-1
PARAM_VALUE	0	connection->data.socket->sk->ns_tracker->free_stack_handle	0-4294967295
PARAM_VALUE	0	connection->data.socket->sk->sk_backlog.head->cb->type	4
PARAM_VALUE	0	connection->data.socket->sk->sk_backlog.head->dev->flags	1-u32max
PARAM_VALUE	0	connection->data.socket->sk->sk_backlog.head->extensions->refcnt.refs.counter	1
PARAM_VALUE	0	connection->data.socket->sk->sk_callback_lock.owner	(-1)
PARAM_VALUE	0	connection->data.socket->sk->sk_callback_lock.owner_cpu	u32max
PARAM_VALUE	0	connection->data.socket->sk->sk_callback_lock.raw_lock.cnts.counter	0-s32max
PARAM_VALUE	0	connection->data.socket->sk->sk_dst_cache->callback_head.flags	0-4294967295
PARAM_VALUE	0	connection->data.socket->sk->sk_dst_cache->callback_head.is_hard	0-1
PARAM_VALUE	0	connection->data.socket->sk->sk_dst_cache->callback_head.is_lazy	0-1
PARAM_VALUE	0	connection->data.socket->sk->sk_dst_cache->callback_head.is_queued	0-1
PARAM_VALUE	0	connection->data.socket->sk->sk_dst_cache->callback_head.is_soft	0-1
PARAM_VALUE	0	connection->data.socket->sk->sk_filter->refcnt.refs.counter	(-1073741824),0-s32max
PARAM_VALUE	0	connection->data.socket->sk->sk_lock.slock.rlock.dep_map->name	0-255
PARAM_VALUE	0	connection->data.socket->sk->sk_lock.wq.head.prev->next->next	4096-ptr_max
PARAM_VALUE	0	connection->data.socket->sk->sk_memcg->id.id	0-s32max
PARAM_VALUE	0	connection->epoch_lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	connection->receiver.reset_cpu_mask	0
PARAM_VALUE	0	connection->receiver.t_state	1
PARAM_VALUE	0	connection->receiver_plug.cb_list.next	4096-ptr_max
PARAM_VALUE	0	connection->receiver_plug.cb_list.next->next	4096-ptr_max
PARAM_VALUE	0	connection->receiver_plug.cb_list.prev	4096-ptr_max
PARAM_VALUE	0	connection->receiver_plug.cb_list.prev->next	4096-ptr_max
PARAM_VALUE	0	connection->receiver_plug.cb_list.prev->prev	4096-ptr_max
PARAM_VALUE	0	connection->receiver_plug.cur_ktime	0
PARAM_VALUE	0	connection->receiver_plug.has_elevator	0
PARAM_VALUE	0	connection->receiver_plug.nr_ios	1-32
PARAM_VALUE	0	connection->receiver_plug.rq_count	0
PARAM_VALUE	0	connection->resource	4096-ptr_max
PARAM_VALUE	0	connection->resource->write_ordering	0-2
PARAM_VALUE	0	*connection->current_epoch->connection->data->socket->sk->listener->private->addtl	0-255
PARAM_VALUE	0	*connection->current_epoch->connection->meta->socket->sk->sk_backlog.head->cb->data_end	(-4611686018427387904)-4611686018427387903
PARAM_VALUE	0	*connection->current_epoch->connection->meta->socket->sk->sk_backlog.head->data->hdr	0-4294967295
PARAM_VALUE	0	*connection->current_epoch->connection->meta->socket->sk->sk_backlog.head->dev->name	0-255
PARAM_VALUE	0	*connection->data.socket->sk->sk_backlog.head->data->hdr	0-4294967295
PARAM_VALUE	0	*connection->data.socket->sk->sk_backlog.head->dev->name	0-255
CAPPED_DATA	0	connection->current_epoch	1
DATA_SOURCE	0	connection	$0
NOCHECK_CALL