Defined in 4 files as a member:

Defined in 1 files as a function:

Referenced in 11 files:

Smatch caller information:

net/ceph/messenger_v2.c __handle_control() -> front_len()

Type Parameter Key Value
PARAM_VALUE 0 msg 4096-ptr_max

net/ceph/messenger_v2.c __handle_control() -> front_len()

Type Parameter Key Value
PARAM_VALUE 0 msg 4096-ptr_max
PARAM_VALUE 0 msg->hdr.front_len 1-u32max

net/ceph/messenger_v2.c __handle_control() -> front_len()

Type Parameter Key Value
PARAM_VALUE 0 msg 4096-ptr_max
PARAM_VALUE 0 msg->hdr.front_len 1-u32max

net/ceph/messenger_v2.c __handle_control() -> front_len()

Type Parameter Key Value
PARAM_VALUE 0 msg 4096-ptr_max
PARAM_VALUE 0 msg->hdr.front_len 0-s32max
PARAM_COMPARE 0 msg->front.iov_len == $0->hdr.front_len
PARAM_COMPARE 0 msg->hdr.middle_len <= $0->middle->vec.iov_len
BIT_INFO 0 msg->front.iov_len 0x0,0xffffffff

net/ceph/messenger_v2.c decrypt_tail() -> front_len()

Type Parameter Key Value
PARAM_VALUE 0 msg 4096-ptr_max

net/ceph/messenger_v2.c prepare_message() -> front_len()

Type Parameter Key Value
PARAM_VALUE 0 msg 1-u64max
DATA_SOURCE 0 msg $1
LOCK2 &con->mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct ceph_connection)->mutex

net/ceph/messenger_v2.c prepare_message_plain() -> front_len()

Type Parameter Key Value
PARAM_VALUE 0 msg 4096-ptr_max
DATA_SOURCE 0 msg $1

net/ceph/messenger_v2.c prepare_message_plain() -> front_len()

Type Parameter Key Value
PARAM_VALUE 0 msg 4096-ptr_max
DATA_SOURCE 0 msg $1

net/ceph/messenger_v2.c prepare_message_plain() -> front_len()

Type Parameter Key Value
PARAM_VALUE 0 msg 4096-ptr_max
PARAM_VALUE 0 msg->hdr.front_len 1-u32max
DATA_SOURCE 0 msg $1

net/ceph/messenger_v2.c prepare_message_plain() -> front_len()

Type Parameter Key Value
PARAM_VALUE 0 msg 4096-ptr_max
PARAM_VALUE 0 msg->hdr.front_len 1-s32max
DATA_SOURCE 0 msg $1

net/ceph/messenger_v2.c prepare_read_tail_plain() -> front_len()

Type Parameter Key Value
PARAM_VALUE 0 msg 4096-ptr_max
PARAM_VALUE 0 msg->hdr.front_len 0-s32max
LOCK2 &con->mutex
LOCK2 &pool->lock
TYPE_LOCK (struct ceph_connection)->mutex

net/ceph/messenger_v2.c prepare_read_tail_plain() -> front_len()

Type Parameter Key Value
PARAM_VALUE 0 msg 4096-ptr_max
PARAM_VALUE 0 msg->hdr.front_len 0-s32max
LOCK2 &con->mutex
LOCK2 &pool->lock
TYPE_LOCK (struct ceph_connection)->mutex

net/ceph/messenger_v2.c prepare_read_tail_plain() -> front_len()

Type Parameter Key Value
PARAM_VALUE 0 msg 4096-ptr_max
PARAM_VALUE 0 msg->hdr.front_len 1-s32max
LOCK2 &con->mutex
LOCK2 &pool->lock
TYPE_LOCK (struct ceph_connection)->mutex

net/ceph/messenger_v2.c prepare_read_tail_plain() -> front_len()

Type Parameter Key Value
PARAM_VALUE 0 msg 4096-ptr_max
PARAM_VALUE 0 msg->hdr.front_len 1-s32max
LOCK2 &con->mutex
LOCK2 &pool->lock
TYPE_LOCK (struct ceph_connection)->mutex

net/ceph/messenger_v2.c prepare_zero_front() -> front_len()

