prepare_zero_middle identifier - Linux source code next-20260811

Projects

linux

Versions

FIXME
- FIXME
  - next-20260811

Defined in 1 files as a function:

net/ceph/messenger_v2.c, line 3459 (as a function)

Referenced in 1 files:

net/ceph/messenger_v2.c

Smatch caller information:

net/ceph/messenger_v2.c revoke_at_finish_message() -> prepare_zero_middle()

Type	Parameter	Key	Value
PARAM_VALUE	0	con	4096-ptr_max
PARAM_VALUE	0	con->mutex.dep_map->name	0-255
PARAM_VALUE	0	con->mutex.first_waiter	0,4096-ptr_max
PARAM_VALUE	0	con->mutex.first_waiter->list.prev->next	5159360019465732096
PARAM_VALUE	0	con->mutex.first_waiter->list.prev->prev	5159360019465732096
PARAM_VALUE	0	con->mutex.osq.tail.counter	0-s32max
PARAM_VALUE	0	con->mutex.wait_lock.dep_map->name	0-255
PARAM_VALUE	0	con->mutex.wait_lock.owner	(-1)
PARAM_VALUE	0	con->mutex.wait_lock.owner_cpu	u32max
PARAM_VALUE	0	con->out_msg	4096-ptr_max
PARAM_VALUE	0	con->v2.con_mode	s32min-1,3-s32max
PARAM_VALUE	0	con->v2.out_state	5
PARAM_VALUE	1	msg	4096-ptr_max
PARAM_VALUE	1	msg->con->mutex.dep_map->name	0-255
PARAM_VALUE	1	msg->con->mutex.first_waiter	0,4096-ptr_max
PARAM_VALUE	1	msg->con->mutex.first_waiter->list.prev->next	5159360019465732096
PARAM_VALUE	1	msg->con->mutex.first_waiter->list.prev->prev	5159360019465732096
PARAM_VALUE	1	msg->con->mutex.osq.tail.counter	0-s32max
PARAM_VALUE	1	msg->con->mutex.wait_lock.dep_map->name	0-255
PARAM_VALUE	1	msg->con->mutex.wait_lock.owner	(-1)
PARAM_VALUE	1	msg->con->mutex.wait_lock.owner_cpu	u32max
PARAM_VALUE	1	msg->con->private->o_ref.refs.counter	s32min-s32max
PARAM_VALUE	1	msg->con->private->s_delegated_inos.xa_flags	0-4294967295
PARAM_VALUE	1	msg->con->private->s_ref.refs.counter	s32min-s32max
PARAM_VALUE	1	msg->data_length	0
PARAM_VALUE	1	msg->hdr.middle_len	1-u32max
PARAM_VALUE	1	msg->hdr.seq	0
PARAM_VALUE	1	msg->list_head.next	4096-ptr_max
PARAM_VALUE	1	msg->list_head.next->next	4096-ptr_max
PARAM_VALUE	1	msg->list_head.next->prev	4096-ptr_max
PARAM_VALUE	1	msg->list_head.prev	4096-ptr_max
PARAM_VALUE	1	msg->list_head.prev->next	4096-ptr_max
PARAM_VALUE	1	msg->list_head.prev->prev	4096-ptr_max
PARAM_VALUE	1	msg->num_data_items	0
PARAM_VALUE	1	msg->pool->front_len	0-s32max
PARAM_VALUE	1	*msg->con->private->o_auth.authorizer->session_key.key	(-4611686018427387904)-4611686018427387903
PARAM_VALUE	2	resid	s32min-(-1),1-s32max
CAPPED_DATA	0	con->out_msg	1
CAPPED_DATA	1	msg	1
DATA_SOURCE	0	con	$0
DATA_SOURCE	1	msg	$1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA	0	con->v2.out_cursor.page_offset	0-2559[c]
USER_DATA	0	con->v2.out_cursor.resid	0-u64max
USER_DATA	0	con->v2.out_iter.count	0-7442450944,18446744071562067969-u64max
USER_DATA	1	msg->con->v2.out_cursor.page_offset	0-2559[c]
USER_DATA	1	msg->con->v2.out_cursor.resid	0-u64max
USER_DATA	1	msg->con->v2.out_iter.count	0-5294967296,18446744071562067969-u64max
NO_OVERFLOW_SIMPLE	1	msg->front.iov_len
NO_OVERFLOW_SIMPLE	1	msg->hdr.front_len
NO_OVERFLOW_SIMPLE	1	msg->max_data_items
LOCK2	0	&con->mutex
HALF_LOCKED2		&monc->mutex
HALF_LOCKED2		&osdc->lock
TYPE_LOCK		(struct ceph_connection)->mutex

