Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
net/ceph/messenger_v1.c ceph_con_v1_try_read() -> prepare_read_tag()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | con | 4096-ptr_max |
| PARAM_VALUE | 0 | con->in_msg | 0 |
| PARAM_VALUE | 0 | con->in_msg->con->private->o_ref.refs.counter | s32min-s32max |
| PARAM_VALUE | 0 | con->in_msg->con->private->s_delegated_inos.xa_flags | 0-4294967295 |
| PARAM_VALUE | 0 | con->in_msg->con->private->s_ref.refs.counter | s32min-s32max |
| PARAM_VALUE | 0 | con->in_msg->data_length | 0 |
| PARAM_VALUE | 0 | con->in_msg->num_data_items | 0 |
| PARAM_VALUE | 0 | con->in_msg->pool->front_len | 0-s32max |
| 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->ops | 4096-ptr_max |
| PARAM_VALUE | 0 | con->ops->dispatch | 4096-ptr_max |
| PARAM_VALUE | 0 | con->sock | 1-u64max |
| 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 | 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->private->client->osdc.osdmap->epoch | 1-4294967295 |
| USER_DATA | 0 | con->private->client->osdc.osdmap->flags | 0-4294967295 |
| USER_DATA | 0 | con->private->client->osdc.osdmap->pool_max | 0-4294967295 |
| USER_DATA | 0 | con->private->m_auth->con->v2.out_cursor.resid | s64min-s64max |
| USER_DATA | 0 | con->private->m_auth->con->v2.out_iter.count | s64min-s64max |
| USER_DATA | 0 | con->private->m_subscribe->con->v2.out_cursor.resid | s64min-s64max |
| USER_DATA | 0 | con->private->m_subscribe->con->v2.out_iter.count | s64min-s64max |
| USER_DATA | 0 | con->private->monmap->epoch | 0-4294967295 |
| USER_DATA | 0 | con->private->o_osdc->client->monc.m_subscribe->con->v2.out_cursor.resid | s64min-s64max |
| USER_DATA | 0 | con->private->o_osdc->client->monc.m_subscribe->con->v2.out_iter.count | s64min-s64max |
| USER_DATA | 0 | con->private->o_osdc->osdmap->epoch | 1-4294967295 |
| USER_DATA | 0 | con->private->o_osdc->osdmap->flags | 0-4294967295 |
| USER_DATA | 0 | con->private->o_osdc->osdmap->pool_max | 0-4294967295 |
| 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 | |
| NO_OVERFLOW_SIMPLE | 0 | con->v1.auth->authorizer_buf_len | |
| NO_OVERFLOW_SIMPLE | 0 | con->v1.out_connect.authorizer_len | |
| LOCK2 | 0 | &con->mutex | |
| HALF_LOCKED2 | &pool->lock | ||
| TYPE_LOCK | (struct ceph_connection)->mutex |
net/ceph/messenger_v1.c process_ack() -> prepare_read_tag()
| 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_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->type | 4 |
| PARAM_VALUE | 0 | con->sock->sk->sk_backlog.head->dev->flags | 1-u32max |
| PARAM_VALUE | 0 | con->sock->sk->sk_backlog.head->extensions->refcnt.refs.counter | 1 |
| PARAM_VALUE | 0 | con->sock->sk->sk_dst_cache->callback_head.flags | 0-4294967295 |
| PARAM_VALUE | 0 | con->sock->sk->sk_dst_cache->callback_head.is_hard | 0-1 |
| PARAM_VALUE | 0 | con->sock->sk->sk_dst_cache->callback_head.is_lazy | 0-1 |
| PARAM_VALUE | 0 | con->sock->sk->sk_dst_cache->callback_head.is_queued | 0-1 |
| PARAM_VALUE | 0 | con->sock->sk->sk_dst_cache->callback_head.is_soft | 0-1 |
| PARAM_VALUE | 0 | con->sock->sk->sk_error_queue.next->prev | 2011684551238094848 |
| PARAM_VALUE | 0 | con->sock->sk->sk_filter->refcnt.refs.counter | (-1073741824),0-s32max |
| 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.next | 4096-ptr_max |
| PARAM_VALUE | 0 | con->sock->sk->sk_lock.wq.head.prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | con->sock->sk->sk_owner->refcnt.counter | 0-s32max |
| PARAM_VALUE | 0 | con->sock->sk->sk_reuseport_cb->rcu.flags | 0-4294967295 |
| PARAM_VALUE | 0 | con->state | 12 |
| PARAM_VALUE | 0 | con->v1.in_tag | 8,13 |
| 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 |
| CAPPED_DATA | 0 | con | 1 |
| DATA_SOURCE | 0 | con | $0 |
| FUZZY_MAX | 0 | con->v1.in_tag | 8 |
| BIT_INFO | 0 | con->v1.in_tag | 0x8,0xffffffffffffffff |
| 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() -> prepare_read_tag()
| 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->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 | 12 |
| PARAM_VALUE | 0 | con->v1.auth_retry | 0 |
| PARAM_VALUE | 0 | con->v1.in_reply.tag | 1 |
| 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 read_keepalive_ack() -> prepare_read_tag()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | con | 4096-ptr_max |
| PARAM_VALUE | 0 | con->last_keepalive_ack.tv_nsec | 0-4294967295 |
| PARAM_VALUE | 0 | con->last_keepalive_ack.tv_sec | 0-4294967295 |
| 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_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->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->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.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 | 8-s32max |
| PARAM_VALUE | 0 | con->v1.in_tag | 15 |
| 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 |
| 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 |