Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
net/ceph/messenger_v2.c calc_sg_cnt_cursor() -> get_bvec_at()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | cursor | 9015903013294497792 |
| PARAM_VALUE | 0 | cursor->data | 4096-ptr_max |
| PARAM_VALUE | 0 | cursor->sr_resid | 0 |
| PARAM_VALUE | 0 | cursor->total_resid | 1-u64max |
| PARAM_VALUE | 1 | bv | 6157618024181112832 |
| DATA_SOURCE | 0 | cursor | $0 |
| 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 |
| USER_DATA | 1 | bv->bv_len | 1-1000000000[c] |
| USER_DATA | 1 | bv->bv_offset | 0-4095[c] |
| HALF_LOCKED2 | &con->mutex | ||
| HALF_LOCKED2 | &pool->lock |
net/ceph/messenger_v2.c init_sgs_cursor() -> get_bvec_at()
| 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 | 1-u64max |
| PARAM_VALUE | 1 | bv | 3462720739066961920 |
| DATA_SOURCE | 0 | cursor | $1 |
| 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 |
| USER_DATA | 1 | bv->bv_len | 1-1000000000[c] |
| USER_DATA | 1 | bv->bv_offset | 0-4095[c] |
| HALF_LOCKED2 | &con->mutex | ||
| HALF_LOCKED2 | &pool->lock |
net/ceph/messenger_v2.c prepare_read_data() -> get_bvec_at()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | cursor | 4096-ptr_max |
| PARAM_VALUE | 0 | cursor->data | 4096-ptr_max |
| PARAM_VALUE | 0 | cursor->iov_iter.count | 1-18446744073709551614 |
| PARAM_VALUE | 0 | cursor->lastlen | 0 |
| PARAM_VALUE | 0 | cursor->need_crc | 1 |
| PARAM_VALUE | 0 | cursor->offset | 0 |
| PARAM_VALUE | 0 | cursor->page | 4096-ptr_max |
| PARAM_VALUE | 0 | cursor->page_index | 0 |
| PARAM_VALUE | 0 | cursor->page_offset | 0-4095 |
| PARAM_VALUE | 0 | cursor->sr_resid | 0 |
| PARAM_VALUE | 0 | cursor->total_resid | 1-s32max,18446744071562067968-u64max |
| PARAM_VALUE | 1 | bv | 6451900351207677952 |
| NOCHECK_CALL | |||
| USER_DATA | 0 | cursor->resid | 0-u64max |
net/ceph/messenger_v2.c prepare_read_data_cont() -> get_bvec_at()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | cursor | 4096-ptr_max |
| PARAM_VALUE | 1 | bv | 6498662920652288000 |
| NOCHECK_CALL |
net/ceph/messenger_v2.c prepare_read_data_cont() -> get_bvec_at()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | cursor | 4096-ptr_max |
| PARAM_VALUE | 0 | cursor->data | 4096-ptr_max |
| PARAM_VALUE | 0 | cursor->iov_iter.__iov | 4096-u64max |
| PARAM_VALUE | 0 | cursor->iov_iter.folioq | 1-u64max |
| PARAM_VALUE | 0 | cursor->total_resid | 1-u64max |
| PARAM_VALUE | 1 | bv | 6498662920652288000 |
| NOSPEC | 0 | cursor->resid | |
| NOCHECK_CALL | |||
| USER_DATA | 0 | cursor->resid | 0-u64max |
net/ceph/messenger_v2.c prepare_sparse_read_cont() -> get_bvec_at()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | cursor | 4096-ptr_max |
| PARAM_VALUE | 0 | cursor->data | 4096-ptr_max |
| PARAM_VALUE | 0 | cursor->iov_iter.count | 1-18446744073709551614 |
| PARAM_VALUE | 0 | cursor->lastlen | 0 |
| PARAM_VALUE | 0 | cursor->need_crc | 1 |
| PARAM_VALUE | 0 | cursor->offset | 0 |
| PARAM_VALUE | 0 | cursor->page | 4096-ptr_max |
| PARAM_VALUE | 0 | cursor->page_index | 0 |
| PARAM_VALUE | 0 | cursor->page_offset | 0-4095 |
| PARAM_VALUE | 0 | cursor->sr_resid | 0 |
| PARAM_VALUE | 0 | cursor->total_resid | 1-u64max |
| PARAM_VALUE | 1 | bv | 9160673221256634368 |
| BUF_SIZE | 0 | cursor | 80 |
| NOCHECK_CALL | |||
| USER_DATA | 0 | cursor->resid | 0-u64max |
net/ceph/messenger_v2.c prepare_sparse_read_cont() -> get_bvec_at()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | cursor | 4096-ptr_max |
| PARAM_VALUE | 0 | cursor->data | 4096-ptr_max |
| PARAM_VALUE | 0 | cursor->iov_iter.__iov | 4096-u64max |
| PARAM_VALUE | 0 | cursor->iov_iter.folioq | 1-u64max |
| PARAM_VALUE | 0 | cursor->sr_resid | s32min-(-1),1-s32max |
| PARAM_VALUE | 1 | bv | 9160673221256634368 |
| BUF_SIZE | 0 | cursor | 80 |
| 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 |
| USER_DATA | 1 | bv->bv_len | 1-1000000000[c] |
| USER_DATA | 1 | bv->bv_offset | 0-4095[c] |
net/ceph/messenger_v2.c prepare_sparse_read_cont() -> get_bvec_at()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | cursor | 4096-ptr_max |
| PARAM_VALUE | 0 | cursor->bvec_iter.bi_bvec_done | 0-4294967295 |
| PARAM_VALUE | 0 | cursor->data | 4096-ptr_max |
| PARAM_VALUE | 0 | cursor->data.bio_pos.iter.bi_bvec_done | 0-4294967295 |
| PARAM_VALUE | 0 | cursor->data.bvec_pos.iter.bi_bvec_done | 0-4294967295 |
| PARAM_VALUE | 0 | cursor->sr_resid | 0-s32max |
| PARAM_VALUE | 0 | cursor->total_resid | 1-u64max |
| PARAM_VALUE | 1 | bv | 9160673221256634368 |
| BUF_SIZE | 0 | cursor | 80 |
| NOSPEC | 0 | cursor->bvec_iter.bi_offset | |
| NOSPEC | 0 | cursor->lastlen | |
| NOSPEC | 0 | cursor->resid | |
| NOCHECK_CALL | |||
| USER_DATA | 0 | cursor->bio_iter.iter.bi_bvec_done | 1-4096[c] |
| 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 |
| USER_DATA | 1 | bv->bv_len | 1-1000000000[c] |
| USER_DATA | 1 | bv->bv_offset | 0-4095[c] |
net/ceph/messenger_v2.c process_v2_sparse_read() -> get_bvec_at()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | cursor | 273269346584760320 |
| PARAM_VALUE | 0 | cursor->data | 4096-ptr_max |
| PARAM_VALUE | 0 | cursor->sr_resid | 0-s32max |
| PARAM_VALUE | 1 | bv | 4973722707334877184 |
| 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 |
| LOCK2 | &con->mutex | ||
| LOCK2 | &pool->lock | ||
| TYPE_LOCK | (struct ceph_connection)->mutex |
net/ceph/messenger_v2.c queue_data() -> get_bvec_at()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | cursor | 4096-ptr_max |
| PARAM_VALUE | 0 | cursor->data | 4096-ptr_max |
| PARAM_VALUE | 0 | cursor->iov_iter.count | 1-18446744073709551614 |
| PARAM_VALUE | 0 | cursor->lastlen | 0 |
| PARAM_VALUE | 0 | cursor->need_crc | 1 |
| PARAM_VALUE | 0 | cursor->offset | 0 |
| PARAM_VALUE | 0 | cursor->page | 4096-ptr_max |
| PARAM_VALUE | 0 | cursor->page_index | 0 |
| PARAM_VALUE | 0 | cursor->page_offset | 0-4095 |
| PARAM_VALUE | 0 | cursor->sr_resid | 0 |
| PARAM_VALUE | 0 | cursor->total_resid | 1-s32max,18446744071562067968-u64max |
| PARAM_VALUE | 1 | bv | 6602265228663357440 |
| 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 queue_data_cont() -> get_bvec_at()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | cursor | 4096-ptr_max |
| 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->total_resid | 1-u64max |
| PARAM_VALUE | 1 | bv | 7537754473566265344 |
| 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 |
| LOCK2 | &con->mutex | ||
| HALF_LOCKED2 | &pool->lock | ||
| TYPE_LOCK | (struct ceph_connection)->mutex |