Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/md/dm-thin.c pool_ctr() -> calc_metadata_threshold()

Type Parameter Key Value
PARAM_VALUE 0 pt 4096-ptr_max
PARAM_VALUE 0 pt->metadata_dev 4096-ptr_max
PARAM_VALUE 0 pt->metadata_dev->bdev 4096-ptr_max
BUF_SIZE 0 pt 56
BUF_SIZE 0 pt->pool (-1),1208
CAPPED_DATA 0 pt->pool->sectors_per_block 1
CAPPED_DATA 0 pt->ti->begin 1
DATA_SOURCE 0 pt r _kzalloc_noprof
STR_LEN 0 pt->ti->error (-1),13
NOSPEC 0 pt->pool->sectors_per_block
NOSPEC 0 pt->pool->sectors_per_block_shift
TERMINATED 0 pt->ti->error 1
USER_DATA 0 pt->low_water_blocks 0-u64max
USER_DATA 0 pt->pool->sectors_per_block 128-2097152[c]
USER_DATA 0 pt->pool->sectors_per_block_shift 128-2097152[c]
NO_OVERFLOW_SIMPLE 0 pt->low_water_blocks
NO_OVERFLOW_SIMPLE 0 pt->ti->begin
NO_OVERFLOW_SIMPLE 0 pt->ti->len
LOCK2 global &dm_thin_pool_table.mutex
HALF_LOCKED2 &md->type_lock
TYPE_LOCK (struct dm_thin_pool_table)->mutex

drivers/md/dm-thin.c pool_status() -> calc_metadata_threshold()

Type Parameter Key Value
PARAM_VALUE 0 pt 4096-ptr_max
BUF_SIZE 0 pt 16,40-s32max
BUF_SIZE 0 pt 16,40-s32max
LOCK2 &md->io_barrier
TYPE_LOCK (struct mapped_device)->io_barrier