Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/md/dm-thin.c pool_create() -> __pool_table_insert()

Type Parameter Key Value
PARAM_VALUE 0 pool 4096-ptr_max
PARAM_VALUE 0 pool->active_thins.next 4096-ptr_max
PARAM_VALUE 0 pool->active_thins.next->next 4096-ptr_max
PARAM_VALUE 0 pool->active_thins.prev 4096-ptr_max
PARAM_VALUE 0 pool->active_thins.prev->next 4096-ptr_max
PARAM_VALUE 0 pool->active_thins.prev->prev 4096-ptr_max
PARAM_VALUE 0 pool->all_io_ds 4096-ptr_max
PARAM_VALUE 0 pool->all_io_ds->current_entry 0
PARAM_VALUE 0 pool->all_io_ds->sweeper 0
PARAM_VALUE 0 pool->cell_sort_array 1-u64max
PARAM_VALUE 0 pool->copier 4096-ptr_max
PARAM_VALUE 0 pool->copier->io_client->bios.back_pad 0,64
PARAM_VALUE 0 pool->copier->io_client->bios.bio_pool.alloc 7276475779886346240
PARAM_VALUE 0 pool->copier->io_client->bios.bio_pool.curr_nr 1-s32max
PARAM_VALUE 0 pool->copier->io_client->bios.bio_pool.free 8263660038527102976
PARAM_VALUE 0 pool->copier->io_client->bios.bio_pool.min_nr 1-1024
PARAM_VALUE 0 pool->copier->io_client->bios.bvec_pool.alloc 7276475779886346240
PARAM_VALUE 0 pool->copier->io_client->bios.bvec_pool.curr_nr 1-s32max
PARAM_VALUE 0 pool->copier->io_client->bios.bvec_pool.free 8263660038527102976
PARAM_VALUE 0 pool->copier->io_client->pool.alloc 7276475779886346240
PARAM_VALUE 0 pool->copier->io_client->pool.curr_nr 1-s32max
PARAM_VALUE 0 pool->copier->io_client->pool.free 8263660038527102976
PARAM_VALUE 0 pool->copier->io_client->pool.min_nr 1-1024
PARAM_VALUE 0 pool->copier->job_pool.alloc 7276475779886346240
PARAM_VALUE 0 pool->copier->job_pool.curr_nr 1-s32max
PARAM_VALUE 0 pool->copier->job_pool.free 8263660038527102976
PARAM_VALUE 0 pool->copier->job_pool.min_nr 8
PARAM_VALUE 0 pool->copier->nr_jobs.counter 0
PARAM_VALUE 0 pool->copier->nr_reserved_pages 1-2560
PARAM_VALUE 0 pool->copier->sub_job_size 2-20480
PARAM_VALUE 0 pool->copier->throttle 8761574530659057664
PARAM_VALUE 0 pool->deferred_flush_bios.head 0
PARAM_VALUE 0 pool->deferred_flush_bios.tail 0
PARAM_VALUE 0 pool->deferred_flush_completions.head 0
PARAM_VALUE 0 pool->deferred_flush_completions.tail 0
PARAM_VALUE 0 pool->low_water_blocks 0
PARAM_VALUE 0 pool->low_water_triggered 0
PARAM_VALUE 0 pool->mapping_pool.alloc 7276475779886346240
PARAM_VALUE 0 pool->mapping_pool.curr_nr 1-s32max
PARAM_VALUE 0 pool->mapping_pool.elements 1-u64max
PARAM_VALUE 0 pool->mapping_pool.free 8263660038527102976
PARAM_VALUE 0 pool->mapping_pool.min_nr 1024
PARAM_VALUE 0 pool->mapping_pool.pool_data 0,4096-ptr_max
PARAM_VALUE 0 pool->mapping_pool.wait.head.next 4096-ptr_max
PARAM_VALUE 0 pool->mapping_pool.wait.head.next->next 4096-ptr_max
PARAM_VALUE 0 pool->mapping_pool.wait.head.prev 4096-ptr_max
PARAM_VALUE 0 pool->mapping_pool.wait.head.prev->next 4096-ptr_max
PARAM_VALUE 0 pool->mapping_pool.wait.head.prev->prev 4096-ptr_max
PARAM_VALUE 0 pool->md_dev 4096-ptr_max
PARAM_VALUE 0 pool->next_mapping 0
PARAM_VALUE 0 pool->out_of_data_space 0
PARAM_VALUE 0 pool->pf.discard_enabled 1
PARAM_VALUE 0 pool->pf.discard_passdown 1
PARAM_VALUE 0 pool->pf.error_if_no_space 0
PARAM_VALUE 0 pool->pf.mode 0
PARAM_VALUE 0 pool->pf.zero_new_blocks 1
PARAM_VALUE 0 pool->pmd 4096-ptr_max
PARAM_VALUE 0 pool->prepared_discards.next 4096-ptr_max
PARAM_VALUE 0 pool->prepared_discards.next->next 4096-ptr_max
PARAM_VALUE 0 pool->prepared_discards.prev 4096-ptr_max
PARAM_VALUE 0 pool->prepared_discards.prev->next 4096-ptr_max
PARAM_VALUE 0 pool->prepared_discards.prev->prev 4096-ptr_max
PARAM_VALUE 0 pool->prepared_discards_pt2.next 4096-ptr_max
PARAM_VALUE 0 pool->prepared_discards_pt2.next->next 4096-ptr_max
PARAM_VALUE 0 pool->prepared_discards_pt2.prev 4096-ptr_max
PARAM_VALUE 0 pool->prepared_discards_pt2.prev->next 4096-ptr_max
PARAM_VALUE 0 pool->prepared_discards_pt2.prev->prev 4096-ptr_max
PARAM_VALUE 0 pool->prepared_mappings.next 4096-ptr_max
PARAM_VALUE 0 pool->prepared_mappings.next->next 4096-ptr_max
PARAM_VALUE 0 pool->prepared_mappings.prev 4096-ptr_max
PARAM_VALUE 0 pool->prepared_mappings.prev->next 4096-ptr_max
PARAM_VALUE 0 pool->prepared_mappings.prev->prev 4096-ptr_max
PARAM_VALUE 0 pool->prison 4096-ptr_max
PARAM_VALUE 0 pool->prison->cell_pool.alloc 7276475779886346240
PARAM_VALUE 0 pool->prison->cell_pool.curr_nr 1-s32max
PARAM_VALUE 0 pool->prison->cell_pool.free 8263660038527102976
PARAM_VALUE 0 pool->prison->cell_pool.min_nr 1024
PARAM_VALUE 0 pool->prison->num_locks 0-64
PARAM_VALUE 0 pool->ref_count 1
PARAM_VALUE 0 pool->sectors_per_block 128-2097152
PARAM_VALUE 0 pool->shared_read_ds 4096-ptr_max
PARAM_VALUE 0 pool->shared_read_ds->current_entry 0
PARAM_VALUE 0 pool->shared_read_ds->sweeper 0
PARAM_VALUE 0 pool->suspended 1
PARAM_VALUE 0 pool->throttle.lock.count.counter 0
PARAM_VALUE 0 pool->throttle.lock.dep_map->name 0-255
PARAM_VALUE 0 pool->throttle.lock.first_waiter 0
PARAM_VALUE 0 pool->throttle.lock.magic 4096-ptr_max
PARAM_VALUE 0 pool->throttle.lock.osq.tail.counter 0
PARAM_VALUE 0 pool->throttle.lock.owner.counter 0
PARAM_VALUE 0 pool->throttle.throttle_applied 0
PARAM_VALUE 0 pool->wq 4096-ptr_max
BUF_SIZE 0 pool 1208
BUF_SIZE 0 pool->all_io_ds 2128
BUF_SIZE 0 pool->cell_sort_array 8
BUF_SIZE 0 pool->copier 560
BUF_SIZE 0 pool->pmd 864
BUF_SIZE 0 pool->prison 256-8448
BUF_SIZE 0 pool->shared_read_ds 2128
BUF_SIZE 0 pool->wq (-1),512,528-8720
CAPPED_DATA 0 pool->copier->sub_job_size 1
CAPPED_DATA 0 pool->prison->num_locks 1
DATA_SOURCE 0 pool r _kzalloc_noprof
BIT_INFO 0 pool->sectors_per_block 0x0,0x3fff80
NOCHECK_CALL
USER_DATA 0 pool->sectors_per_block 128-2097152
USER_DATA 0 pool->sectors_per_block_shift 128-2097152
NO_OVERFLOW_SIMPLE 0 pool->copier->io_client->bios.bio_pool.min_nr
NO_OVERFLOW_SIMPLE 0 pool->copier->io_client->bios.bvec_pool.min_nr
LOCK2 global &dm_thin_pool_table.mutex
HALF_LOCKED2 &md->type_lock
TYPE_LOCK (struct dm_thin_pool_table)->mutex