Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
net/ceph/messenger_v2.c prepare_read_data() -> set_in_bvec()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | con | 4096-ptr_max |
| PARAM_VALUE | 1 | bv | 6451900351207677952 |
| PARAM_VALUE | 1 | bv->bv_len | 1-u32max |
| CAPPED_DATA | 0 | con | 1 |
| DATA_SOURCE | 0 | con | $0 |
| NOSPEC | 0 | con->v2.in_cursor.bvec_iter.bi_offset | |
| NOSPEC | 0 | con->v2.in_cursor.resid | |
| NOSPEC | 1 | bv->bv_len | |
| NOCHECK_CALL | |||
| USER_DATA | 0 | con->v2.in_cursor.bvec_iter.bi_offset | 1-4096[c] |
| USER_DATA | 0 | con->v2.in_cursor.bvec_iter.bi_size | 1-s32max[c] |
| USER_DATA | 0 | con->v2.in_cursor.lastlen | 1-4096[c] |
| USER_DATA | 0 | con->v2.in_cursor.need_crc | 0-1 |
| USER_DATA | 0 | con->v2.in_cursor.page_offset | 0-2559[c] |
| USER_DATA | 0 | con->v2.in_cursor.resid | 1-u64max |
| USER_DATA | 1 | bv->bv_len | 1-1000000000[c] |
| USER_DATA | 1 | bv->bv_offset | 0-4095[c] |
| NO_OVERFLOW_SIMPLE | 0 | con->in_msg->middle->alloc_len | |
| NO_OVERFLOW_SIMPLE | 0 | con->in_msg->middle->vec.iov_len |
net/ceph/messenger_v2.c prepare_read_data_cont() -> set_in_bvec()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | con | 4096-ptr_max |
| PARAM_VALUE | 1 | bv | 6498662920652288000 |
| PARAM_VALUE | 1 | bv->bv_len | 1-u32max |
| CAPPED_DATA | 0 | con->v2.in_bvec.bv_len | 1 |
| DATA_SOURCE | 0 | con | $0 |
| NOSPEC | 0 | con->v2.in_cursor.bvec_iter.bi_offset | |
| NOSPEC | 0 | con->v2.in_cursor.resid | |
| NOSPEC | 1 | bv->bv_len | |
| NOCHECK_CALL | |||
| USER_DATA | 0 | con->v2.in_cursor.bvec_iter.bi_offset | 1-4096[c] |
| USER_DATA | 0 | con->v2.in_cursor.bvec_iter.bi_size | 1-s32max[c] |
| USER_DATA | 0 | con->v2.in_cursor.lastlen | 1-4096[c] |
| USER_DATA | 0 | con->v2.in_cursor.need_crc | 0-1 |
| USER_DATA | 0 | con->v2.in_cursor.page_offset | 0-2559[c] |
| USER_DATA | 0 | con->v2.in_cursor.resid | 1-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_read_enc_page() -> set_in_bvec()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | con | 4096-ptr_max |
| PARAM_VALUE | 1 | bv | 2640230247610937344 |
| PARAM_VALUE | 1 | bv->bv_len | 0,32,48-4096 |
| CAPPED_DATA | 0 | con | 1 |
| CAPPED_DATA | 0 | con->v2.in_enc_page_cnt | 1 |
| DATA_SOURCE | 0 | con | $0 |
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | con->in_msg->middle->alloc_len | |
| NO_OVERFLOW_SIMPLE | 0 | con->in_msg->middle->vec.iov_len |
net/ceph/messenger_v2.c prepare_sparse_read_cont() -> set_in_bvec()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | con | 4096-ptr_max |
| PARAM_VALUE | 1 | bv | 9160673221256634368 |
| PARAM_VALUE | 1 | bv->bv_len | 1-u32max |
| CAPPED_DATA | 0 | con->v2.in_bvec.bv_len | 1 |
| DATA_SOURCE | 0 | con | $0 |
| NOSPEC | 1 | bv->bv_len | |
| NOCHECK_CALL | |||
| USER_DATA | 0 | con->v2.in_cursor.resid | 1-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() -> set_in_bvec()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | con | 4096-ptr_max |
| PARAM_VALUE | 1 | bv | 9160673221256634368 |
| PARAM_VALUE | 1 | bv->bv_len | 0-s32max |
| CAPPED_DATA | 0 | con->private->o_sparse_read.sr_count | 1 |
| CAPPED_DATA | 0 | con->private->o_sparse_read.sr_index | 1 |
| DATA_SOURCE | 0 | con | $0 |
| NOSPEC | 1 | bv->bv_len | |
| NOCHECK_CALL | |||
| USER_DATA | 0 | con->v2.in_cursor.resid | 1-u64max |
| USER_DATA | 1 | bv->bv_len | 1-1000000000[c] |
| USER_DATA | 1 | bv->bv_offset | 0-4095[c] |