net/ceph/messenger_v2.c revoke_at_finish_message() -> prepare_zero_middle()

Type	Parameter	Key	Value
PARAM_VALUE	0	con	4096-ptr_max
PARAM_VALUE	0	con->mutex.dep_map->name	0-255
PARAM_VALUE	0	con->mutex.first_waiter	0,4096-ptr_max
PARAM_VALUE	0	con->mutex.first_waiter->list.prev->next	5159360019465732096
PARAM_VALUE	0	con->mutex.first_waiter->list.prev->prev	5159360019465732096
PARAM_VALUE	0	con->mutex.osq.tail.counter	0-s32max
PARAM_VALUE	0	con->mutex.wait_lock.dep_map->name	0-255
PARAM_VALUE	0	con->mutex.wait_lock.owner	(-1)
PARAM_VALUE	0	con->mutex.wait_lock.owner_cpu	u32max
PARAM_VALUE	0	con->out_msg	4096-ptr_max
PARAM_VALUE	0	con->v2.con_mode	s32min-1,3-s32max
PARAM_VALUE	0	con->v2.out_state	5
PARAM_VALUE	1	msg	4096-ptr_max
PARAM_VALUE	1	msg->con->mutex.dep_map->name	0-255
PARAM_VALUE	1	msg->con->mutex.first_waiter	0,4096-ptr_max
PARAM_VALUE	1	msg->con->mutex.first_waiter->list.prev->next	5159360019465732096
PARAM_VALUE	1	msg->con->mutex.first_waiter->list.prev->prev	5159360019465732096
PARAM_VALUE	1	msg->con->mutex.osq.tail.counter	0-s32max
PARAM_VALUE	1	msg->con->mutex.wait_lock.dep_map->name	0-255
PARAM_VALUE	1	msg->con->mutex.wait_lock.owner	(-1)
PARAM_VALUE	1	msg->con->mutex.wait_lock.owner_cpu	u32max
PARAM_VALUE	1	msg->con->private->o_ref.refs.counter	s32min-s32max
PARAM_VALUE	1	msg->con->private->s_delegated_inos.xa_flags	0-4294967295
PARAM_VALUE	1	msg->con->private->s_ref.refs.counter	s32min-s32max
PARAM_VALUE	1	msg->data_length	0
PARAM_VALUE	1	msg->hdr.middle_len	1-u32max
PARAM_VALUE	1	msg->hdr.seq	0
PARAM_VALUE	1	msg->list_head.next	4096-ptr_max
PARAM_VALUE	1	msg->list_head.next->next	4096-ptr_max
PARAM_VALUE	1	msg->list_head.next->prev	4096-ptr_max
PARAM_VALUE	1	msg->list_head.prev	4096-ptr_max
PARAM_VALUE	1	msg->list_head.prev->next	4096-ptr_max
PARAM_VALUE	1	msg->list_head.prev->prev	4096-ptr_max
PARAM_VALUE	1	msg->num_data_items	0
PARAM_VALUE	1	msg->pool->front_len	0-s32max
PARAM_VALUE	1	*msg->con->private->o_auth.authorizer->session_key.key	(-4611686018427387904)-4611686018427387903
PARAM_VALUE	2	resid	s32min-(-1),1-s32max
CAPPED_DATA	0	con->out_msg	1
CAPPED_DATA	1	msg	1
DATA_SOURCE	0	con	$0
DATA_SOURCE	1	msg	$1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA	0	con->v2.out_cursor.page_offset	0-2559[c]
USER_DATA	0	con->v2.out_cursor.resid	0-u64max
USER_DATA	0	con->v2.out_iter.count	0-5294967295,18446744072709551616-u64max
USER_DATA	1	msg->con->v2.out_cursor.page_offset	0-2559[c]
USER_DATA	1	msg->con->v2.out_cursor.resid	0-u64max
USER_DATA	1	msg->con->v2.out_iter.count	0-5294967296,18446744071562067969-u64max
NO_OVERFLOW_SIMPLE	1	msg->front.iov_len
NO_OVERFLOW_SIMPLE	1	msg->hdr.front_len
NO_OVERFLOW_SIMPLE	1	msg->max_data_items
LOCK2	0	&con->mutex
HALF_LOCKED2		&monc->mutex
HALF_LOCKED2		&osdc->lock
TYPE_LOCK		(struct ceph_connection)->mutex

