Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 0 cursor 4096-ptr_max
PARAM_VALUE 1 msg 4096-ptr_max
PARAM_VALUE 1 msg->con 4096-ptr_max
PARAM_VALUE 1 msg->front.iov_len 0-s32max
PARAM_VALUE 1 msg->hdr.front_len 0
PARAM_VALUE 1 msg->hdr.middle_len 0
PARAM_VALUE 1 msg->middle 4096-ptr_max
PARAM_VALUE 1 msg->middle->kref.refcount.refs.counter 1
PARAM_VALUE 1 msg->middle->vec.iov_base 16,4096-ptr_max
PARAM_VALUE 1 msg->middle->vec.iov_len 0-u32max
PARAM_VALUE 2 length 0-s32max
FUZZY_MAX 1 msg->front.iov_len 0
FUZZY_MAX 1 msg->middle->vec.iov_len 0
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 1 msg->middle->alloc_len
NO_OVERFLOW_SIMPLE 1 msg->middle->vec.iov_len

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

Type Parameter Key Value
PARAM_VALUE 0 cursor 4096-ptr_max
PARAM_VALUE 1 msg 4096-ptr_max
NOCHECK_CALL

net/ceph/messenger_v2.c process_v2_sparse_read() -> ceph_msg_data_cursor_init()

Type Parameter Key Value
PARAM_VALUE 0 cursor 273269346584760320
PARAM_VALUE 1 msg 4096-ptr_max
PARAM_VALUE 1 msg->hdr.data_len 1-u32max
PARAM_VALUE 1 msg->sparse_read_total 1-u64max
PARAM_VALUE 2 length 1-u64max
CAPPED_DATA 1 msg->hdr.data_len 1
NOCHECK_CALL
LOCK2 &con->mutex
LOCK2 &pool->lock
TYPE_LOCK (struct ceph_connection)->mutex

net/ceph/messenger_v2.c queue_data() -> ceph_msg_data_cursor_init()

Type Parameter Key Value
PARAM_VALUE 0 cursor 4096-ptr_max
PARAM_VALUE 1 msg 4096-ptr_max
PARAM_VALUE 2 length 0-s32max
DATA_SOURCE 1 msg $1
NOCHECK_CALL
USER_DATA 0 cursor->resid 0-u64max
LOCK2 &con->mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct ceph_connection)->mutex

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

Type Parameter Key Value
PARAM_VALUE 0 cursor 9015903013294497792
PARAM_VALUE 1 msg 4096-ptr_max
PARAM_VALUE 2 length 1-u32max
DATA_SOURCE 1 msg $1
PARAM_COMPARE 2 length == $1->hdr.data_len
BIT_INFO 2 length 0x0,0x7fffffff
NOCHECK_CALL
UNITS 2 length unit_byte
HALF_LOCKED2 &con->mutex
HALF_LOCKED2 &pool->lock

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

Type Parameter Key Value
PARAM_VALUE 0 cursor 9015903013294497792
PARAM_VALUE 0 cursor->data 4096-ptr_max
PARAM_VALUE 0 cursor->iov_iter.__iov 4096-u64max
PARAM_VALUE 0 cursor->iov_iter.bvec 4096-u64max
PARAM_VALUE 0 cursor->iov_iter.folioq 1-u64max
PARAM_VALUE 0 cursor->sr_resid 0
PARAM_VALUE 0 cursor->total_resid 0
PARAM_VALUE 1 msg 4096-ptr_max
PARAM_VALUE 1 msg->data->type 0-5
PARAM_VALUE 1 msg->data_length 1-u64max
PARAM_VALUE 1 msg->num_data_items s32min-(-1),1-s32max
PARAM_VALUE 2 length 1-u32max
CAPPED_DATA 2 length 1
DATA_SOURCE 1 msg $1
PARAM_COMPARE 2 length <= $1->data_length
PARAM_COMPARE 2 length == $1->hdr.data_len
BIT_INFO 2 length 0x0,0x7fffffff
NOSPEC 0 cursor->bvec_iter.bi_offset
NOSPEC 0 cursor->resid
NOCHECK_CALL
USER_DATA 0 cursor->bvec_iter.bi_offset 1-4096[c]
USER_DATA 0 cursor->bvec_iter.bi_size 1-s32max[c]
USER_DATA 0 cursor->lastlen 1-4096[c]
USER_DATA 0 cursor->need_crc 0-1
USER_DATA 0 cursor->page_offset 0-2559[c]
USER_DATA 0 cursor->resid 0-u64max
UNITS 2 length unit_byte
HALF_LOCKED2 &con->mutex
HALF_LOCKED2 &pool->lock

net/ceph/messenger_v1.c prepare_message_data() -> ceph_msg_data_cursor_init()

Type Parameter Key Value
PARAM_VALUE 0 cursor 4096-ptr_max
PARAM_VALUE 1 msg 4096-ptr_max
PARAM_VALUE 1 msg->middle 0,4096-ptr_max
DATA_SOURCE 1 msg $0
NOCHECK_CALL
UNITS 2 length unit_byte
LOCK2 &con->mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct ceph_connection)->mutex