Defined in 2 files as a variable:

Defined in 233 files as a member:

Defined in 1 files as a function:

Referenced in 842 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 0 msg 4096-ptr_max
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() -> data_len()

Type Parameter Key Value
PARAM_VALUE 0 msg 4096-ptr_max
CAPPED_DATA 0 msg->hdr.data_len 1

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

Type Parameter Key Value
PARAM_VALUE 0 msg 4096-ptr_max
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() -> data_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() -> data_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() -> data_len()

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

net/ceph/messenger_v2.c prepare_read_data() -> data_len()

Type Parameter Key Value
PARAM_VALUE 0 msg 4096-ptr_max
NO_OVERFLOW_SIMPLE 0 msg->middle->alloc_len
NO_OVERFLOW_SIMPLE 0 msg->middle->vec.iov_len

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

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

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

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

net/ceph/messenger_v2.c prepare_sparse_read_data() -> data_len()

Type Parameter Key Value
PARAM_VALUE 0 msg 4096-ptr_max
CAPPED_DATA 0 msg->sparse_read_total 1
PARAM_COMPARE 0 msg->data_length >= $0->sparse_read_total

net/ceph/messenger_v2.c prepare_zero_data() -> data_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_data() -> data_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 queue_data() -> data_len()

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

net/ceph/messenger_v2.c revoke_at_finish_message() -> data_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_prepare_read_data() -> data_len()

Type Parameter Key Value
PARAM_VALUE 0 msg 4096-ptr_max
CAPPED_DATA 0 msg 1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
LOCK2 &con->mutex
HALF_LOCKED2 &monc->mutex
HALF_LOCKED2 &osd->lock
HALF_LOCKED2 &osdc->lock
TYPE_LOCK (struct ceph_connection)->mutex

net/ceph/messenger_v2.c revoke_at_prepare_read_data() -> data_len()

Type Parameter Key Value
PARAM_VALUE 0 msg 4096-ptr_max
CAPPED_DATA 0 msg 1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
LOCK2 &con->mutex
HALF_LOCKED2 &monc->mutex
HALF_LOCKED2 &osd->lock
HALF_LOCKED2 &osdc->lock
TYPE_LOCK (struct ceph_connection)->mutex

net/ceph/messenger_v2.c revoke_at_prepare_read_data_cont() -> data_len()

Type Parameter Key Value
PARAM_VALUE 0 msg 4096-ptr_max
CAPPED_DATA 0 msg 1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
LOCK2 &con->mutex
HALF_LOCKED2 &monc->mutex
HALF_LOCKED2 &osd->lock
HALF_LOCKED2 &osdc->lock
TYPE_LOCK (struct ceph_connection)->mutex

net/ceph/messenger_v2.c revoke_at_prepare_sparse_data() -> data_len()

Type Parameter Key Value
PARAM_VALUE 0 msg 4096-ptr_max
CAPPED_DATA 0 msg 1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
LOCK2 &con->mutex
HALF_LOCKED2 &monc->mutex
HALF_LOCKED2 &osd->lock
HALF_LOCKED2 &osdc->lock
TYPE_LOCK (struct ceph_connection)->mutex

net/ceph/messenger_v2.c revoke_at_queue_data() -> data_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_cont() -> data_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 setup_message_sgs() -> data_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() -> data_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 tail_onwire_len() -> data_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() -> data_len()

Type Parameter Key Value
PARAM_VALUE 0 msg 4096-ptr_max

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

Type Parameter Key Value
PARAM_VALUE 0 msg 4096-ptr_max

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

Type Parameter Key Value
PARAM_VALUE 0 msg 4096-ptr_max