net/ceph/messenger_v2.c revoke_at_finish_message() -> prepare_zero_middle()

Type	Parameter	Key	Value
PARAM_VALUE	0	con	4096-ptr_max
PARAM_VALUE	0	con->mutex.dep_map->name	0-255
PARAM_VALUE	0	con->mutex.first_waiter	0,4096-ptr_max
PARAM_VALUE	0	con->mutex.first_waiter->list.prev->next	5159360019465732096
PARAM_VALUE	0	con->mutex.first_waiter->list.prev->prev	5159360019465732096
PARAM_VALUE	0	con->mutex.osq.tail.counter	0-s32max
PARAM_VALUE	0	con->mutex.wait_lock.dep_map->name	0-255
PARAM_VALUE	0	con->mutex.wait_lock.owner	(-1)
PARAM_VALUE	0	con->mutex.wait_lock.owner_cpu	u32max
PARAM_VALUE	0	con->out_msg	4096-ptr_max
PARAM_VALUE	0	con->v2.con_mode	s32min-1,3-s32max
PARAM_VALUE	0	con->v2.out_state	5
PARAM_VALUE	1	msg	4096-ptr_max
PARAM_VALUE	1	msg->con->mutex.dep_map->name	0-255
PARAM_VALUE	1	msg->con->mutex.first_waiter	0,4096-ptr_max
PARAM_VALUE	1	msg->con->mutex.first_waiter->list.prev->next	5159360019465732096
PARAM_VALUE	1	msg->con->mutex.first_waiter->list.prev->prev	5159360019465732096
PARAM_VALUE	1	msg->con->mutex.osq.tail.counter	0-s32max
PARAM_VALUE	1	msg->con->mutex.wait_lock.dep_map->name	0-255
PARAM_VALUE	1	msg->con->mutex.wait_lock.owner	(-1)
PARAM_VALUE	1	msg->con->mutex.wait_lock.owner_cpu	u32max
PARAM_VALUE	1	msg->con->private->o_ref.refs.counter	s32min-s32max
PARAM_VALUE	1	msg->con->private->s_delegated_inos.xa_flags	0-4294967295
PARAM_VALUE	1	msg->con->private->s_ref.refs.counter	s32min-s32max
PARAM_VALUE	1	msg->data_length	0
PARAM_VALUE	1	msg->hdr.seq	0
PARAM_VALUE	1	msg->list_head.next	4096-ptr_max
PARAM_VALUE	1	msg->list_head.next->next	4096-ptr_max
PARAM_VALUE	1	msg->list_head.next->prev	4096-ptr_max
PARAM_VALUE	1	msg->list_head.prev	4096-ptr_max
PARAM_VALUE	1	msg->list_head.prev->next	4096-ptr_max
PARAM_VALUE	1	msg->list_head.prev->prev	4096-ptr_max
PARAM_VALUE	1	msg->num_data_items	0
PARAM_VALUE	1	msg->pool->front_len	0-s32max
PARAM_VALUE	1	*msg->con->private->o_auth.authorizer->session_key.key	(-4611686018427387904)-4611686018427387903
PARAM_VALUE	2	resid	1-999999987
CAPPED_DATA	0	con->out_msg	1
CAPPED_DATA	1	msg	1
DATA_SOURCE	0	con	$0
DATA_SOURCE	1	msg	$1
PARAM_COMPARE	0	con->v2.out_iter.count	< $2
PARAM_COMPARE	2	resid	> $0->v2.out_iter.count
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA	0	con->v2.out_cursor.page_offset	0-2559[c]
USER_DATA	0	con->v2.out_cursor.resid	0-u64max
USER_DATA	0	con->v2.out_iter.count	0-5294967296,18446744071562067969-u64max
USER_DATA	1	msg->con->v2.out_cursor.page_offset	0-2559[c]
USER_DATA	1	msg->con->v2.out_cursor.resid	0-u64max
USER_DATA	1	msg->con->v2.out_iter.count	0-5294967296,18446744071562067969-u64max
USER_DATA	2	resid	1-999999987[c]
NO_OVERFLOW_SIMPLE	1	msg->front.iov_len
NO_OVERFLOW_SIMPLE	1	msg->hdr.front_len
NO_OVERFLOW_SIMPLE	1	msg->max_data_items
LOCK2	0	&con->mutex
HALF_LOCKED2		&monc->mutex
HALF_LOCKED2		&osdc->lock
TYPE_LOCK		(struct ceph_connection)->mutex

