Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/md/dm-thin.c __pool_dec() -> __pool_destroy()

Type Parameter Key Value
PARAM_VALUE 0 pool 4096-ptr_max
PARAM_VALUE 0 pool->ref_count 0
BUF_SIZE 0 pool (-1),1208
BUF_SIZE 0 pool (-1),1208
DATA_SOURCE 0 pool $0
NOSPEC 0 pool->sectors_per_block
NOSPEC 0 pool->sectors_per_block_shift
NOCHECK_CALL
USER_DATA 0 pool->sectors_per_block 128-2097152[c]
USER_DATA 0 pool->sectors_per_block_shift 128-2097152[c]
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
NO_OVERFLOW_SIMPLE 0 pool->copier->job_pool.min_nr
NO_OVERFLOW_SIMPLE 0 pool->mapping_pool.min_nr
NO_OVERFLOW_SIMPLE 0 pool->prison->cell_pool.min_nr
LOCK2 global &dm_thin_pool_table.mutex
TYPE_LOCK (struct dm_thin_pool_table)->mutex