Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 2 files:
Smatch caller information:
net/ceph/osdmap.c ceph_osdmap_decode() -> ceph_osdmap_destroy()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | map | 4096-ptr_max |
| PARAM_VALUE | 0 | map->crush_wsm.free_ws | 0 |
| PARAM_VALUE | 0 | map->crush_wsm.total_ws.counter | 0 |
| PARAM_VALUE | 0 | map->crush_wsm.ws_wait.head.next | 4096-ptr_max |
| PARAM_VALUE | 0 | map->crush_wsm.ws_wait.head.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | map->crush_wsm.ws_wait.head.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | map->crush_wsm.ws_wait.head.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | map->crush_wsm.ws_wait.head.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | map->osd_addr | 16,4096-ptr_max |
| PARAM_VALUE | 0 | map->osd_primary_affinity | 0,4096-ptr_max |
| PARAM_VALUE | 0 | map->osd_state | 16,4096-ptr_max |
| PARAM_VALUE | 0 | map->osd_weight | 16,4096-ptr_max |
| PARAM_VALUE | 0 | map->pg_pools.rb_node | 1-u64max |
| PARAM_VALUE | 0 | map->pg_temp.rb_node | 0,4096-ptr_max |
| PARAM_VALUE | 0 | map->pg_upmap.rb_node | 0,4096-ptr_max |
| PARAM_VALUE | 0 | map->pg_upmap_items.rb_node | 0,4096-ptr_max |
| PARAM_VALUE | 0 | map->primary_temp.rb_node | 0,4096-ptr_max |
| BUF_SIZE | 0 | map | 320 |
| DATA_SOURCE | 0 | map | r ceph_osdmap_alloc |
| NOCHECK_CALL | |||
| USER_DATA | 0 | map->epoch | 0-u32max |
| USER_DATA | 0 | map->flags | 0-u32max |
| USER_DATA | 0 | map->pool_max | 0-u32max |
| LOCK2 | &osdc->lock | ||
| HALF_LOCKED2 | &pool->lock | ||
| TYPE_LOCK | (struct ceph_osd_client)->lock |
net/ceph/osd_client.c ceph_osdc_init() -> ceph_osdmap_destroy()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | map | 4096-ptr_max |
| PARAM_VALUE | 0 | map->crush_wsm.free_ws | 0 |
| PARAM_VALUE | 0 | map->crush_wsm.total_ws.counter | 0 |
| PARAM_VALUE | 0 | map->crush_wsm.ws_wait.head.next | 4096-ptr_max |
| PARAM_VALUE | 0 | map->crush_wsm.ws_wait.head.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | map->crush_wsm.ws_wait.head.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | map->crush_wsm.ws_wait.head.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | map->crush_wsm.ws_wait.head.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | map->pool_max | u32max |
| BUF_SIZE | 0 | map | 320 |
| DATA_SOURCE | 0 | map | r ceph_osdmap_alloc |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &of->mutex | ||
| HALF_LOCKED2 | global &client_mutex |
net/ceph/osd_client.c ceph_osdc_stop() -> ceph_osdmap_destroy()
| Type | Parameter | Key | Value |
|---|---|---|---|
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &of->mutex | ||
| HALF_LOCKED2 | global &client_mutex |
net/ceph/osd_client.c handle_one_map() -> ceph_osdmap_destroy()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | map | 4096-ptr_max |
| PARAM_VALUE | 0 | map->epoch | 2-u32max |
| PARAM_VALUE | 0 | map->max_osd | 0-s32max |
| PARAM_VALUE | 0 | map->osd_addr | 16,4096-ptr_max |
| PARAM_VALUE | 0 | map->osd_state | 16,4096-ptr_max |
| PARAM_VALUE | 0 | map->osd_weight | 16,4096-ptr_max |
| PARAM_VALUE | 0 | map->pg_pools.rb_node | 4096-ptr_max |
| PARAM_VALUE | 0 | map->pg_temp.rb_node | 4096-ptr_max |
| PARAM_VALUE | 0 | map->pg_upmap.rb_node | 4096-ptr_max |
| PARAM_VALUE | 0 | map->pg_upmap_items.rb_node | 4096-ptr_max |
| PARAM_VALUE | 0 | map->primary_temp.rb_node | 4096-ptr_max |
| CAPPED_DATA | 0 | map | 1 |
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | map->max_osd | |
| LOCK2 | &osdc->lock | ||
| HALF_LOCKED2 | &pool->lock | ||
| TYPE_LOCK | (struct ceph_osd_client)->lock |