Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/ceph/osd_client.c __submit_request() -> send_map_check()

Type Parameter Key Value
PARAM_VALUE 0 req 4096-ptr_max
PARAM_VALUE 0 req->r_node.__rb_parent_color 1
PARAM_VALUE 0 req->r_node.rb_left 4096-ptr_max
PARAM_VALUE 0 req->r_node.rb_right 4096-ptr_max
PARAM_VALUE 0 req->r_ops->copy_from.osd_data.type 0-5
PARAM_VALUE 0 req->r_ops->list_watchers.response_data.type 0-5
PARAM_VALUE 0 req->r_ops->notify.request_data.type 0-5
PARAM_VALUE 0 req->r_ops->notify.response_data.type 0-5
PARAM_VALUE 0 req->r_ops->notify_ack.request_data.type 0-5
PARAM_VALUE 0 req->r_osd 4096-ptr_max
PARAM_VALUE 0 req->r_osd->lock.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 req->r_osd->lock.osq.tail.counter 0-s32max
PARAM_VALUE 0 req->r_osd->o_osdc 4096-ptr_max
PARAM_VALUE 0 req->r_osd->o_ref.refs.counter (-1073741824),0-s32max
PARAM_VALUE 0 req->r_osd->o_requests.rb_node 4096-ptr_max
PARAM_VALUE 0 req->r_osdc->abort_err 0
PARAM_VALUE 0 req->r_osdc->client 4096-ptr_max
PARAM_VALUE 0 req->r_osdc->client->monc.con->private->o_auth.authorizer->session_key.key (-4611686018427387904)-4611686018427387903
PARAM_VALUE 0 req->r_osdc->client->monc.con->private->o_auth.authorizer->session_key.krb5_tfms 0
PARAM_VALUE 0 req->r_osdc->client->monc.con.out_queue.prev 4096-ptr_max
PARAM_VALUE 0 req->r_osdc->client->monc.con.out_queue.prev->next 4096-ptr_max
PARAM_VALUE 0 req->r_osdc->client->monc.con.out_queue.prev->next->next 4096-ptr_max
PARAM_VALUE 0 req->r_osdc->client->monc.con.private->o_auth.authorizer->buf 0
PARAM_VALUE 0 req->r_osdc->client->monc.con.private->o_auth.authorizer->session_key.aes_tfm 0
PARAM_VALUE 0 req->r_osdc->client->monc.con.private->o_auth.authorizer->session_key.key 0
PARAM_VALUE 0 req->r_osdc->client->monc.con.private->o_ref.refs.counter s32min-s32max
PARAM_VALUE 0 req->r_osdc->client->monc.con.private->o_sparse_read.sr_count 0
PARAM_VALUE 0 req->r_osdc->client->monc.con.private->o_sparse_read.sr_datalen 0
PARAM_VALUE 0 req->r_osdc->client->monc.con.private->o_sparse_read.sr_ext_len 0
PARAM_VALUE 0 req->r_osdc->client->monc.con.private->o_sparse_read.sr_extent 0
PARAM_VALUE 0 req->r_osdc->client->monc.con.private->o_sparse_read.sr_index 0
PARAM_VALUE 0 req->r_osdc->client->monc.con.private->o_sparse_read.sr_pos 0
PARAM_VALUE 0 req->r_osdc->client->monc.con.private->o_sparse_read.sr_req_len 0
PARAM_VALUE 0 req->r_osdc->client->monc.con.private->o_sparse_read.sr_req_off 0
PARAM_VALUE 0 req->r_osdc->client->monc.con.private->o_sparse_read.sr_state 0
PARAM_VALUE 0 req->r_osdc->client->monc.con.private->s_auth.authorizer->buf 0
PARAM_VALUE 0 req->r_osdc->client->monc.con.private->s_auth.authorizer->session_key.aes_tfm 0
PARAM_VALUE 0 req->r_osdc->client->monc.con.private->s_auth.authorizer->session_key.key 0
PARAM_VALUE 0 req->r_osdc->client->monc.con.private->s_delegated_inos.xa_flags 0-4294967295
PARAM_VALUE 0 req->r_osdc->client->monc.con.private->s_delegated_inos.xa_head 0
PARAM_VALUE 0 req->r_osdc->client->monc.con.private->s_ref.refs.counter s32min-s32max
PARAM_VALUE 0 req->r_osdc->client->monc.con.work->timer->entry.pprev 4096-ptr_max
PARAM_VALUE 0 req->r_osdc->client->monc.con.work.work.entry.next->prev 4096-ptr_max
PARAM_VALUE 0 req->r_osdc->client->monc.m_subscribe->con->private->o_ref.refs.counter s32min-s32max
PARAM_VALUE 0 req->r_osdc->client->monc.m_subscribe->con->private->s_delegated_inos.xa_flags 0-4294967295
PARAM_VALUE 0 req->r_osdc->client->monc.m_subscribe->con->private->s_ref.refs.counter s32min-s32max
PARAM_VALUE 0 req->r_osdc->client->monc.m_subscribe->con->v2.out_bvec.bv_len 1-4096,2147483648-u32max
PARAM_VALUE 0 req->r_osdc->client->monc.m_subscribe->con->v2.out_epil.late_status 1,14
PARAM_VALUE 0 req->r_osdc->client->monc.m_subscribe->con->v2.out_kvec_cnt 1-8
PARAM_VALUE 0 req->r_osdc->client->monc.m_subscribe->con->v2.out_state s32min-0,3-s32max
PARAM_VALUE 0 req->r_osdc->client->monc.m_subscribe->hdr.version 2
PARAM_VALUE 0 req->r_osdc->client->monc.m_subscribe->list_head.next 4096-ptr_max
PARAM_VALUE 0 req->r_osdc->client->monc.m_subscribe->list_head.next->next 4096-ptr_max
PARAM_VALUE 0 req->r_osdc->client->monc.m_subscribe->list_head.next->prev 4096-ptr_max
PARAM_VALUE 0 req->r_osdc->client->monc.m_subscribe->list_head.prev 4096-ptr_max
PARAM_VALUE 0 req->r_osdc->client->monc.m_subscribe->list_head.prev->next 4096-ptr_max
PARAM_VALUE 0 req->r_osdc->client->monc.m_subscribe->list_head.prev->prev 4096-ptr_max
PARAM_VALUE 0 req->r_osdc->lock.first_waiter->handoff_set 0-1
PARAM_VALUE 0 req->r_osdc->lock.first_waiter->type 0-1
PARAM_VALUE 0 req->r_osdc->osdmap 4096-ptr_max
PARAM_VALUE 0 req->r_osdc->osdmap->crush_wsm.idle_ws.next->next 4096-ptr_max
PARAM_VALUE 0 req->r_osdc->osdmap->crush_wsm.idle_ws.next->prev 4096-ptr_max
PARAM_VALUE 0 req->r_osdc->osdmap->crush_wsm.ws_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 req->r_osdc->osdmap->max_osd 1-u32max
BUF_SIZE 0 req (-1)-s32max
BUF_SIZE 0 req (-1)-s32max
BUF_SIZE 0 req->r_osdc (-1),3384
BUF_SIZE 0 req->r_priv (-1),1-s32max
CAPPED_DATA 0 req->r_t.osd 1
DATA_SOURCE 0 req $0
STR_LEN 0 req->r_osdc (-1),3,8
BIT_INFO 0 req->r_tid 0x0,0x7fffffffffffffff
NOSPEC 0 req->r_t.epoch
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 req->r_data_offset 0-u64max
USER_DATA 0 req->r_inode->i_blocks 0-18014398509481984[c]
USER_DATA 0 req->r_inode->i_size s64min-9223372036854775806
USER_DATA 0 req->r_osdc->client->monc.m_subscribe->con->v2.out_cursor.resid 0-u64max
USER_DATA 0 req->r_osdc->client->monc.m_subscribe->con->v2.out_iter.count 0-5294967296,18446744071562067969-u64max
USER_DATA 0 req->r_reply->con->v2.in_cursor.lastlen 1-4096[c]
USER_DATA 0 req->r_reply->con->v2.in_cursor.need_crc 0-1
USER_DATA 0 req->r_reply->con->v2.in_cursor.page_offset 0-2559[c]
USER_DATA 0 req->r_reply->con->v2.in_cursor.resid 0-u64max
USER_DATA 0 req->r_reply->con->v2.in_iter.count 0
USER_DATA 0 req->r_request->con->v2.out_cursor.lastlen 1-4096[c]
USER_DATA 0 req->r_request->con->v2.out_cursor.need_crc 0-1
USER_DATA 0 req->r_request->con->v2.out_cursor.page_offset 0-2559[c]
USER_DATA 0 req->r_request->con->v2.out_cursor.resid 0-u64max
USER_DATA 0 req->r_request->con->v2.out_iter.count 0-9589934592,18446744071562067969-u64max
USER_DATA 0 req->r_request->hdr.data_off 0-u16max
USER_DATA 0 req->r_t.epoch 1-u32max
USER_DATA 0 req->r_t.paused 0-1[c]
USER_DATA 0 req->r_t.recovery_deletes 0-1[c]
USER_DATA 0 req->r_t.sort_bitwise 0-1[c]
USER_DATA 0 req->r_t.target_oloc.pool (-1)
NO_OVERFLOW_SIMPLE 0 req->r_inode->i_bytes
NO_OVERFLOW_SIMPLE 0 req->r_reply->front.iov_len
NO_OVERFLOW_SIMPLE 0 req->r_reply->hdr.front_len
NO_OVERFLOW_SIMPLE 0 req->r_reply->max_data_items
NO_OVERFLOW_SIMPLE 0 req->r_request->front.iov_len
NO_OVERFLOW_SIMPLE 0 req->r_request->hdr.front_len
NO_OVERFLOW_SIMPLE 0 req->r_request->max_data_items
LOCK2 &osdc->lock
HALF_LOCKED2 &osdc->lock
TYPE_LOCK (struct ceph_osd_client)->lock

net/ceph/osd_client.c check_pool_dne() -> send_map_check()

Type Parameter Key Value
PARAM_VALUE 0 req 4096-ptr_max
PARAM_VALUE 0 req->r_map_dne_bound 0
PARAM_VALUE 0 req->r_osdc 4096-ptr_max
DATA_SOURCE 0 req $0
NOSPEC 0 req->r_t.epoch
NOCHECK_CALL
USER_DATA 0 req->r_map_dne_bound 0
USER_DATA 0 req->r_t.epoch 1-u32max
USER_DATA 0 req->r_t.paused 0-1[c]
USER_DATA 0 req->r_t.recovery_deletes 0-1[c]
USER_DATA 0 req->r_t.sort_bitwise 0-1[c]
UNITS 0 req unit_byte
LOCK2 &osdc->lock
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct ceph_osd_client)->lock