_drbd_send_zc_ee identifier - Linux source code next-20260811

Projects

linux

Versions

FIXME
- FIXME
  - next-20260811

Defined in 1 files as a function:

drivers/block/drbd/drbd_main.c, line 1605 (as a function)

Referenced in 1 files:

drivers/block/drbd/drbd_main.c, line 1768

Smatch caller information:

drivers/block/drbd/drbd_main.c drbd_send_block() -> _drbd_send_zc_ee()

Type	Parameter	Key	Value
PARAM_VALUE	0	peer_device	4096-ptr_max
PARAM_VALUE	0	peer_device->connection	4096-ptr_max
PARAM_VALUE	0	peer_device->connection->ack_receiver.task->signal->group_stop_count	0
PARAM_VALUE	0	peer_device->connection->cstate_mutex.dep_map->name	0-255
PARAM_VALUE	0	peer_device->connection->cstate_mutex.first_waiter->task->blocked_on	0
PARAM_VALUE	0	peer_device->connection->data.sbuf	4096-ptr_max
PARAM_VALUE	0	peer_device->connection->data.sbuf->command	1-2
PARAM_VALUE	0	peer_device->connection->data.sbuf->length	0-s32max
PARAM_VALUE	0	peer_device->connection->data.sbuf->magic	33626,2205418087,2250304544
PARAM_VALUE	0	peer_device->connection->data.sbuf->pad	0
PARAM_VALUE	0	peer_device->connection->data.socket	1-u64max
PARAM_VALUE	0	peer_device->connection->data.socket->sk->__sk_common.skc_bind_node.pprev	4096-ptr_max
PARAM_VALUE	0	peer_device->connection->data.socket->sk->__sk_common.skc_net.net->ipv4.ping_port_rover	1-u16max
PARAM_VALUE	0	peer_device->connection->data.socket->sk->listener->ns_tracker->alloc_stack_handle	0-4294967295
PARAM_VALUE	0	peer_device->connection->data.socket->sk->listener->ns_tracker->dead	0-1
PARAM_VALUE	0	peer_device->connection->data.socket->sk->listener->ns_tracker->free_stack_handle	0-4294967295
PARAM_VALUE	0	peer_device->connection->data.socket->sk->ns_tracker->alloc_stack_handle	0-4294967295
PARAM_VALUE	0	peer_device->connection->data.socket->sk->ns_tracker->dead	0-1
PARAM_VALUE	0	peer_device->connection->data.socket->sk->ns_tracker->free_stack_handle	0-4294967295
PARAM_VALUE	0	peer_device->connection->data.socket->sk->sk_callback_lock.owner	(-1)
PARAM_VALUE	0	peer_device->connection->data.socket->sk->sk_callback_lock.owner_cpu	u32max
PARAM_VALUE	0	peer_device->connection->data.socket->sk->sk_callback_lock.raw_lock.cnts.counter	0-s32max
PARAM_VALUE	0	peer_device->connection->data.socket->sk->sk_callback_lock.raw_lock.wlocked	0
PARAM_VALUE	0	peer_device->connection->data.socket->sk->sk_lock.dep_map->name	0-255
PARAM_VALUE	0	peer_device->connection->data.socket->sk->sk_lock.slock.rlock.dep_map->name	0-255
PARAM_VALUE	0	peer_device->connection->data.socket->sk->sk_lock.wq.head.prev->next	4096-ptr_max
PARAM_VALUE	0	peer_device->connection->data.socket->sk->sk_lock.wq.head.prev->next->next	4096-ptr_max
PARAM_VALUE	0	peer_device->connection->data.socket->sk->sk_memcg->id.id	0-s32max
PARAM_VALUE	0	peer_device->connection->data.socket->sk->sk_memcg->memory.high	0-2251799813685247
PARAM_VALUE	0	peer_device->connection->data.socket->sk->sk_memcg->memory.low	0,2251799813685247
PARAM_VALUE	0	peer_device->connection->data.socket->sk->sk_memcg->memory.min	0,2251799813685247
PARAM_VALUE	0	peer_device->connection->data.socket->sk->sk_memcg->memsw.high	0-2251799813685247
PARAM_VALUE	0	peer_device->connection->data.socket->sk->sk_memcg->memsw.low	0,2251799813685247
PARAM_VALUE	0	peer_device->connection->data.socket->sk->sk_memcg->memsw.min	0,2251799813685247
PARAM_VALUE	0	peer_device->connection->data.socket->sk->sk_rcu.flags	0-4294967295
PARAM_VALUE	0	peer_device->connection->data.socket->sk->sk_user_data->connect_cookie	0-4294967295
PARAM_VALUE	0	peer_device->connection->data.socket->sk->sk_user_data->cp_conn->c_proposed_version	769
PARAM_VALUE	0	peer_device->connection->data.socket->sk->sk_user_data->cp_recv_w.cpu	s32min-s32max
PARAM_VALUE	0	peer_device->connection->data.socket->sk->sk_user_data->cp_recv_w.timer.flags	0-4294967295
PARAM_VALUE	0	peer_device->connection->data.socket->sk->sk_user_data->cp_recv_w.timer.is_hard	0-1
PARAM_VALUE	0	peer_device->connection->data.socket->sk->sk_user_data->cp_recv_w.timer.is_lazy	0-1
PARAM_VALUE	0	peer_device->connection->data.socket->sk->sk_user_data->cp_recv_w.timer.is_queued	0-1
PARAM_VALUE	0	peer_device->connection->data.socket->sk->sk_user_data->cp_recv_w.timer.is_soft	0-1
PARAM_VALUE	0	peer_device->connection->data.socket->sk->sk_user_data->cp_send_w.cpu	s32min-s32max
PARAM_VALUE	0	peer_device->connection->data.socket->sk->sk_user_data->cp_send_w.timer.flags	0-4294967295
PARAM_VALUE	0	peer_device->connection->data.socket->sk->sk_user_data->cp_send_w.timer.is_hard	0-1
PARAM_VALUE	0	peer_device->connection->data.socket->sk->sk_user_data->cp_send_w.timer.is_lazy	0-1
PARAM_VALUE	0	peer_device->connection->data.socket->sk->sk_user_data->cp_send_w.timer.is_queued	0-1
PARAM_VALUE	0	peer_device->connection->data.socket->sk->sk_user_data->cp_send_w.timer.is_soft	0-1
PARAM_VALUE	0	peer_device->connection->data.socket->sk->sk_user_data->cp_state.counter	0-s32max
PARAM_VALUE	0	peer_device->connection->data.socket->sk->sk_user_data->ctrl->ctrl.failfast_work.cpu	s32min-s32max
PARAM_VALUE	0	peer_device->connection->data.socket->sk->sk_user_data->ctrl->ctrl.state	2
PARAM_VALUE	0	peer_device->connection->data.socket->sk->sk_user_data->dev->carrier_down_count.counter	s32min-s32max
PARAM_VALUE	0	peer_device->connection->data.socket->sk->sk_user_data->door_bell.done	0-4294967295
PARAM_VALUE	0	peer_device->connection->data.socket->sk->sk_user_data->door_bell.wait.lock.owner	(-1)
PARAM_VALUE	0	peer_device->connection->data.socket->sk->sk_user_data->door_bell.wait.lock.owner_cpu	4294967295
PARAM_VALUE	0	peer_device->connection->data.socket->sk->sk_user_data->kref.refcount.refs.counter	s32min-s32max
PARAM_VALUE	0	peer_device->connection->data.socket->sk->sk_user_data->login_work.cpu	s32min-s32max
PARAM_VALUE	0	peer_device->connection->data.socket->sk->sk_user_data->login_work.timer.flags	0-4294967295
PARAM_VALUE	0	peer_device->connection->data.socket->sk->sk_user_data->login_work.timer.is_hard	0-1
PARAM_VALUE	0	peer_device->connection->data.socket->sk->sk_user_data->login_work.timer.is_lazy	0-1
PARAM_VALUE	0	peer_device->connection->data.socket->sk->sk_user_data->login_work.timer.is_queued	0-1
PARAM_VALUE	0	peer_device->connection->data.socket->sk->sk_user_data->login_work.timer.is_soft	0-1
PARAM_VALUE	0	peer_device->connection->data.socket->sk->sk_user_data->mpa_timer->type	5,7
PARAM_VALUE	0	peer_device->connection->data.socket->sk->sk_user_data->private->o_auth.authorizer->buf	0
PARAM_VALUE	0	peer_device->connection->data.socket->sk->sk_user_data->private->o_sparse_read.sr_extent	0
PARAM_VALUE	0	peer_device->connection->data.socket->sk->sk_user_data->qp->tx_ctx.tx_suspend	1
PARAM_VALUE	0	peer_device->connection->data.socket->sk->sk_user_data->read.counter	s32min-s32max
PARAM_VALUE	0	peer_device->connection->data.socket->sk->sk_user_data->reestablish_timeout	0,750
PARAM_VALUE	0	peer_device->connection->data.socket->sk->sk_user_data->ref.refcount.refs.counter	s32min-s32max
PARAM_VALUE	0	peer_device->connection->data.socket->sk->sk_user_data->sc_kref.refcount.refs.counter	s32min-s32max
PARAM_VALUE	0	peer_device->connection->data.socket->sk->sk_user_data->sc_page->_refcount.counter	s32min-s32max
PARAM_VALUE	0	peer_device->connection->data.socket->sk->sk_user_data->sc_page->page_type	0-4294967295
PARAM_VALUE	0	peer_device->connection->data.socket->sk->sk_user_data->session->state	s32min-s32max
PARAM_VALUE	0	peer_device->connection->data.socket->sk->sk_user_data->sock_state.counter	s32min-s32max
PARAM_VALUE	0	peer_device->connection->data.socket->sk->sk_user_data->work.cpu	s32min-s32max
PARAM_VALUE	0	peer_device->connection->data.socket->sk->sk_user_data->work.flags	0-4294967295
PARAM_VALUE	0	peer_device->connection->data.socket->sk->sk_user_data->work.is_hard	0-1
PARAM_VALUE	0	peer_device->connection->data.socket->sk->sk_user_data->work.is_lazy	0-1
PARAM_VALUE	0	peer_device->connection->data.socket->sk->sk_user_data->work.is_soft	0-1
PARAM_VALUE	0	peer_device->connection->data.socket->sk->sk_user_data->work.node.node.next	0
PARAM_VALUE	0	peer_device->connection->data.socket->sk->sk_user_data->work.node.node.prev	0
PARAM_VALUE	0	peer_device->connection->data.socket->sk->sk_user_data->work.timer.flags	0-4294967295
PARAM_VALUE	0	peer_device->connection->data.socket->sk->sk_user_data->work.timer.is_hard	0-1
PARAM_VALUE	0	peer_device->connection->data.socket->sk->sk_user_data->work.timer.is_lazy	0-1
PARAM_VALUE	0	peer_device->connection->data.socket->sk->sk_user_data->work.timer.is_queued	0-1
PARAM_VALUE	0	peer_device->connection->data.socket->sk->sk_user_data->work.timer.is_soft	0-1
PARAM_VALUE	0	peer_device->connection->data.socket->sk->sobject	0-u16max
PARAM_VALUE	0	peer_device->connection->sender_work.q_lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	peer_device->device	4096-ptr_max
PARAM_VALUE	0	*peer_device->connection->data->socket->sk->sk_backlog.head->dev->name	0-255
PARAM_VALUE	1	peer_req	4096-ptr_max
PARAM_VALUE	1	peer_req->peer_device	4096-ptr_max
DATA_SOURCE	0	peer_device	$0
DATA_SOURCE	1	peer_req	$2
LOCK2		&sock->mutex
TYPE_LOCK		(struct drbd_socket)->mutex