Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
net/ceph/messenger_v1.c ceph_con_v1_try_write() -> con_out_kvec_reset()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | con | 4096-ptr_max |
| PARAM_VALUE | 0 | con->mutex.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | con->mutex.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | con->mutex.wait_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | con->sock | 0 |
| PARAM_VALUE | 0 | con->state | 3 |
| PARAM_VALUE | 0 | *con->v2.in_buf | (-4611686018427387904)-4611686018427387903 |
| CAPPED_DATA | 0 | con | 1 |
| 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.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_v1.c prepare_write_ack() -> con_out_kvec_reset()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | con | 4096-ptr_max |
| PARAM_VALUE | 0 | con->in_seq | 1-u64max |
| PARAM_VALUE | 0 | con->in_seq_acked | 1-u64max |
| 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->dispatch | 0,4096-ptr_max |
| PARAM_VALUE | 0 | con->out_msg | 0,4096-ptr_max |
| PARAM_VALUE | 0 | con->sock | 1-u64max |
| PARAM_VALUE | 0 | con->sock->sk->ns_tracker->alloc_stack_handle | 0-4294967295 |
| PARAM_VALUE | 0 | con->sock->sk->ns_tracker->dead | 0-1 |
| PARAM_VALUE | 0 | con->sock->sk->ns_tracker->free_stack_handle | 0-4294967295 |
| PARAM_VALUE | 0 | con->state | 12 |
| PARAM_VALUE | 0 | con->v1.out_kvec_left | 0 |
| PARAM_VALUE | 0 | con->v1.out_skip | s32min-0 |
| 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_v1.c prepare_write_keepalive() -> con_out_kvec_reset()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | con | 4096-ptr_max |
| 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->dispatch | 0,4096-ptr_max |
| PARAM_VALUE | 0 | con->out_msg | 0,4096-ptr_max |
| PARAM_VALUE | 0 | con->sock | 1-u64max |
| PARAM_VALUE | 0 | con->sock->sk->ns_tracker->alloc_stack_handle | 0-4294967295 |
| PARAM_VALUE | 0 | con->sock->sk->ns_tracker->dead | 0-1 |
| PARAM_VALUE | 0 | con->sock->sk->ns_tracker->free_stack_handle | 0-4294967295 |
| PARAM_VALUE | 0 | con->state | 12 |
| PARAM_VALUE | 0 | con->v1.out_kvec_left | 0 |
| PARAM_VALUE | 0 | con->v1.out_skip | s32min-0 |
| 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_v1.c prepare_write_message() -> con_out_kvec_reset()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | con | 4096-ptr_max |
| 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->dispatch | 0,4096-ptr_max |
| PARAM_VALUE | 0 | con->out_msg | 4096-ptr_max |
| PARAM_VALUE | 0 | con->out_sent.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | con->out_sent.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | con->out_sent.prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | con->sock | 1-u64max |
| PARAM_VALUE | 0 | con->sock->sk->ns_tracker->alloc_stack_handle | 0-4294967295 |
| PARAM_VALUE | 0 | con->sock->sk->ns_tracker->dead | 0-1 |
| PARAM_VALUE | 0 | con->sock->sk->ns_tracker->free_stack_handle | 0-4294967295 |
| PARAM_VALUE | 0 | con->state | 12 |
| PARAM_VALUE | 0 | con->v1.out_kvec_left | 0 |
| PARAM_VALUE | 0 | con->v1.out_skip | s32min-0 |
| 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_v1.c prepare_write_seq() -> con_out_kvec_reset()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | con | 4096-ptr_max |
| PARAM_VALUE | 0 | con->delay | 0 |
| PARAM_VALUE | 0 | con->mutex.dep_map->name | 0-255 |
| 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.wait_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | con->ops->dispatch | 0,4096-ptr_max |
| 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->sock | 1-u64max |
| PARAM_VALUE | 0 | con->sock->sk->ns_tracker->alloc_stack_handle | 0-4294967295 |
| PARAM_VALUE | 0 | con->sock->sk->ns_tracker->dead | 0-1 |
| PARAM_VALUE | 0 | con->sock->sk->ns_tracker->free_stack_handle | 0-4294967295 |
| PARAM_VALUE | 0 | con->sock->sk->sk_lock.wq.head.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | con->sock->sk->sk_memcg->high_work.entry.next->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | con->sock->sk->sk_memcg->high_work.is_queued | 0-1 |
| PARAM_VALUE | 0 | con->sock->sk->sk_protocol | 0-255 |
| PARAM_VALUE | 0 | con->sock->sk->sk_rcu.flags | 0-4294967295 |
| PARAM_VALUE | 0 | con->sock->sk->sk_user_data->work.is_hard | 0-1 |
| PARAM_VALUE | 0 | con->sock->sk->sk_user_data->work.is_lazy | 0-1 |
| PARAM_VALUE | 0 | con->sock->sk->sk_user_data->work.is_soft | 0-1 |
| PARAM_VALUE | 0 | con->state | 12 |
| PARAM_VALUE | 0 | con->v1.auth | 0,4096-ptr_max |
| PARAM_VALUE | 0 | con->v1.auth_retry | 0 |
| PARAM_VALUE | 0 | con->v1.in_base_pos | 26-s32max |
| PARAM_VALUE | 0 | con->v1.in_reply.tag | 13 |
| CAPPED_DATA | 0 | con | 1 |
| DATA_SOURCE | 0 | con | $0 |
| NOCHECK_CALL | |||
| LOCK2 | 0 | &con->mutex | |
| HALF_LOCKED2 | &pool->lock | ||
| TYPE_LOCK | (struct ceph_connection)->mutex |
net/ceph/messenger_v1.c process_connect() -> con_out_kvec_reset()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | con | 4096-ptr_max |
| PARAM_VALUE | 0 | con->mutex.dep_map->name | 0-255 |
| 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.wait_lock.dep_map->name | 0-255 |
| 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,4096-ptr_max |
| PARAM_VALUE | 0 | con->sock | 1-u64max |
| PARAM_VALUE | 0 | con->sock->sk->ns_tracker->alloc_stack_handle | 0-4294967295 |
| PARAM_VALUE | 0 | con->sock->sk->ns_tracker->dead | 0-1 |
| PARAM_VALUE | 0 | con->sock->sk->ns_tracker->free_stack_handle | 0-4294967295 |
| PARAM_VALUE | 0 | con->sock->sk->sk_backlog.head->extensions->refcnt.refs.counter | 1 |
| PARAM_VALUE | 0 | con->sock->sk->sk_backlog_rcv | 0-1770402027252219903,1770402027252219905-3047833183539765247,3047833183539765249-u64max |
| PARAM_VALUE | 0 | con->sock->sk->sk_bpf_storage->owner_refcnt.refs.counter | s32min-s32max |
| PARAM_VALUE | 0 | con->sock->sk->sk_filter->refcnt.refs.counter | s32min-s32max |
| PARAM_VALUE | 0 | con->sock->sk->sk_lock.wq.head.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | con->sock->sk->sk_user_data->work.flags | 0-4294967295 |
| PARAM_VALUE | 0 | con->state | 4 |
| PARAM_VALUE | 0 | con->v1.auth | 4096-ptr_max |
| PARAM_VALUE | 0 | con->v1.in_reply.tag | 16 |
| PARAM_VALUE | 0 | *con->sock->sk->sk_backlog.head->dev->name | 0-255 |
| 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_v1.c process_connect() -> con_out_kvec_reset()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | con | 4096-ptr_max |
| PARAM_VALUE | 0 | con->mutex.dep_map->name | 0-255 |
| 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.wait_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | con->ops->dispatch | 0,4096-ptr_max |
| PARAM_VALUE | 0 | con->ops->peer_reset | 0,4096-ptr_max |
| PARAM_VALUE | 0 | con->sock | 1-u64max |
| PARAM_VALUE | 0 | con->sock->sk->ns_tracker->alloc_stack_handle | 0-4294967295 |
| PARAM_VALUE | 0 | con->sock->sk->ns_tracker->dead | 0-1 |
| PARAM_VALUE | 0 | con->sock->sk->ns_tracker->free_stack_handle | 0-4294967295 |
| PARAM_VALUE | 0 | con->sock->sk->sk_backlog.head->extensions->refcnt.refs.counter | 1 |
| PARAM_VALUE | 0 | con->sock->sk->sk_backlog_rcv | 0-1770402027252219903,1770402027252219905-3047833183539765247,3047833183539765249-u64max |
| PARAM_VALUE | 0 | con->sock->sk->sk_bpf_storage->owner_refcnt.refs.counter | s32min-s32max |
| PARAM_VALUE | 0 | con->sock->sk->sk_filter->refcnt.refs.counter | s32min-s32max |
| PARAM_VALUE | 0 | con->sock->sk->sk_lock.wq.head.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | con->sock->sk->sk_user_data->work.flags | 0-4294967295 |
| PARAM_VALUE | 0 | con->state | 4 |
| PARAM_VALUE | 0 | con->v1.auth_retry | s32min-1,3-s32max |
| PARAM_VALUE | 0 | con->v1.in_reply.tag | 11 |
| PARAM_VALUE | 0 | *con->sock->sk->sk_backlog.head->dev->name | 0-255 |
| 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_v1.c process_connect() -> con_out_kvec_reset()
| 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->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | con->mutex.first_waiter->list.prev->prev | 5159360019465732096 |
| PARAM_VALUE | 0 | con->mutex.wait_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | con->ops->dispatch | 0,4096-ptr_max |
| PARAM_VALUE | 0 | con->ops->peer_reset | 0,4096-ptr_max |
| PARAM_VALUE | 0 | con->out_seq | 0 |
| PARAM_VALUE | 0 | con->sock | 1-u64max |
| PARAM_VALUE | 0 | con->sock->sk->ns_tracker->alloc_stack_handle | 0-4294967295 |
| PARAM_VALUE | 0 | con->sock->sk->ns_tracker->dead | 0-1 |
| PARAM_VALUE | 0 | con->sock->sk->ns_tracker->free_stack_handle | 0-4294967295 |
| PARAM_VALUE | 0 | con->sock->sk->sk_backlog.head->extensions->refcnt.refs.counter | 1 |
| PARAM_VALUE | 0 | con->sock->sk->sk_backlog_rcv | 0-1770402027252219903,1770402027252219905-3047833183539765247,3047833183539765249-u64max |
| PARAM_VALUE | 0 | con->sock->sk->sk_bpf_storage->owner_refcnt.refs.counter | s32min-s32max |
| PARAM_VALUE | 0 | con->sock->sk->sk_filter->refcnt.refs.counter | s32min-s32max |
| PARAM_VALUE | 0 | con->sock->sk->sk_lock.wq.head.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | con->sock->sk->sk_user_data->work.flags | 0-4294967295 |
| PARAM_VALUE | 0 | con->state | 4 |
| PARAM_VALUE | 0 | con->v1.connect_seq | 0 |
| PARAM_VALUE | 0 | con->v1.in_reply.tag | 2 |
| 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.peer_global_seq | 0 |
| PARAM_VALUE | 0 | con->v2.server_cookie | 0 |
| PARAM_VALUE | 0 | *con->sock->sk->sk_backlog.head->dev->name | 0-255 |
| 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_v1.c process_connect() -> con_out_kvec_reset()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | con | 4096-ptr_max |
| PARAM_VALUE | 0 | con->mutex.dep_map->name | 0-255 |
| 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.wait_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | con->ops->dispatch | 0,4096-ptr_max |
| PARAM_VALUE | 0 | con->ops->peer_reset | 0,4096-ptr_max |
| PARAM_VALUE | 0 | con->sock | 1-u64max |
| PARAM_VALUE | 0 | con->sock->sk->ns_tracker->alloc_stack_handle | 0-4294967295 |
| PARAM_VALUE | 0 | con->sock->sk->ns_tracker->dead | 0-1 |
| PARAM_VALUE | 0 | con->sock->sk->ns_tracker->free_stack_handle | 0-4294967295 |
| PARAM_VALUE | 0 | con->sock->sk->sk_backlog.head->extensions->refcnt.refs.counter | 1 |
| PARAM_VALUE | 0 | con->sock->sk->sk_backlog_rcv | 0-1770402027252219903,1770402027252219905-3047833183539765247,3047833183539765249-u64max |
| PARAM_VALUE | 0 | con->sock->sk->sk_bpf_storage->owner_refcnt.refs.counter | s32min-s32max |
| PARAM_VALUE | 0 | con->sock->sk->sk_filter->refcnt.refs.counter | s32min-s32max |
| PARAM_VALUE | 0 | con->sock->sk->sk_lock.wq.head.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | con->sock->sk->sk_user_data->work.flags | 0-4294967295 |
| PARAM_VALUE | 0 | con->state | 4 |
| PARAM_VALUE | 0 | con->v1.in_reply.tag | 4 |
| PARAM_VALUE | 0 | *con->sock->sk->sk_backlog.head->dev->name | 0-255 |
| 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_v1.c process_connect() -> con_out_kvec_reset()
| 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->mutex.dep_map->name | 0-255 |
| 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.wait_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | con->ops->dispatch | 0,4096-ptr_max |
| PARAM_VALUE | 0 | con->ops->peer_reset | 0,4096-ptr_max |
| PARAM_VALUE | 0 | con->sock | 1-u64max |
| PARAM_VALUE | 0 | con->sock->sk->ns_tracker->alloc_stack_handle | 0-4294967295 |
| PARAM_VALUE | 0 | con->sock->sk->ns_tracker->dead | 0-1 |
| PARAM_VALUE | 0 | con->sock->sk->ns_tracker->free_stack_handle | 0-4294967295 |
| PARAM_VALUE | 0 | con->sock->sk->sk_backlog.head->extensions->refcnt.refs.counter | 1 |
| PARAM_VALUE | 0 | con->sock->sk->sk_backlog_rcv | 0-1770402027252219903,1770402027252219905-3047833183539765247,3047833183539765249-u64max |
| PARAM_VALUE | 0 | con->sock->sk->sk_bpf_storage->owner_refcnt.refs.counter | s32min-s32max |
| PARAM_VALUE | 0 | con->sock->sk->sk_filter->refcnt.refs.counter | s32min-s32max |
| PARAM_VALUE | 0 | con->sock->sk->sk_lock.wq.head.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | con->sock->sk->sk_user_data->work.flags | 0-4294967295 |
| PARAM_VALUE | 0 | con->state | 4 |
| PARAM_VALUE | 0 | con->v1.in_reply.tag | 5 |
| PARAM_VALUE | 0 | *con->sock->sk->sk_backlog.head->dev->name | 0-255 |
| 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->v2.out_cursor.resid | 0-u64max |
| LOCK2 | 0 | &con->mutex | |
| HALF_LOCKED2 | &pool->lock | ||
| TYPE_LOCK | (struct ceph_connection)->mutex |
net/ceph/messenger_v1.c write_partial_message_data() -> con_out_kvec_reset()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | con | 4096-ptr_max |
| 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->dispatch | 0,4096-ptr_max |
| PARAM_VALUE | 0 | con->out_msg | 1-u64max |
| PARAM_VALUE | 0 | con->sock | 1-u64max |
| PARAM_VALUE | 0 | con->sock->sk->ns_tracker->alloc_stack_handle | 0-4294967295 |
| PARAM_VALUE | 0 | con->sock->sk->ns_tracker->dead | 0-1 |
| PARAM_VALUE | 0 | con->sock->sk->ns_tracker->free_stack_handle | 0-4294967295 |
| PARAM_VALUE | 0 | con->state | 3-4,12 |
| PARAM_VALUE | 0 | con->v1.out_kvec_left | 0 |
| PARAM_VALUE | 0 | con->v1.out_msg_done | 0 |
| PARAM_VALUE | 0 | con->v1.out_skip | s32min-0 |
| PARAM_VALUE | 0 | *con->sock->sk->sk_backlog.head->dev->name | 0-255 |
| 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 |