net/ceph/messenger_v2.c revoke_at_queue_data() -> prepare_zero_middle()

Type	Parameter	Key	Value
PARAM_VALUE	0	con	4096-ptr_max
PARAM_VALUE	0	con->mutex.dep_map->name	0-255
PARAM_VALUE	0	con->mutex.first_waiter	0,4096-ptr_max
PARAM_VALUE	0	con->mutex.first_waiter->list.prev->next	5159360019465732096
PARAM_VALUE	0	con->mutex.first_waiter->list.prev->prev	5159360019465732096
PARAM_VALUE	0	con->mutex.osq.tail.counter	0-s32max
PARAM_VALUE	0	con->mutex.wait_lock.dep_map->name	0-255
PARAM_VALUE	0	con->mutex.wait_lock.owner	(-1)
PARAM_VALUE	0	con->mutex.wait_lock.owner_cpu	u32max
PARAM_VALUE	0	con->out_msg	4096-ptr_max
PARAM_VALUE	0	con->v2.con_mode	s32min-1,3-s32max
PARAM_VALUE	0	con->v2.out_state	1
PARAM_VALUE	1	msg	4096-ptr_max
PARAM_VALUE	1	msg->con->mutex.dep_map->name	0-255
PARAM_VALUE	1	msg->con->mutex.first_waiter	0,4096-ptr_max
PARAM_VALUE	1	msg->con->mutex.first_waiter->list.prev->next	5159360019465732096
PARAM_VALUE	1	msg->con->mutex.first_waiter->list.prev->prev	5159360019465732096
PARAM_VALUE	1	msg->con->mutex.osq.tail.counter	0-s32max
PARAM_VALUE	1	msg->con->mutex.wait_lock.dep_map->name	0-255
PARAM_VALUE	1	msg->con->mutex.wait_lock.owner	(-1)
PARAM_VALUE	1	msg->con->mutex.wait_lock.owner_cpu	u32max
PARAM_VALUE	1	msg->con->private->o_ref.refs.counter	s32min-s32max
PARAM_VALUE	1	msg->con->private->s_delegated_inos.xa_flags	0-4294967295
PARAM_VALUE	1	msg->con->private->s_ref.refs.counter	s32min-s32max
PARAM_VALUE	1	msg->data_length	0
PARAM_VALUE	1	msg->hdr.middle_len	1-u32max
PARAM_VALUE	1	msg->hdr.seq	0
PARAM_VALUE	1	msg->list_head.next	4096-ptr_max
PARAM_VALUE	1	msg->list_head.next->next	4096-ptr_max
PARAM_VALUE	1	msg->list_head.next->prev	4096-ptr_max
PARAM_VALUE	1	msg->list_head.prev	4096-ptr_max
PARAM_VALUE	1	msg->list_head.prev->next	4096-ptr_max
PARAM_VALUE	1	msg->list_head.prev->prev	4096-ptr_max
PARAM_VALUE	1	msg->num_data_items	0
PARAM_VALUE	1	msg->pool->front_len	0-s32max
PARAM_VALUE	1	*msg->con->private->o_auth.authorizer->session_key.key	(-4611686018427387904)-4611686018427387903
PARAM_VALUE	2	resid	s32min-(-1),1-s32max
CAPPED_DATA	0	con->out_msg	1
CAPPED_DATA	1	msg	1
DATA_SOURCE	0	con	$0
DATA_SOURCE	1	msg	$1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA	0	con->v2.out_cursor.page_offset	0-2559[c]
USER_DATA	0	con->v2.out_cursor.resid	0-u64max
USER_DATA	0	con->v2.out_iter.count	0-7442450944,18446744071562067969-u64max
USER_DATA	1	msg->con->v2.out_cursor.page_offset	0-2559[c]
USER_DATA	1	msg->con->v2.out_cursor.resid	0-u64max
USER_DATA	1	msg->con->v2.out_iter.count	0-5294967296,18446744071562067969-u64max
NO_OVERFLOW_SIMPLE	1	msg->front.iov_len
NO_OVERFLOW_SIMPLE	1	msg->hdr.front_len
NO_OVERFLOW_SIMPLE	1	msg->max_data_items
LOCK2	0	&con->mutex
HALF_LOCKED2		&monc->mutex
HALF_LOCKED2		&osdc->lock
TYPE_LOCK		(struct ceph_connection)->mutex

net/ceph/messenger_v2.c revoke_at_queue_data() -> prepare_zero_middle()