Type Parameter Key Value
PARAM_VALUE 0 msg 4096-ptr_max
DATA_SOURCE 0 msg $1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 msg->con->v2.out_cursor.iov_iter.count 0-u64max
USER_DATA 0 msg->con->v2.out_cursor.resid 0-u64max
USER_DATA 0 msg->con->v2.out_iter.count 0-5294967296,18446744071562067969-u64max
NO_OVERFLOW_SIMPLE 0 msg->front.iov_len
NO_OVERFLOW_SIMPLE 0 msg->hdr.front_len
NO_OVERFLOW_SIMPLE 0 msg->max_data_items
LOCK2 &con->mutex
HALF_LOCKED2 &monc->mutex
HALF_LOCKED2 &osdc->lock
TYPE_LOCK (struct ceph_connection)->mutex

net/ceph/messenger_v2.c prepare_zero_front() -> front_len()

Type Parameter Key Value
PARAM_VALUE 0 msg 4096-ptr_max
DATA_SOURCE 0 msg $1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 msg->con->v2.out_cursor.iov_iter.count 0-u64max
USER_DATA 0 msg->con->v2.out_cursor.resid 0-u64max
USER_DATA 0 msg->con->v2.out_iter.count 0-5294967296,18446744071562067969-u64max
NO_OVERFLOW_SIMPLE 0 msg->front.iov_len
NO_OVERFLOW_SIMPLE 0 msg->hdr.front_len
NO_OVERFLOW_SIMPLE 0 msg->max_data_items
LOCK2 &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() -> front_len()

Type Parameter Key Value
PARAM_VALUE 0 msg 4096-ptr_max
CAPPED_DATA 0 msg 1
DATA_SOURCE 0 msg $1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 msg->con->v2.out_cursor.page_offset 0-2559[c]
USER_DATA 0 msg->con->v2.out_cursor.resid 0-u64max
USER_DATA 0 msg->con->v2.out_iter.count 0-5294967296,18446744071562067969-u64max
NO_OVERFLOW_SIMPLE 0 msg->front.iov_len
NO_OVERFLOW_SIMPLE 0 msg->hdr.front_len
NO_OVERFLOW_SIMPLE 0 msg->max_data_items
LOCK2 &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() -> front_len()

Type Parameter Key Value
PARAM_VALUE 0 msg 4096-ptr_max
CAPPED_DATA 0 msg 1
DATA_SOURCE 0 msg $1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 msg->con->v2.out_cursor.page_offset 0-2559[c]
USER_DATA 0 msg->con->v2.out_cursor.resid 0-u64max
USER_DATA 0 msg->con->v2.out_iter.count 0-5294967296,18446744071562067969-u64max
NO_OVERFLOW_SIMPLE 0 msg->front.iov_len
NO_OVERFLOW_SIMPLE 0 msg->hdr.front_len
NO_OVERFLOW_SIMPLE 0 msg->max_data_items
LOCK2 &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() -> front_len()

Type Parameter Key Value
PARAM_VALUE 0 msg 4096-ptr_max
CAPPED_DATA 0 msg 1
DATA_SOURCE 0 msg $1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 msg->con->v2.out_cursor.page_offset 0-2559[c]
USER_DATA 0 msg->con->v2.out_cursor.resid 0-u64max
USER_DATA 0 msg->con->v2.out_iter.count 0-5294967296,18446744071562067969-u64max
NO_OVERFLOW_SIMPLE 0 msg->front.iov_len
NO_OVERFLOW_SIMPLE 0 msg->hdr.front_len
NO_OVERFLOW_SIMPLE 0 msg->max_data_items
LOCK2 &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() -> front_len()

Type Parameter Key Value
PARAM_VALUE 0 msg 4096-ptr_max
PARAM_VALUE 0 msg->hdr.front_len 1-u32max
CAPPED_DATA 0 msg 1
DATA_SOURCE 0 msg $1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 msg->con->v2.out_cursor.page_offset 0-2559[c]
USER_DATA 0 msg->con->v2.out_cursor.resid 0-u64max
USER_DATA 0 msg->con->v2.out_iter.count 0-5294967296,18446744071562067969-u64max
NO_OVERFLOW_SIMPLE 0 msg->front.iov_len
NO_OVERFLOW_SIMPLE 0 msg->hdr.front_len
NO_OVERFLOW_SIMPLE 0 msg->max_data_items
LOCK2 &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() -> front_len()

