Defined in 1 files as a member:
Defined in 1 files as a function:
Referenced in 4 files:
- drivers/mmc/core/mmc.c, line 184
- drivers/mmc/core/mmc_test.c
- drivers/mmc/core/sd.c
- net/ceph/messenger_v1.c
Smatch caller information:
net/ceph/messenger_v1.c read_keepalive_ack() -> read_partial()
| 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->state | 12 |
| PARAM_VALUE | 0 | con->v1.in_base_pos | 0-s32max |
| PARAM_VALUE | 0 | con->v1.in_tag | 15 |
| PARAM_VALUE | 1 | end | 8 |
| PARAM_VALUE | 2 | size | 8 |
| PARAM_VALUE | 3 | object | 6362547197305016320 |
| BUF_SIZE | 3 | object | 8 |
| CAPPED_DATA | 0 | con | 1 |
| DATA_SOURCE | 0 | con | $0 |
| USER_DATA | 0 | con->v2.out_cursor.resid | 0-u64max |
| UNITS | 1 | end | unit_byte |
| UNITS | 2 | size | unit_byte |
| LOCK2 | 0 | &con->mutex | |
| HALF_LOCKED2 | &pool->lock | ||
| TYPE_LOCK | (struct ceph_connection)->mutex |
net/ceph/messenger_v1.c read_partial_ack() -> read_partial()
| 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->state | 12 |
| PARAM_VALUE | 0 | con->v1.in_base_pos | 0-s32max |
| PARAM_VALUE | 0 | con->v1.in_tag | 8,13 |
| PARAM_VALUE | 1 | end | 8 |
| PARAM_VALUE | 2 | size | 8 |
| PARAM_VALUE | 3 | object | 4096-ptr_max |
| BUF_SIZE | 3 | object | 8 |
| CAPPED_DATA | 0 | con | 1 |
| DATA_SOURCE | 0 | con | $0 |
| PARAM_COMPARE | 1 | end | == $2 |
| PARAM_COMPARE | 2 | size | == $1 |
| BIT_INFO | 0 | con->v1.in_tag | 0x8,0xd |
| USER_DATA | 0 | con->v2.out_cursor.resid | 0-u64max |
| UNITS | 1 | end | unit_byte |
| UNITS | 2 | size | unit_byte |
| LOCK2 | 0 | &con->mutex | |
| HALF_LOCKED2 | &pool->lock | ||
| TYPE_LOCK | (struct ceph_connection)->mutex |
net/ceph/messenger_v1.c read_partial_banner() -> read_partial()
| 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->ops->peer_reset | 0,2747659020159242240 |
| 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 |
| PARAM_VALUE | 1 | end | 9 |
| PARAM_VALUE | 2 | size | 9 |
| BUF_SIZE | 3 | object | 30 |
| CAPPED_DATA | 0 | con | 1 |
| DATA_SOURCE | 0 | con | $0 |
| DATA_SOURCE | 2 | size | r __builtin_strlen |
| PARAM_COMPARE | 1 | end | == $2 |
| PARAM_COMPARE | 2 | size | == $1 |
| 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 read_partial_banner() -> read_partial()
| 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->ops->peer_reset | 0,2747659020159242240 |
| PARAM_VALUE | 0 | con->sock | 1-u64max |
| PARAM_VALUE | 0 | con->sock->sk->__sk_common.skc_net.net->mctp.bind_lock.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | con->sock->sk->__sk_common.skc_net.net->notrefcnt_tracker.dead | 1 |
| PARAM_VALUE | 0 | con->sock->sk->__sk_common.skc_net.net->notrefcnt_tracker.quarantine.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | con->sock->sk->__sk_common.skc_net.net->refcnt_tracker.dead | 1 |
| PARAM_VALUE | 0 | con->sock->sk->__sk_common.skc_node.next->pprev | 1-u64max |
| PARAM_VALUE | 0 | con->sock->sk->__sk_common.skc_prot->h.smc_hash->lock.owner | (-1) |
| PARAM_VALUE | 0 | con->sock->sk->__sk_common.skc_prot->h.smc_hash->lock.owner_cpu | 4294967295 |
| PARAM_VALUE | 0 | con->sock->sk->__sk_common.skc_prot->h.smc_hash->lock.raw_lock.cnts.counter | 0-s32max |
| PARAM_VALUE | 0 | con->sock->sk->__sk_common.skc_prot->h.smc_hash->lock.raw_lock.wlocked | 0 |
| PARAM_VALUE | 0 | con->sock->sk->__sk_common.skc_u16hashes | 0-u32max |
| 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->cb->cfm_prim | 0 |
| PARAM_VALUE | 0 | con->sock->sk->sk_backlog.head->cb->ind_prim | 0 |
| PARAM_VALUE | 0 | con->sock->sk->sk_backlog.head->cb->reason | 0 |
| PARAM_VALUE | 0 | con->sock->sk->sk_backlog.head->cb->type | 4 |
| PARAM_VALUE | 0 | con->sock->sk->sk_backlog.head->dev->flags | 1-u32max |
| PARAM_VALUE | 0 | con->sock->sk->sk_dst_cache->callback_head.func | 1-u64max |
| PARAM_VALUE | 0 | con->sock->sk->sk_dst_cache->callback_head.next | 0 |
| PARAM_VALUE | 0 | con->sock->sk->sk_dst_cache->ops->pcpuc_entries.lock.owner | (-1) |
| PARAM_VALUE | 0 | con->sock->sk->sk_dst_cache->ops->pcpuc_entries.lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | con->sock->sk->sk_error_queue.next->prev | 2011684551238094848 |
| PARAM_VALUE | 0 | con->sock->sk->sk_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | con->sock->sk->sk_lock.owned | 0 |
| PARAM_VALUE | 0 | con->sock->sk->sk_lock.slock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | con->sock->sk->sk_lock.wq.head.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | con->sock->sk->sk_prot_creator->owner->refcnt.counter | 0-s32max |
| PARAM_VALUE | 0 | con->sock->sk->sk_reuseport_cb->rcu.is_hard | 0-1 |
| PARAM_VALUE | 0 | con->sock->sk->sk_reuseport_cb->rcu.is_lazy | 0-1 |
| PARAM_VALUE | 0 | con->sock->sk->sk_reuseport_cb->rcu.is_soft | 0-1 |
| PARAM_VALUE | 0 | con->sock->sk->sk_user_data->work.is_queued | 0-1 |
| PARAM_VALUE | 0 | con->sock->sk->tcp_retransmit_timer->entry.pprev | 4096-ptr_max |
| PARAM_VALUE | 0 | con->state | 3 |
| PARAM_VALUE | 0 | con->v1.in_base_pos | 9-s32max |
| PARAM_VALUE | 0 | *con->sock->sk->sk_backlog.head->cb->data_end | (-4611686018427387904)-4611686018427387903 |
| PARAM_VALUE | 0 | *con->sock->sk->sk_backlog.head->data->hdr | 0-4294967295 |
| PARAM_VALUE | 0 | *con->sock->sk->sk_backlog.head->dev->name | 0-255 |
| PARAM_VALUE | 1 | end | 145 |
| PARAM_VALUE | 2 | size | 136 |
| PARAM_VALUE | 3 | object | 4096-ptr_max |
| BUF_SIZE | 3 | object | 136 |
| CAPPED_DATA | 0 | con | 1 |
| DATA_SOURCE | 0 | con | $0 |
| USER_DATA | 0 | con->v2.out_cursor.resid | 0-u64max |
| UNITS | 2 | size | unit_byte |
| LOCK2 | 0 | &con->mutex | |
| HALF_LOCKED2 | &pool->lock | ||
| TYPE_LOCK | (struct ceph_connection)->mutex |
net/ceph/messenger_v1.c read_partial_banner() -> read_partial()
| 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->ops->peer_reset | 0,2747659020159242240 |
| PARAM_VALUE | 0 | con->sock | 1-u64max |
| PARAM_VALUE | 0 | con->sock->sk->__sk_common.skc_net.net->mctp.bind_lock.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | con->sock->sk->__sk_common.skc_net.net->notrefcnt_tracker.dead | 1 |
| PARAM_VALUE | 0 | con->sock->sk->__sk_common.skc_net.net->notrefcnt_tracker.quarantine.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | con->sock->sk->__sk_common.skc_net.net->refcnt_tracker.dead | 1 |
| PARAM_VALUE | 0 | con->sock->sk->__sk_common.skc_node.next->pprev | 1-u64max |
| PARAM_VALUE | 0 | con->sock->sk->__sk_common.skc_prot->h.smc_hash->lock.owner | (-1) |
| PARAM_VALUE | 0 | con->sock->sk->__sk_common.skc_prot->h.smc_hash->lock.owner_cpu | 4294967295 |
| PARAM_VALUE | 0 | con->sock->sk->__sk_common.skc_prot->h.smc_hash->lock.raw_lock.cnts.counter | 0-s32max |
| PARAM_VALUE | 0 | con->sock->sk->__sk_common.skc_prot->h.smc_hash->lock.raw_lock.wlocked | 0 |
| PARAM_VALUE | 0 | con->sock->sk->__sk_common.skc_u16hashes | 0-u32max |
| 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->cb->cfm_prim | 0 |
| PARAM_VALUE | 0 | con->sock->sk->sk_backlog.head->cb->ind_prim | 0 |
| PARAM_VALUE | 0 | con->sock->sk->sk_backlog.head->cb->reason | 0 |
| PARAM_VALUE | 0 | con->sock->sk->sk_backlog.head->cb->type | 4 |
| PARAM_VALUE | 0 | con->sock->sk->sk_backlog.head->dev->flags | 1-u32max |
| PARAM_VALUE | 0 | con->sock->sk->sk_dst_cache->callback_head.func | 1-u64max |
| PARAM_VALUE | 0 | con->sock->sk->sk_dst_cache->callback_head.next | 0 |
| PARAM_VALUE | 0 | con->sock->sk->sk_dst_cache->ops->pcpuc_entries.lock.owner | (-1) |
| PARAM_VALUE | 0 | con->sock->sk->sk_dst_cache->ops->pcpuc_entries.lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | con->sock->sk->sk_error_queue.next->prev | 2011684551238094848 |
| PARAM_VALUE | 0 | con->sock->sk->sk_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | con->sock->sk->sk_lock.owned | 0 |
| PARAM_VALUE | 0 | con->sock->sk->sk_lock.slock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | con->sock->sk->sk_lock.wq.head.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | con->sock->sk->sk_prot_creator->owner->refcnt.counter | 0-s32max |
| PARAM_VALUE | 0 | con->sock->sk->sk_reuseport_cb->rcu.is_hard | 0-1 |
| PARAM_VALUE | 0 | con->sock->sk->sk_reuseport_cb->rcu.is_lazy | 0-1 |
| PARAM_VALUE | 0 | con->sock->sk->sk_reuseport_cb->rcu.is_soft | 0-1 |
| PARAM_VALUE | 0 | con->sock->sk->sk_user_data->work.is_queued | 0-1 |
| PARAM_VALUE | 0 | con->sock->sk->tcp_retransmit_timer->entry.pprev | 4096-ptr_max |
| PARAM_VALUE | 0 | con->state | 3 |
| PARAM_VALUE | 0 | con->v1.actual_peer_addr.type | 1 |
| PARAM_VALUE | 0 | con->v1.in_base_pos | 145-s32max |
| PARAM_VALUE | 0 | *con->sock->sk->sk_backlog.head->cb->data_end | (-4611686018427387904)-4611686018427387903 |
| PARAM_VALUE | 0 | *con->sock->sk->sk_backlog.head->data->hdr | 0-4294967295 |
| PARAM_VALUE | 0 | *con->sock->sk->sk_backlog.head->dev->name | 0-255 |
| PARAM_VALUE | 1 | end | 281 |
| PARAM_VALUE | 2 | size | 136 |
| PARAM_VALUE | 3 | object | 4096-ptr_max |
| BUF_SIZE | 3 | object | 136 |
| CAPPED_DATA | 0 | con | 1 |
| DATA_SOURCE | 0 | con | $0 |
| USER_DATA | 0 | con->v1.actual_peer_addr.in_addr.ss_family | 0-u16max |
| USER_DATA | 0 | con->v2.out_cursor.resid | 0-u64max |
| UNITS | 2 | size | unit_byte |
| LOCK2 | 0 | &con->mutex | |
| HALF_LOCKED2 | &pool->lock | ||
| TYPE_LOCK | (struct ceph_connection)->mutex |
net/ceph/messenger_v1.c read_partial_connect() -> read_partial()
| 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->state | 4 |
| PARAM_VALUE | 1 | end | 26 |
| PARAM_VALUE | 2 | size | 26 |
| PARAM_VALUE | 3 | object | 4096-ptr_max |
| BUF_SIZE | 3 | object | 26 |
| CAPPED_DATA | 0 | con | 1 |
| DATA_SOURCE | 0 | con | $0 |
| PARAM_COMPARE | 1 | end | == $2 |
| PARAM_COMPARE | 2 | size | == $1 |
| USER_DATA | 0 | con->v2.out_cursor.resid | 0-u64max |
| UNITS | 1 | end | unit_byte |
| UNITS | 2 | size | unit_byte |
| LOCK2 | 0 | &con->mutex | |
| HALF_LOCKED2 | &pool->lock | ||
| TYPE_LOCK | (struct ceph_connection)->mutex |
net/ceph/messenger_v1.c read_partial_connect() -> read_partial()
| 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->__sk_common.skc_net.net->mctp.bind_lock.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | con->sock->sk->__sk_common.skc_net.net->notrefcnt_tracker.dead | 1 |
| PARAM_VALUE | 0 | con->sock->sk->__sk_common.skc_net.net->notrefcnt_tracker.quarantine.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | con->sock->sk->__sk_common.skc_net.net->refcnt_tracker.dead | 1 |
| PARAM_VALUE | 0 | con->sock->sk->__sk_common.skc_node.next->pprev | 1-u64max |
| PARAM_VALUE | 0 | con->sock->sk->__sk_common.skc_prot->h.smc_hash->lock.owner | (-1) |
| PARAM_VALUE | 0 | con->sock->sk->__sk_common.skc_prot->h.smc_hash->lock.owner_cpu | 4294967295 |
| PARAM_VALUE | 0 | con->sock->sk->__sk_common.skc_prot->h.smc_hash->lock.raw_lock.cnts.counter | 0-s32max |
| PARAM_VALUE | 0 | con->sock->sk->__sk_common.skc_prot->h.smc_hash->lock.raw_lock.wlocked | 0 |
| PARAM_VALUE | 0 | con->sock->sk->__sk_common.skc_u16hashes | 0-u32max |
| 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->cb->cfm_prim | 0 |
| PARAM_VALUE | 0 | con->sock->sk->sk_backlog.head->cb->ind_prim | 0 |
| PARAM_VALUE | 0 | con->sock->sk->sk_backlog.head->cb->reason | 0 |
| PARAM_VALUE | 0 | con->sock->sk->sk_backlog.head->cb->type | 4 |
| PARAM_VALUE | 0 | con->sock->sk->sk_backlog.head->dev->flags | 1-u32max |
| PARAM_VALUE | 0 | con->sock->sk->sk_dst_cache->callback_head.func | 1-u64max |
| PARAM_VALUE | 0 | con->sock->sk->sk_dst_cache->callback_head.next | 0 |
| PARAM_VALUE | 0 | con->sock->sk->sk_dst_cache->ops->pcpuc_entries.lock.owner | (-1) |
| PARAM_VALUE | 0 | con->sock->sk->sk_dst_cache->ops->pcpuc_entries.lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | con->sock->sk->sk_error_queue.next->prev | 2011684551238094848 |
| PARAM_VALUE | 0 | con->sock->sk->sk_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | con->sock->sk->sk_lock.owned | 0 |
| PARAM_VALUE | 0 | con->sock->sk->sk_lock.slock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | con->sock->sk->sk_lock.wq.head.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | con->sock->sk->sk_prot_creator->owner->refcnt.counter | 0-s32max |
| PARAM_VALUE | 0 | con->sock->sk->sk_reuseport_cb->rcu.is_hard | 0-1 |
| PARAM_VALUE | 0 | con->sock->sk->sk_reuseport_cb->rcu.is_lazy | 0-1 |
| PARAM_VALUE | 0 | con->sock->sk->sk_reuseport_cb->rcu.is_soft | 0-1 |
| PARAM_VALUE | 0 | con->sock->sk->sk_user_data->work.is_queued | 0-1 |
| PARAM_VALUE | 0 | con->sock->sk->tcp_retransmit_timer->entry.pprev | 4096-ptr_max |
| PARAM_VALUE | 0 | con->state | 4 |
| PARAM_VALUE | 0 | con->v1.auth | 4096-ptr_max |
| PARAM_VALUE | 0 | con->v1.in_base_pos | 26-s32max |
| PARAM_VALUE | 0 | *con->sock->sk->sk_backlog.head->cb->data_end | (-4611686018427387904)-4611686018427387903 |
| PARAM_VALUE | 0 | *con->sock->sk->sk_backlog.head->data->hdr | 0-4294967295 |
| PARAM_VALUE | 0 | *con->sock->sk->sk_backlog.head->dev->name | 0-255 |
| BUF_SIZE | 3 | object | 128 |
| CAPPED_DATA | 0 | con | 1 |
| CAPPED_DATA | 2 | size | 1 |
| DATA_SOURCE | 0 | con | $0 |
| PARAM_COMPARE | 0 | con->v1.auth->authorizer_reply_buf_len | >= $2 |
| PARAM_COMPARE | 2 | size | <= $0->v1.auth->authorizer_reply_buf_len |
| USER_DATA | 0 | con->v2.out_cursor.resid | 0-u64max |
| UNITS | 1 | end | unit_byte |
| UNITS | 2 | size | unit_byte |
| LOCK2 | 0 | &con->mutex | |
| HALF_LOCKED2 | &pool->lock | ||
| TYPE_LOCK | (struct ceph_connection)->mutex |
net/ceph/messenger_v1.c read_partial_message() -> read_partial()
| 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->state | 12 |
| PARAM_VALUE | 0 | con->v1.in_base_pos | 0-s32max |
| PARAM_VALUE | 0 | con->v1.in_tag | 7 |
| PARAM_VALUE | 1 | end | 53 |
| PARAM_VALUE | 2 | size | 53 |
| PARAM_VALUE | 3 | object | 4096-ptr_max |
| BUF_SIZE | 3 | object | 53 |
| CAPPED_DATA | 0 | con | 1 |
| DATA_SOURCE | 0 | con | $0 |
| PARAM_COMPARE | 1 | end | == $2 |
| PARAM_COMPARE | 2 | size | == $1 |
| USER_DATA | 0 | con->v2.out_cursor.resid | 0-u64max |
| UNITS | 1 | end | unit_byte |
| UNITS | 2 | size | unit_byte |
| LOCK2 | 0 | &con->mutex | |
| HALF_LOCKED2 | &pool->lock | ||
| TYPE_LOCK | (struct ceph_connection)->mutex |
net/ceph/messenger_v1.c read_partial_message() -> read_partial()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | con | 4096-ptr_max |
| PARAM_VALUE | 0 | con->in_msg | 1-u64max |
| PARAM_VALUE | 0 | con->in_msg->front.iov_len | 1-u64max |
| 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->alloc_msg | 0,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->__sk_common.skc_net.net->mctp.bind_lock.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | con->sock->sk->__sk_common.skc_net.net->notrefcnt_tracker.dead | 1 |
| PARAM_VALUE | 0 | con->sock->sk->__sk_common.skc_net.net->notrefcnt_tracker.quarantine.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | con->sock->sk->__sk_common.skc_net.net->refcnt_tracker.dead | 1 |
| PARAM_VALUE | 0 | con->sock->sk->__sk_common.skc_node.next->pprev | 1-u64max |
| PARAM_VALUE | 0 | con->sock->sk->__sk_common.skc_prot->h.smc_hash->lock.owner | (-1) |
| PARAM_VALUE | 0 | con->sock->sk->__sk_common.skc_prot->h.smc_hash->lock.owner_cpu | 4294967295 |
| PARAM_VALUE | 0 | con->sock->sk->__sk_common.skc_prot->h.smc_hash->lock.raw_lock.cnts.counter | 0-s32max |
| PARAM_VALUE | 0 | con->sock->sk->__sk_common.skc_prot->h.smc_hash->lock.raw_lock.wlocked | 0 |
| PARAM_VALUE | 0 | con->sock->sk->__sk_common.skc_u16hashes | 0-u32max |
| 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->cb->cfm_prim | 0 |
| PARAM_VALUE | 0 | con->sock->sk->sk_backlog.head->cb->ind_prim | 0 |
| PARAM_VALUE | 0 | con->sock->sk->sk_backlog.head->cb->reason | 0 |
| PARAM_VALUE | 0 | con->sock->sk->sk_backlog.head->cb->type | 4 |
| PARAM_VALUE | 0 | con->sock->sk->sk_backlog.head->dev->flags | 1-u32max |
| PARAM_VALUE | 0 | con->sock->sk->sk_dst_cache->callback_head.func | 1-u64max |
| PARAM_VALUE | 0 | con->sock->sk->sk_dst_cache->callback_head.next | 0 |
| PARAM_VALUE | 0 | con->sock->sk->sk_dst_cache->ops->pcpuc_entries.lock.owner | (-1) |
| PARAM_VALUE | 0 | con->sock->sk->sk_dst_cache->ops->pcpuc_entries.lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | con->sock->sk->sk_error_queue.next->prev | 2011684551238094848 |
| PARAM_VALUE | 0 | con->sock->sk->sk_lock.owned | 0 |
| PARAM_VALUE | 0 | con->sock->sk->sk_lock.slock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | con->sock->sk->sk_lock.wq.head.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | con->sock->sk->sk_prot_creator->owner->refcnt.counter | 0-s32max |
| PARAM_VALUE | 0 | con->sock->sk->sk_reuseport_cb->rcu.is_hard | 0-1 |
| PARAM_VALUE | 0 | con->sock->sk->sk_reuseport_cb->rcu.is_lazy | 0-1 |
| PARAM_VALUE | 0 | con->sock->sk->sk_reuseport_cb->rcu.is_soft | 0-1 |
| PARAM_VALUE | 0 | con->sock->sk->sk_user_data->work.is_queued | 0-1 |
| PARAM_VALUE | 0 | con->sock->sk->tcp_retransmit_timer->entry.pprev | 4096-ptr_max |
| PARAM_VALUE | 0 | con->state | 12 |
| PARAM_VALUE | 0 | con->v1.in_base_pos | 53-s32max |
| PARAM_VALUE | 0 | con->v1.in_hdr.data_len | 0-67108864 |
| PARAM_VALUE | 0 | con->v1.in_hdr.front_len | 0-s32max |
| PARAM_VALUE | 0 | con->v1.in_hdr.middle_len | 0-16777216 |
| PARAM_VALUE | 0 | con->v1.in_tag | 7 |
| PARAM_VALUE | 0 | *con->sock->sk->sk_backlog.head->cb->data_end | (-4611686018427387904)-4611686018427387903 |
| PARAM_VALUE | 0 | *con->sock->sk->sk_backlog.head->data->hdr | 0-4294967295 |
| PARAM_VALUE | 0 | *con->sock->sk->sk_backlog.head->dev->name | 0-255 |
| PARAM_VALUE | 1 | end | 66,74 |
| PARAM_VALUE | 2 | size | 13,21 |
| PARAM_VALUE | 3 | object | 4096-ptr_max |
| BUF_SIZE | 3 | object | 21 |
| CAPPED_DATA | 0 | con | 1 |
| CAPPED_DATA | 0 | con->v1.in_hdr.crc | 1 |
| DATA_SOURCE | 0 | con | $0 |
| DATA_SOURCE | 2 | size | r sizeof_footer |
| USER_DATA | 0 | con->in_msg->cursor.bio_iter.iter.bi_bvec_done | 1-4096[c] |
| USER_DATA | 0 | con->in_msg->cursor.bvec_iter.bi_size | 1-s32max[c] |
| USER_DATA | 0 | con->in_msg->cursor.iov_iter.count | 0-u64max |
| USER_DATA | 0 | con->in_msg->cursor.iov_iter.iov_offset | 0-u64max[c] |
| USER_DATA | 0 | con->in_msg->cursor.lastlen | 1-4096[c] |
| USER_DATA | 0 | con->in_msg->cursor.need_crc | 0-1 |
| USER_DATA | 0 | con->in_msg->cursor.page_offset | 0-2559[c] |
| USER_DATA | 0 | con->in_msg->cursor.resid | 0-u64max |
| USER_DATA | 0 | con->v2.out_cursor.resid | 0-u64max |
| UNITS | 1 | end | unit_byte |
| UNITS | 2 | size | unit_byte |
| LOCK2 | 0 | &con->mutex | |
| HALF_LOCKED2 | &pool->lock | ||
| TYPE_LOCK | (struct ceph_connection)->mutex |