Type	Parameter	Key	Value
PARAM_VALUE	0	con	4096-ptr_max
PARAM_VALUE	0	con->mutex.dep_map->name	0-255
PARAM_VALUE	0	con->mutex.first_waiter	0,4096-ptr_max
PARAM_VALUE	0	con->mutex.first_waiter->list.prev->next	5159360019465732096
PARAM_VALUE	0	con->mutex.first_waiter->list.prev->prev	5159360019465732096
PARAM_VALUE	0	con->mutex.osq.tail.counter	0-s32max
PARAM_VALUE	0	con->mutex.wait_lock.dep_map->name	0-255
PARAM_VALUE	0	con->mutex.wait_lock.owner	(-1)
PARAM_VALUE	0	con->mutex.wait_lock.owner_cpu	u32max
PARAM_VALUE	0	con->out_msg	4096-ptr_max
PARAM_VALUE	0	con->v2.con_mode	s32min-1,3-s32max
PARAM_VALUE	0	con->v2.out_state	1
PARAM_VALUE	1	msg	4096-ptr_max
PARAM_VALUE	1	msg->con->mutex.dep_map->name	0-255
PARAM_VALUE	1	msg->con->mutex.first_waiter	0,4096-ptr_max
PARAM_VALUE	1	msg->con->mutex.first_waiter->list.prev->next	5159360019465732096
PARAM_VALUE	1	msg->con->mutex.first_waiter->list.prev->prev	5159360019465732096
PARAM_VALUE	1	msg->con->mutex.osq.tail.counter	0-s32max
PARAM_VALUE	1	msg->con->mutex.wait_lock.dep_map->name	0-255
PARAM_VALUE	1	msg->con->mutex.wait_lock.owner	(-1)
PARAM_VALUE	1	msg->con->mutex.wait_lock.owner_cpu	u32max
PARAM_VALUE	1	msg->con->private->o_ref.refs.counter	s32min-s32max
PARAM_VALUE	1	msg->con->private->s_delegated_inos.xa_flags	0-4294967295
PARAM_VALUE	1	msg->con->private->s_ref.refs.counter	s32min-s32max
PARAM_VALUE	1	msg->data_length	0
PARAM_VALUE	1	msg->hdr.middle_len	1-u32max
PARAM_VALUE	1	msg->hdr.seq	0
PARAM_VALUE	1	msg->list_head.next	4096-ptr_max
PARAM_VALUE	1	msg->list_head.next->next	4096-ptr_max
PARAM_VALUE	1	msg->list_head.next->prev	4096-ptr_max
PARAM_VALUE	1	msg->list_head.prev	4096-ptr_max
PARAM_VALUE	1	msg->list_head.prev->next	4096-ptr_max
PARAM_VALUE	1	msg->list_head.prev->prev	4096-ptr_max
PARAM_VALUE	1	msg->num_data_items	0
PARAM_VALUE	1	msg->pool->front_len	0-s32max
PARAM_VALUE	1	*msg->con->private->o_auth.authorizer->session_key.key	(-4611686018427387904)-4611686018427387903
PARAM_VALUE	2	resid	s32min-(-1),1-s32max
CAPPED_DATA	0	con->out_msg	1
CAPPED_DATA	1	msg	1
DATA_SOURCE	0	con	$0
DATA_SOURCE	1	msg	$1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA	0	con->v2.out_cursor.page_offset	0-2559[c]
USER_DATA	0	con->v2.out_cursor.resid	0-u64max
USER_DATA	0	con->v2.out_iter.count	0-5294967295,18446744072709551616-u64max
USER_DATA	1	msg->con->v2.out_cursor.page_offset	0-2559[c]
USER_DATA	1	msg->con->v2.out_cursor.resid	0-u64max
USER_DATA	1	msg->con->v2.out_iter.count	0-5294967296,18446744071562067969-u64max
NO_OVERFLOW_SIMPLE	1	msg->front.iov_len
NO_OVERFLOW_SIMPLE	1	msg->hdr.front_len
NO_OVERFLOW_SIMPLE	1	msg->max_data_items
LOCK2	0	&con->mutex
HALF_LOCKED2		&monc->mutex
HALF_LOCKED2		&osdc->lock
TYPE_LOCK		(struct ceph_connection)->mutex

net/ceph/messenger_v2.c revoke_at_queue_data() -> prepare_zero_middle()