Type Parameter Key Value
PARAM_VALUE 0 msg 4096-ptr_max
CAPPED_DATA 0 msg 1
DATA_SOURCE 0 msg $1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 msg->con->v2.out_cursor.page_offset 0-2559[c]
USER_DATA 0 msg->con->v2.out_cursor.resid 0-u64max
USER_DATA 0 msg->con->v2.out_iter.count 0-5294967296,18446744071562067969-u64max
NO_OVERFLOW_SIMPLE 0 msg->front.iov_len
NO_OVERFLOW_SIMPLE 0 msg->hdr.front_len
NO_OVERFLOW_SIMPLE 0 msg->max_data_items
LOCK2 &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() -> front_len()

Type Parameter Key Value
PARAM_VALUE 0 msg 4096-ptr_max
CAPPED_DATA 0 msg 1
DATA_SOURCE 0 msg $1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 msg->con->v2.out_cursor.page_offset 0-2559[c]
USER_DATA 0 msg->con->v2.out_cursor.resid 0-u64max
USER_DATA 0 msg->con->v2.out_iter.count 0-5294967296,18446744071562067969-u64max
NO_OVERFLOW_SIMPLE 0 msg->front.iov_len
NO_OVERFLOW_SIMPLE 0 msg->hdr.front_len
NO_OVERFLOW_SIMPLE 0 msg->max_data_items
LOCK2 &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() -> front_len()

Type Parameter Key Value
PARAM_VALUE 0 msg 4096-ptr_max
PARAM_VALUE 0 msg->hdr.front_len 1-u32max
CAPPED_DATA 0 msg 1
DATA_SOURCE 0 msg $1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 msg->con->v2.out_cursor.page_offset 0-2559[c]
USER_DATA 0 msg->con->v2.out_cursor.resid 0-u64max
USER_DATA 0 msg->con->v2.out_iter.count 0-5294967296,18446744071562067969-u64max
NO_OVERFLOW_SIMPLE 0 msg->front.iov_len
NO_OVERFLOW_SIMPLE 0 msg->hdr.front_len
NO_OVERFLOW_SIMPLE 0 msg->max_data_items
LOCK2 &con->mutex
HALF_LOCKED2 &monc->mutex
HALF_LOCKED2 &osdc->lock
TYPE_LOCK (struct ceph_connection)->mutex

net/ceph/messenger_v2.c setup_message_sgs() -> front_len()

Type Parameter Key Value
PARAM_VALUE 0 msg 4096-ptr_max
DATA_SOURCE 0 msg $1
HALF_LOCKED2 &con->mutex
HALF_LOCKED2 &pool->lock

net/ceph/messenger_v2.c setup_message_sgs() -> front_len()

Type Parameter Key Value
PARAM_VALUE 0 msg 4096-ptr_max
DATA_SOURCE 0 msg $1
HALF_LOCKED2 &con->mutex
HALF_LOCKED2 &pool->lock

net/ceph/messenger_v2.c setup_message_sgs() -> front_len()

Type Parameter Key Value
PARAM_VALUE 0 msg 4096-ptr_max
PARAM_VALUE 0 msg->hdr.front_len 1-u32max
DATA_SOURCE 0 msg $1
HALF_LOCKED2 &con->mutex
HALF_LOCKED2 &pool->lock

net/ceph/messenger_v2.c setup_message_sgs() -> front_len()

Type Parameter Key Value
PARAM_VALUE 0 msg 4096-ptr_max
DATA_SOURCE 0 msg $1
HALF_LOCKED2 &con->mutex
HALF_LOCKED2 &pool->lock

net/ceph/messenger_v2.c setup_message_sgs() -> front_len()

Type Parameter Key Value
PARAM_VALUE 0 msg 4096-ptr_max
PARAM_VALUE 0 msg->hdr.front_len 1-u32max
DATA_SOURCE 0 msg $1
HALF_LOCKED2 &con->mutex
HALF_LOCKED2 &pool->lock

net/ceph/messenger_v2.c tail_onwire_len() -> front_len()

Type Parameter Key Value
PARAM_VALUE 0 msg 4096-ptr_max
DATA_SOURCE 0 msg $0
NO_OVERFLOW_SIMPLE 0 msg->middle->alloc_len
NO_OVERFLOW_SIMPLE 0 msg->middle->vec.iov_len
HALF_LOCKED2 &con->mutex
HALF_LOCKED2 &pool->lock

net/ceph/messenger_v2.c verify_epilogue_crcs() -> front_len()

Type Parameter Key Value

net/ceph/messenger_v2.c verify_epilogue_crcs() -> front_len()

Type Parameter Key Value
PARAM_VALUE 0 msg 4096-ptr_max
PARAM_VALUE 0 msg->hdr.front_len 1-u32max