Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
net/ceph/messenger_v2.c ceph_con_v2_reset_protocol() -> free_conn_bufs()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | con | 4096-ptr_max |
| PARAM_VALUE | 0 | con->bounce_page | 0 |
| PARAM_VALUE | 0 | con->in_msg | 0 |
| PARAM_VALUE | 0 | con->mutex.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | con->mutex.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 0 | con->mutex.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | con->mutex.first_waiter->list.prev->prev | 5159360019465732096 |
| PARAM_VALUE | 0 | con->mutex.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | con->mutex.wait_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | con->mutex.wait_lock.owner | (-1) |
| PARAM_VALUE | 0 | con->mutex.wait_lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | con->ops->peer_reset | 0,4096-ptr_max |
| PARAM_VALUE | 0 | con->ops->sparse_read | 0,4096-ptr_max |
| PARAM_VALUE | 0 | con->out_msg | 0 |
| PARAM_VALUE | 0 | con->sock | 0 |
| PARAM_VALUE | 0 | con->v2.in_iter.count | 0 |
| PARAM_VALUE | 0 | con->v2.in_sign_kvec_cnt | 0 |
| PARAM_VALUE | 0 | con->v2.out_iter.count | 0 |
| PARAM_VALUE | 0 | con->v2.out_sign_kvec_cnt | 0 |
| PARAM_VALUE | 0 | con->v2.out_zero | 0 |
| CAPPED_DATA | 0 | con | 1 |
| DATA_SOURCE | 0 | con | $0 |
| STR_LEN | 0 | con->error_msg | (-1) |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | 0 | &con->mutex | |
| TYPE_LOCK | (struct ceph_connection)->mutex |
net/ceph/messenger_v2.c process_server_ident() -> free_conn_bufs()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | con | 4096-ptr_max |
| PARAM_VALUE | 0 | con->ops->dispatch | 0,4096-ptr_max |
| PARAM_VALUE | 0 | con->state | 10 |
| PARAM_VALUE | 0 | con->v2.in_desc.fd_lens | 4096-ptr_max |
| PARAM_VALUE | 0 | con->v2.in_desc.fd_tag | s32min-16,18-s32max |
| PARAM_VALUE | 0 | con->v2.in_sign_kvec_cnt | 0 |
| PARAM_VALUE | 0 | con->v2.out_sign_kvec_cnt | 0 |
| DATA_SOURCE | 0 | con | $0 |
| NOCHECK_CALL | |||
| USER_DATA | 0 | con->peer_features | 0-u64max |
| USER_DATA | 0 | con->peer_name.num | 0-u64max |
| USER_DATA | 0 | con->v2.peer_global_seq | 0-u64max |
| USER_DATA | 0 | con->v2.server_cookie | 0-u64max |
net/ceph/messenger_v2.c process_session_reconnect_ok() -> free_conn_bufs()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | con | 4096-ptr_max |
| PARAM_VALUE | 0 | con->ops->dispatch | 0,4096-ptr_max |
| PARAM_VALUE | 0 | con->state | 11 |
| PARAM_VALUE | 0 | con->v2.in_desc.fd_lens | 4096-ptr_max |
| PARAM_VALUE | 0 | con->v2.in_desc.fd_tag | s32min-16,18-s32max |
| PARAM_VALUE | 0 | con->v2.in_sign_kvec_cnt | 0 |
| PARAM_VALUE | 0 | con->v2.out_sign_kvec_cnt | 0 |
| DATA_SOURCE | 0 | con | $0 |
| NOCHECK_CALL |
net/ceph/messenger_v2.c process_session_reset() -> free_conn_bufs()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | con | 4096-ptr_max |
| PARAM_VALUE | 0 | con->in_seq | 0 |
| PARAM_VALUE | 0 | con->in_seq_acked | 0 |
| PARAM_VALUE | 0 | con->mutex.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | con->mutex.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 0 | con->mutex.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | con->mutex.first_waiter->task->blocked_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | con->mutex.first_waiter->task->blocked_lock.owner | (-1) |
| PARAM_VALUE | 0 | con->mutex.first_waiter->task->blocked_lock.owner_cpu | 4294967295 |
| PARAM_VALUE | 0 | con->mutex.first_waiter->task->blocked_lock.raw_lock.val.counter | s32min-s32max |
| PARAM_VALUE | 0 | con->mutex.first_waiter->task->usage.refs.counter | s32min-s32max |
| PARAM_VALUE | 0 | con->mutex.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | con->mutex.wait_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | con->mutex.wait_lock.owner | (-1) |
| PARAM_VALUE | 0 | con->mutex.wait_lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | con->ops | 4096-ptr_max |
| PARAM_VALUE | 0 | con->ops->dispatch | 0,4096-ptr_max |
| PARAM_VALUE | 0 | con->ops->peer_reset | 0,2747659020159242240 |
| PARAM_VALUE | 0 | con->out_seq | 0 |
| PARAM_VALUE | 0 | con->state | 11 |
| PARAM_VALUE | 0 | con->v1.connect_seq | 0 |
| PARAM_VALUE | 0 | con->v1.peer_global_seq | 0 |
| PARAM_VALUE | 0 | con->v2.client_cookie | 0 |
| PARAM_VALUE | 0 | con->v2.connect_seq | 0 |
| PARAM_VALUE | 0 | con->v2.global_seq | 0 |
| PARAM_VALUE | 0 | con->v2.in_desc.fd_lens | 4096-ptr_max |
| PARAM_VALUE | 0 | con->v2.in_desc.fd_tag | s32min-16,18-s32max |
| PARAM_VALUE | 0 | con->v2.peer_global_seq | 0 |
| PARAM_VALUE | 0 | con->v2.server_cookie | 0 |
| 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() -> free_conn_bufs()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | con | 4096-ptr_max |
| PARAM_VALUE | 0 | con->ops->dispatch | 0,4096-ptr_max |
| PARAM_VALUE | 0 | con->state | 11 |
| PARAM_VALUE | 0 | con->v2.in_desc.fd_lens | 4096-ptr_max |
| PARAM_VALUE | 0 | con->v2.in_desc.fd_tag | s32min-16,18-s32max |
| DATA_SOURCE | 0 | con | $0 |
| NOCHECK_CALL |
net/ceph/messenger_v2.c process_session_retry_global() -> free_conn_bufs()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | con | 4096-ptr_max |
| PARAM_VALUE | 0 | con->msgr | 4096-ptr_max |
| PARAM_VALUE | 0 | con->msgr->global_seq_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | con->ops->dispatch | 0,4096-ptr_max |
| PARAM_VALUE | 0 | con->state | 11 |
| PARAM_VALUE | 0 | con->v2.global_seq | 1-u32max |
| PARAM_VALUE | 0 | con->v2.in_desc.fd_lens | 4096-ptr_max |
| PARAM_VALUE | 0 | con->v2.in_desc.fd_tag | s32min-16,18-s32max |
| 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] |