Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

net/ceph/osdmap.c pg_to_raw_osds() -> remove_nonexistent_osds()

Type Parameter Key Value
PARAM_VALUE 0 osdmap 4096-ptr_max
PARAM_VALUE 0 osdmap->crush 4096-ptr_max
PARAM_VALUE 0 osdmap->crush->max_rules 1-u32max
PARAM_VALUE 0 osdmap->crush_wsm.idle_ws.next->next 4096-ptr_max
PARAM_VALUE 0 osdmap->crush_wsm.idle_ws.next->prev 4096-ptr_max
PARAM_VALUE 0 osdmap->crush_wsm.ws_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 osdmap->pg_pools.rb_node 1-u64max
PARAM_VALUE 1 pi 4096-ptr_max
PARAM_VALUE 1 pi->size 0-32
PARAM_VALUE 2 set 324299876590776320,1594041692711854080,1683083318878691328
PARAM_VALUE 2 set->primary (-1)
PARAM_VALUE 2 set->size 0-32
CAPPED_DATA 0 osdmap->crush->max_rules 1
CAPPED_DATA 1 pi->crush_ruleset 1
CAPPED_DATA 1 pi->id 1
CAPPED_DATA 1 pi->pg_num 1
CAPPED_DATA 1 pi->pgp_num 1
CAPPED_DATA 1 pi->size 1
CAPPED_DATA 1 pi->type 1
DATA_SOURCE 0 osdmap $0
DATA_SOURCE 1 pi $1
DATA_SOURCE 2 set $3
FUZZY_MAX 1 pi->size 32
NOSPEC 0 osdmap->epoch
HARD_MAX 1 pi->size 32
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 0 osdmap->epoch 1-u32max
USER_DATA 0 osdmap->flags 0-u32max
USER_DATA 0 osdmap->max_osd 0-s32max[c]
USER_DATA 0 osdmap->pool_max 0-u32max
HALF_LOCKED2 &osdc->lock
TYPE_LOCK (struct ceph_osd_client)->lock