Type	Parameter	Key	Value
PARAM_VALUE	0	con	4096-ptr_max
PARAM_VALUE	0	con->mutex.dep_map->name	0-255
PARAM_VALUE	0	con->mutex.first_waiter	0,4096-ptr_max
PARAM_VALUE	0	con->mutex.first_waiter->list.prev->next	5159360019465732096
PARAM_VALUE	0	con->mutex.first_waiter->list.prev->prev	5159360019465732096
PARAM_VALUE	0	con->mutex.osq.tail.counter	0-s32max
PARAM_VALUE	0	con->mutex.wait_lock.dep_map->name	0-255
PARAM_VALUE	0	con->mutex.wait_lock.owner	(-1)
PARAM_VALUE	0	con->mutex.wait_lock.owner_cpu	u32max
PARAM_VALUE	0	con->out_msg	4096-ptr_max
PARAM_VALUE	0	con->v2.con_mode	s32min-1,3-s32max
PARAM_VALUE	0	con->v2.out_state	1
PARAM_VALUE	1	msg	4096-ptr_max
PARAM_VALUE	1	msg->con->mutex.dep_map->name	0-255
PARAM_VALUE	1	msg->con->mutex.first_waiter	0,4096-ptr_max
PARAM_VALUE	1	msg->con->mutex.first_waiter->list.prev->next	5159360019465732096
PARAM_VALUE	1	msg->con->mutex.first_waiter->list.prev->prev	5159360019465732096
PARAM_VALUE	1	msg->con->mutex.osq.tail.counter	0-s32max
PARAM_VALUE	1	msg->con->mutex.wait_lock.dep_map->name	0-255
PARAM_VALUE	1	msg->con->mutex.wait_lock.owner	(-1)
PARAM_VALUE	1	msg->con->mutex.wait_lock.owner_cpu	u32max
PARAM_VALUE	1	msg->con->private->o_ref.refs.counter	s32min-s32max
PARAM_VALUE	1	msg->con->private->s_delegated_inos.xa_flags	0-4294967295
PARAM_VALUE	1	msg->con->private->s_ref.refs.counter	s32min-s32max
PARAM_VALUE	1	msg->data_length	0
PARAM_VALUE	1	msg->hdr.seq	0
PARAM_VALUE	1	msg->list_head.next	4096-ptr_max
PARAM_VALUE	1	msg->list_head.next->next	4096-ptr_max
PARAM_VALUE	1	msg->list_head.next->prev	4096-ptr_max
PARAM_VALUE	1	msg->list_head.prev	4096-ptr_max
PARAM_VALUE	1	msg->list_head.prev->next	4096-ptr_max
PARAM_VALUE	1	msg->list_head.prev->prev	4096-ptr_max
PARAM_VALUE	1	msg->num_data_items	0
PARAM_VALUE	1	msg->pool->front_len	0-s32max
PARAM_VALUE	1	*msg->con->private->o_auth.authorizer->session_key.key	(-4611686018427387904)-4611686018427387903
PARAM_VALUE	2	resid	0-1000000000
CAPPED_DATA	0	con->out_msg	1
CAPPED_DATA	1	msg	1
CAPPED_DATA	2	resid	1
DATA_SOURCE	0	con	$0
DATA_SOURCE	1	msg	$1
DATA_SOURCE	2	resid	r iov_iter_count
PARAM_COMPARE	0	con->v2.out_iter.count	== $2
PARAM_COMPARE	1	msg->hdr.middle_len	>= $2
PARAM_COMPARE	2	resid	<= $1->hdr.middle_len
PARAM_COMPARE	2	resid	== $0->v2.out_iter.count
NOSPEC	2	resid
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA	0	con->v2.out_cursor.page_offset	0-2559[c]
USER_DATA	0	con->v2.out_cursor.resid	0-u64max
USER_DATA	0	con->v2.out_iter.count	0-5294967296,18446744071562067969-u64max
USER_DATA	1	msg->con->v2.out_cursor.page_offset	0-2559[c]
USER_DATA	1	msg->con->v2.out_cursor.resid	0-u64max
USER_DATA	1	msg->con->v2.out_iter.count	0-5294967296,18446744071562067969-u64max
USER_DATA	2	resid	0-1000000000[c]
NO_OVERFLOW_SIMPLE	1	msg->front.iov_len
NO_OVERFLOW_SIMPLE	1	msg->hdr.front_len
NO_OVERFLOW_SIMPLE	1	msg->max_data_items
UNITS	2	resid	unit_byte
LOCK2	0	&con->mutex
HALF_LOCKED2		&monc->mutex
HALF_LOCKED2		&osdc->lock
TYPE_LOCK		(struct ceph_connection)->mutex