conn_send_sr_reply identifier - Linux source code next-20260811

Projects

linux

Versions

FIXME
- FIXME
  - next-20260811

Defined in 1 files as a prototype:

drivers/block/drbd/drbd_int.h, line 1050 (as a prototype)

Defined in 1 files as a function:

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

Referenced in 1 files:

drivers/block/drbd/drbd_receiver.c
- line 4202
- line 4210

Smatch caller information:

drivers/block/drbd/drbd_receiver.c receive_req_conn_state() -> conn_send_sr_reply()

Type	Parameter	Key	Value
PARAM_VALUE	0	connection	4096-ptr_max
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_callback_lock.raw_lock.wlocked	0
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->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->data.socket->sk->sk_backlog.head->data->hdr	0-4294967295
PARAM_VALUE	0	*connection->data.socket->sk->sk_backlog.head->dev->name	0-255
PARAM_VALUE	1	retcode	(-19)
DATA_SOURCE	0	connection	$0
NOCHECK_CALL

drivers/block/drbd/drbd_receiver.c receive_req_conn_state() -> conn_send_sr_reply()

Type	Parameter	Key	Value
PARAM_VALUE	0	connection	4096-ptr_max
PARAM_VALUE	0	connection->cstate_mutex.first_waiter	0,4096-ptr_max
PARAM_VALUE	0	connection->cstate_mutex.first_waiter->list.prev->next	5159360019465732096
PARAM_VALUE	0	connection->cstate_mutex.first_waiter->list.prev->prev	5159360019465732096
PARAM_VALUE	0	connection->cstate_mutex.first_waiter->task->blocked_lock.owner	(-1)
PARAM_VALUE	0	connection->cstate_mutex.first_waiter->task->blocked_lock.owner_cpu	4294967295
PARAM_VALUE	0	connection->cstate_mutex.osq.tail.counter	0-s32max
PARAM_VALUE	0	connection->data.sbuf->command	18,42
PARAM_VALUE	0	connection->data.socket->sk->__sk_common.skc_bind_node.pprev	4096-ptr_max
PARAM_VALUE	0	connection->data.socket->sk->__sk_common.skc_net.net->ipv4.ping_port_rover	1-u16max
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_callback_lock.raw_lock.wlocked	0
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.dep_map->name	0-255
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	4096-ptr_max
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->data.socket->sk->sk_prot_creator->owner->refcnt.counter	0-s32max
PARAM_VALUE	0	connection->data.socket->sk->sk_rx_dst->callback_head.flags	0-4294967295
PARAM_VALUE	0	connection->data.socket->sk->sk_rx_dst->callback_head.is_hard	0-1
PARAM_VALUE	0	connection->data.socket->sk->sk_rx_dst->callback_head.is_lazy	0-1
PARAM_VALUE	0	connection->data.socket->sk->sk_rx_dst->callback_head.is_queued	0-1
PARAM_VALUE	0	connection->data.socket->sk->sk_rx_dst->callback_head.is_soft	0-1
PARAM_VALUE	0	connection->data.socket->sk->sk_user_data->work.function	1626621062881370112
PARAM_VALUE	0	connection->data.socket->sk->sobject	0-u16max
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->req_lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	*connection->data->socket->sk->private->addtl	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
PARAM_VALUE	1	retcode	(-21)-(-20),(-18)-(-4),(-2)-(-1),1-3
CAPPED_DATA	1	retcode	1
DATA_SOURCE	0	connection	$0
DATA_SOURCE	1	retcode	r conn_request_state
NOCHECK_CALL