_drbd_no_send_page 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 1502 (as a function)

Referenced in 1 files:

drivers/block/drbd/drbd_main.c
- line 1577
- line 1621

Smatch caller information:

drivers/block/drbd/drbd_main.c _drbd_send_bio() -> _drbd_no_send_page()

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->cstate_mutex->first_waiter->task->blocked_lock.owner	(-4611686018427387904)-4611686018427387903
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	0
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_net.net->ipv4.ping_port_rover	1-u16max
PARAM_VALUE	0	peer_device->connection->data.socket->sk->__sk_common.skc_node.next->pprev	1-u64max
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_dst_cache->callback_head.entry.next	s64max
PARAM_VALUE	0	peer_device->connection->data.socket->sk->sk_dst_cache->callback_head.func	1-u64max
PARAM_VALUE	0	peer_device->connection->data.socket->sk->sk_dst_cache->callback_head.function	1626621062881370112
PARAM_VALUE	0	peer_device->connection->data.socket->sk->sk_error_queue.prev->next->next	4096-ptr_max
PARAM_VALUE	0	peer_device->connection->data.socket->sk->sk_filter->rcu.entry.next	s64max
PARAM_VALUE	0	peer_device->connection->data.socket->sk->sk_filter->rcu.function	1626621062881370112
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->high_work.flags	0-4294967295
PARAM_VALUE	0	peer_device->connection->data.socket->sk->sk_memcg->high_work.function	1626621062881370112
PARAM_VALUE	0	peer_device->connection->data.socket->sk->sk_memcg->high_work.is_hard	0-1
PARAM_VALUE	0	peer_device->connection->data.socket->sk->sk_memcg->high_work.is_lazy	0-1
PARAM_VALUE	0	peer_device->connection->data.socket->sk->sk_memcg->high_work.is_soft	0-1
PARAM_VALUE	0	peer_device->connection->data.socket->sk->sk_rcu.node.node.next	0
PARAM_VALUE	0	peer_device->connection->data.socket->sk->sk_rcu.node.node.prev	0
PARAM_VALUE	0	peer_device->connection->data.socket->sk->sk_reuseport_cb->rcu.entry.next	s64max
PARAM_VALUE	0	peer_device->connection->data.socket->sk->sk_reuseport_cb->rcu.is_hard	0-1
PARAM_VALUE	0	peer_device->connection->data.socket->sk->sk_reuseport_cb->rcu.is_lazy	0-1
PARAM_VALUE	0	peer_device->connection->data.socket->sk->sk_reuseport_cb->rcu.is_queued	0-1
PARAM_VALUE	0	peer_device->connection->data.socket->sk->sk_reuseport_cb->rcu.is_soft	0-1
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.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->sk_write_queue.prev->next->next	4096-ptr_max
PARAM_VALUE	0	peer_device->connection->data.socket->sk->sobject	0-u16max
PARAM_VALUE	0	peer_device->connection->data.socket->sk->tcp_retransmit_timer->entry.pprev	4096-ptr_max
PARAM_VALUE	0	peer_device->connection->resource->req_lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	peer_device->connection->send.current_epoch_writes	1
PARAM_VALUE	0	peer_device->connection->send.seen_any_write_yet	1
PARAM_VALUE	0	peer_device->device	4096-ptr_max
PARAM_VALUE	0	*peer_device->connection->data->socket->sk->private	(-4611686018427387904)-4611686018427387903
PARAM_VALUE	4	msg_flags	0,32768
DATA_SOURCE	0	peer_device	$0
FUZZY_MAX	4	msg_flags	32768
BIT_INFO	4	msg_flags	0x0,0x8000
HARD_MAX	4	msg_flags	32768
UNITS	1	page	unit_page
UNITS	2	offset	unit_byte
UNITS	3	size	unit_byte
LOCK2		&sock->mutex
TYPE_LOCK		(struct drbd_socket)->mutex

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

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->cstate_mutex->first_waiter->task->blocked_lock.owner	(-4611686018427387904)-4611686018427387903
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_net.net->ipv4.ping_port_rover	1-u16max
PARAM_VALUE	0	peer_device->connection->data.socket->sk->__sk_common.skc_node.next->pprev	1-u64max
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_dst_cache->callback_head.entry.next	s64max
PARAM_VALUE	0	peer_device->connection->data.socket->sk->sk_dst_cache->callback_head.func	1-u64max
PARAM_VALUE	0	peer_device->connection->data.socket->sk->sk_dst_cache->callback_head.function	1626621062881370112
PARAM_VALUE	0	peer_device->connection->data.socket->sk->sk_error_queue.prev->next->next	4096-ptr_max
PARAM_VALUE	0	peer_device->connection->data.socket->sk->sk_filter->rcu.entry.next	s64max
PARAM_VALUE	0	peer_device->connection->data.socket->sk->sk_filter->rcu.function	1626621062881370112
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->high_work.flags	0-4294967295
PARAM_VALUE	0	peer_device->connection->data.socket->sk->sk_memcg->high_work.function	1626621062881370112
PARAM_VALUE	0	peer_device->connection->data.socket->sk->sk_memcg->high_work.is_hard	0-1
PARAM_VALUE	0	peer_device->connection->data.socket->sk->sk_memcg->high_work.is_lazy	0-1
PARAM_VALUE	0	peer_device->connection->data.socket->sk->sk_memcg->high_work.is_soft	0-1
PARAM_VALUE	0	peer_device->connection->data.socket->sk->sk_rcu.node.node.next	0
PARAM_VALUE	0	peer_device->connection->data.socket->sk->sk_rcu.node.node.prev	0
PARAM_VALUE	0	peer_device->connection->data.socket->sk->sk_reuseport_cb->rcu.entry.next	s64max
PARAM_VALUE	0	peer_device->connection->data.socket->sk->sk_reuseport_cb->rcu.is_hard	0-1
PARAM_VALUE	0	peer_device->connection->data.socket->sk->sk_reuseport_cb->rcu.is_lazy	0-1
PARAM_VALUE	0	peer_device->connection->data.socket->sk->sk_reuseport_cb->rcu.is_queued	0-1
PARAM_VALUE	0	peer_device->connection->data.socket->sk->sk_reuseport_cb->rcu.is_soft	0-1
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.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->sk_write_queue.prev->next->next	4096-ptr_max
PARAM_VALUE	0	peer_device->connection->data.socket->sk->sobject	0-u16max
PARAM_VALUE	0	peer_device->connection->data.socket->sk->tcp_retransmit_timer->entry.pprev	4096-ptr_max
PARAM_VALUE	0	peer_device->connection->resource->req_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->private	(-4611686018427387904)-4611686018427387903
PARAM_VALUE	1	page	4096-ptr_max
PARAM_VALUE	2	offset	0
PARAM_VALUE	3	size	0-4096
PARAM_VALUE	4	msg_flags	0,32768
CAPPED_DATA	0	peer_device->connection->data.socket	1
CAPPED_DATA	3	size	1
DATA_SOURCE	0	peer_device	$0
FUZZY_MAX	4	msg_flags	32768
BIT_INFO	4	msg_flags	0x0,0x8000
HARD_MAX	4	msg_flags	32768
UNITS	3	size	unit_byte
LOCK2		&sock->mutex
TYPE_LOCK		(struct drbd_socket)->mutex