Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
net/ceph/messenger_v2.c ceph_con_v2_try_write() -> reset_out_kvecs()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | con | 4096-ptr_max |
| CAPPED_DATA | 0 | con | 1 |
| DATA_SOURCE | 0 | con | $0 |
| NOCHECK_CALL | |||
| USER_DATA | 0 | con->msgr->global_seq | 1-u32max[c] |
| USER_DATA | 0 | con->peer_features | 0-u64max |
| USER_DATA | 0 | con->peer_name.num | 0-u64max |
| USER_DATA | 0 | con->v2.in_desc.fd_tag | 0-255 |
| USER_DATA | 0 | con->v2.out_cursor.resid | 0-u64max |
| NO_OVERFLOW_SIMPLE | 0 | con->in_msg->middle->alloc_len | |
| NO_OVERFLOW_SIMPLE | 0 | con->in_msg->middle->vec.iov_len | |
| LOCK2 | 0 | &con->mutex | |
| HALF_LOCKED2 | &pool->lock | ||
| TYPE_LOCK | (struct ceph_connection)->mutex |
net/ceph/messenger_v2.c prepare_ack() -> reset_out_kvecs()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | con | 4096-ptr_max |
| CAPPED_DATA | 0 | con | 1 |
| CAPPED_DATA | 0 | con->in_seq_acked | 1 |
| DATA_SOURCE | 0 | con | $0 |
| NOCHECK_CALL | |||
| USER_DATA | 0 | con->v2.out_cursor.resid | 0-u64max |
| LOCK2 | 0 | &con->mutex | |
| HALF_LOCKED2 | &pool->lock | ||
| TYPE_LOCK | (struct ceph_connection)->mutex |
net/ceph/messenger_v2.c prepare_keepalive2() -> reset_out_kvecs()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | con | 4096-ptr_max |
| CAPPED_DATA | 0 | con | 1 |
| DATA_SOURCE | 0 | con | $0 |
| NOCHECK_CALL | |||
| USER_DATA | 0 | con->v2.out_cursor.resid | 0-u64max |
| LOCK2 | 0 | &con->mutex | |
| HALF_LOCKED2 | &pool->lock | ||
| TYPE_LOCK | (struct ceph_connection)->mutex |
net/ceph/messenger_v2.c prepare_message() -> reset_out_kvecs()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | con | 4096-ptr_max |
| CAPPED_DATA | 0 | con | 1 |
| CAPPED_DATA | 0 | con->in_seq | 1 |
| DATA_SOURCE | 0 | con | $0 |
| PARAM_COMPARE | 0 | con->in_seq | <= $0->in_seq_acked |
| NOCHECK_CALL | |||
| USER_DATA | 0 | con->v2.out_cursor.resid | 0-u64max |
| LOCK2 | 0 | &con->mutex | |
| HALF_LOCKED2 | &pool->lock | ||
| TYPE_LOCK | (struct ceph_connection)->mutex |
net/ceph/messenger_v2.c process_auth_done() -> reset_out_kvecs()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | con | 4096-ptr_max |
| CAPPED_DATA | 0 | &con->mutex | 1 |
| DATA_SOURCE | 0 | con | $0 |
| NOCHECK_CALL | |||
| USER_DATA | 0 | con->private->auth->global_id | s64min-s64max |
| USER_DATA | 0 | con->private->client->msgr.inst.name.num | s64min-s64max |
| USER_DATA | 0 | con->private->m_subscribe->con->v2.out_iter.count | s64min-s64max |
| USER_DATA | 0 | con->v2.con_mode | 1-2 |
| LOCK2 | 0 | &con->mutex | |
| TYPE_LOCK | (struct ceph_connection)->mutex |
net/ceph/messenger_v2.c process_auth_reply_more() -> reset_out_kvecs()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | con | 4096-ptr_max |
| DATA_SOURCE | 0 | con | $0 |
| NOCHECK_CALL |
net/ceph/messenger_v2.c process_session_reset() -> reset_out_kvecs()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | con | 4096-ptr_max |
| CAPPED_DATA | 0 | &con->mutex | 1 |
| DATA_SOURCE | 0 | con | $0 |
| NOCHECK_CALL | |||
| LOCK2 | 0 | &con->mutex | |
| TYPE_LOCK | (struct ceph_connection)->mutex |
net/ceph/messenger_v2.c process_session_retry() -> reset_out_kvecs()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | con | 4096-ptr_max |
| DATA_SOURCE | 0 | con | $0 |
| NOCHECK_CALL |
net/ceph/messenger_v2.c process_session_retry_global() -> reset_out_kvecs()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | con | 4096-ptr_max |
| CAPPED_DATA | 0 | con->v2.global_seq | 1 |
| DATA_SOURCE | 0 | con | $0 |
| NOCHECK_CALL | |||
| USER_DATA | 0 | con->msgr->global_seq | 1-u32max[c] |
net/ceph/messenger_v2.c queue_data_cont() -> reset_out_kvecs()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | con | 4096-ptr_max |
| CAPPED_DATA | 0 | con | 1 |
| CAPPED_DATA | 0 | con->v2.out_bvec.bv_len | 1 |
| DATA_SOURCE | 0 | con | $0 |
| NOSPEC | 0 | con->v2.out_cursor.bvec_iter.bi_offset | |
| NOSPEC | 0 | con->v2.out_cursor.resid | |
| NOCHECK_CALL | |||
| USER_DATA | 0 | con->v2.out_cursor.bvec_iter.bi_offset | 1-4096[c] |
| USER_DATA | 0 | con->v2.out_cursor.bvec_iter.bi_size | 1-s32max[c] |
| USER_DATA | 0 | con->v2.out_cursor.lastlen | 1-4096[c] |
| USER_DATA | 0 | con->v2.out_cursor.need_crc | 0-1 |
| USER_DATA | 0 | con->v2.out_cursor.page_offset | 0-2559[c] |
| USER_DATA | 0 | con->v2.out_cursor.resid | 0-u64max |
| LOCK2 | 0 | &con->mutex | |
| HALF_LOCKED2 | &pool->lock | ||
| TYPE_LOCK | (struct ceph_connection)->mutex |
net/ceph/messenger_v2.c queue_zeros() -> reset_out_kvecs()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | con | 4096-ptr_max |
| PARAM_VALUE | 0 | con->v2.out_zero | 0 |
| CAPPED_DATA | 0 | con | 1 |
| DATA_SOURCE | 0 | con | $0 |
| NOSPEC | 0 | con->v2.out_cursor.lastlen | |
| NOSPEC | 0 | con->v2.out_cursor.resid | |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | con->v2.out_cursor.bvec_iter.bi_size | 1-s32max[c] |
| USER_DATA | 0 | con->v2.out_cursor.iov_iter.count | 0-u64max |
| USER_DATA | 0 | con->v2.out_cursor.lastlen | 1-4096[c] |
| USER_DATA | 0 | con->v2.out_cursor.need_crc | 0-1 |
| USER_DATA | 0 | con->v2.out_cursor.page_offset | 0-2559[c] |
| USER_DATA | 0 | con->v2.out_cursor.resid | 0-u64max |
| USER_DATA | 0 | con->v2.out_iter.count | 0-7442450943,18446744071562067969-u64max |
| LOCK2 | 0 | &con->mutex | |
| TYPE_LOCK | (struct ceph_connection)->mutex |