Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/md/dm-cache-metadata.c __commit_transaction() -> separate_dirty_bits()

Type Parameter Key Value
PARAM_VALUE 0 cmd 4096-ptr_max
DATA_SOURCE 0 cmd $0
NO_OVERFLOW_SIMPLE 0 cmd->dirty_info.array_info.btree_info.tm->bm->bufio->block_size
NO_OVERFLOW_SIMPLE 0 cmd->hint_info.btree_info.tm->bm->bufio->block_size
LOCK2 0 &cmd->root_lock
HALF_LOCKED2 &cache->background_work_lock
HALF_LOCKED2 &md->io_barrier
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct dm_cache_metadata)->root_lock

drivers/md/dm-cache-metadata.c __commit_transaction() -> separate_dirty_bits()

Type Parameter Key Value
PARAM_VALUE 0 cmd 4096-ptr_max
DATA_SOURCE 0 cmd $0
NO_OVERFLOW_SIMPLE 0 cmd->dirty_info.array_info.btree_info.tm->bm->bufio->block_size
NO_OVERFLOW_SIMPLE 0 cmd->discard_info.array_info.btree_info.tm->bm->bufio->block_size
NO_OVERFLOW_SIMPLE 0 cmd->hint_info.btree_info.tm->bm->bufio->block_size
LOCK2 0 &cmd->root_lock
HALF_LOCKED2 &cache->background_work_lock
HALF_LOCKED2 &md->io_barrier
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct dm_cache_metadata)->root_lock

drivers/md/dm-cache-metadata.c __format_metadata() -> separate_dirty_bits()

Type Parameter Key Value
PARAM_VALUE 0 cmd 4096-ptr_max
PARAM_VALUE 0 cmd->version 1-2
BUF_SIZE 0 cmd->bm 16
DATA_SOURCE 0 cmd $0
NO_OVERFLOW_SIMPLE 0 cmd->bm->bufio->dm_io->bios.bio_pool.min_nr
NO_OVERFLOW_SIMPLE 0 cmd->bm->bufio->dm_io->bios.bvec_pool.min_nr
NO_OVERFLOW_SIMPLE 0 cmd->bm->bufio->dm_io->bios.rescue_workqueue->rescuer->task->dl.pi_se->dl_runtime
NO_OVERFLOW_SIMPLE 0 cmd->bm->bufio->slab_buffer->object_size
NO_OVERFLOW_SIMPLE 0 cmd->bm->bufio->slab_cache->object_size
NO_OVERFLOW_SIMPLE 0 cmd->data_block_size
HALF_LOCKED2 &md->type_lock

drivers/md/dm-cache-metadata.c __load_mappings() -> separate_dirty_bits()

Type Parameter Key Value
PARAM_VALUE 0 cmd 4096-ptr_max
DATA_SOURCE 0 cmd $0
MEM_ZERO 0 &cmd->mapping_cursor
NO_OVERFLOW_SIMPLE 0 cmd->info.btree_info.tm->real->bm->bufio->block_size
LOCK2 &md->suspend_lock
LOCK2 0 &cmd->root_lock
TYPE_LOCK (struct dm_cache_metadata)->root_lock
TYPE_LOCK (struct mapped_device)->suspend_lock

drivers/md/dm-cache-metadata.c __load_mappings() -> separate_dirty_bits()

Type Parameter Key Value
PARAM_VALUE 0 cmd 4096-ptr_max
DATA_SOURCE 0 cmd $0
MEM_ZERO 0 &cmd->mapping_cursor
NO_OVERFLOW_SIMPLE 0 cmd->info.btree_info.tm->real->bm->bufio->block_size
LOCK2 &md->suspend_lock
LOCK2 0 &cmd->root_lock
TYPE_LOCK (struct dm_cache_metadata)->root_lock
TYPE_LOCK (struct mapped_device)->suspend_lock

drivers/md/dm-cache-metadata.c __load_mappings() -> separate_dirty_bits()

Type Parameter Key Value
PARAM_VALUE 0 cmd 4096-ptr_max
DATA_SOURCE 0 cmd $0
MEM_ZERO 0 &cmd->mapping_cursor
NO_OVERFLOW_SIMPLE 0 cmd->info.btree_info.tm->real->bm->bufio->block_size
LOCK2 &md->suspend_lock
LOCK2 0 &cmd->root_lock
TYPE_LOCK (struct dm_cache_metadata)->root_lock
TYPE_LOCK (struct mapped_device)->suspend_lock

drivers/md/dm-cache-metadata.c __load_mappings() -> separate_dirty_bits()

Type Parameter Key Value
PARAM_VALUE 0 cmd 4096-ptr_max
DATA_SOURCE 0 cmd $0
MEM_ZERO 0 &cmd->mapping_cursor
NO_OVERFLOW_SIMPLE 0 cmd->info.btree_info.tm->real->bm->bufio->block_size
LOCK2 &md->suspend_lock
LOCK2 0 &cmd->root_lock
TYPE_LOCK (struct dm_cache_metadata)->root_lock
TYPE_LOCK (struct mapped_device)->suspend_lock

drivers/md/dm-cache-metadata.c __write_initial_superblock() -> separate_dirty_bits()

Type Parameter Key Value
PARAM_VALUE 0 cmd 4096-ptr_max
PARAM_VALUE 0 cmd->version 1-2
BUF_SIZE 0 cmd->bm 16
DATA_SOURCE 0 cmd $0
BIT_INFO 0 cmd->bm 0xffffffe0,0xffffffffffffffff
NO_OVERFLOW_SIMPLE 0 cmd->bm->bufio->dm_io->bios.bio_pool.min_nr
NO_OVERFLOW_SIMPLE 0 cmd->bm->bufio->dm_io->bios.bvec_pool.min_nr
NO_OVERFLOW_SIMPLE 0 cmd->bm->bufio->dm_io->pool.min_nr
NO_OVERFLOW_SIMPLE 0 cmd->bm->bufio->slab_buffer->object_size
NO_OVERFLOW_SIMPLE 0 cmd->data_block_size
NO_OVERFLOW_SIMPLE 0 cmd->dirty_info.array_info.btree_info.tm->bm->bufio->block_size
NO_OVERFLOW_SIMPLE 0 cmd->discard_info.array_info.btree_info.tm->bm->bufio->block_size
HALF_LOCKED2 &md->type_lock

drivers/md/dm-cache-metadata.c blocks_are_unmapped_or_clean() -> separate_dirty_bits()

Type Parameter Key Value
PARAM_VALUE 0 cmd 4096-ptr_max
DATA_SOURCE 0 cmd $0
LOCK2 0 &cmd->root_lock
HALF_LOCKED2 &md->suspend_lock
TYPE_LOCK (struct dm_cache_metadata)->root_lock
TYPE_LOCK (struct mapped_device)->suspend_lock

drivers/md/dm-cache-metadata.c dm_cache_resize() -> separate_dirty_bits()

Type Parameter Key Value
PARAM_VALUE 0 cmd 4096-ptr_max
DATA_SOURCE 0 cmd $0
NO_OVERFLOW_SIMPLE 0 cmd->dirty_cursor.cursor.cursor.info->tm->real->bm->bufio->block_size
NO_OVERFLOW_SIMPLE 0 cmd->dirty_cursor.cursor.info->btree_info.tm->real->bm->bufio->block_size
LOCK2 &md->suspend_lock
LOCK2 0 &cmd->root_lock
TYPE_LOCK (struct dm_cache_metadata)->root_lock
TYPE_LOCK (struct mapped_device)->suspend_lock

drivers/md/dm-cache-metadata.c dm_cache_set_dirty_bits() -> separate_dirty_bits()

Type Parameter Key Value
PARAM_VALUE 0 cmd 4096-ptr_max
DATA_SOURCE 0 cmd $0
LOCK2 &cache->background_work_lock
LOCK2 &md->suspend_lock
LOCK2 0 &cmd->root_lock
HALF_LOCKED2 &md->io_barrier
TYPE_LOCK (struct cache)->background_work_lock
TYPE_LOCK (struct dm_cache_metadata)->root_lock
TYPE_LOCK (struct mapped_device)->suspend_lock

drivers/md/dm-cache-metadata.c read_superblock_fields() -> separate_dirty_bits()

Type Parameter Key Value
PARAM_VALUE 0 cmd 4096-ptr_max
BUF_SIZE 0 cmd (-1),1920
BUF_SIZE 0 cmd (-1),1920
DATA_SOURCE 0 cmd $0
NO_OVERFLOW_SIMPLE 0 cmd->bm->bufio->dm_io->bios.bio_pool.min_nr
NO_OVERFLOW_SIMPLE 0 cmd->bm->bufio->dm_io->bios.bvec_pool.min_nr
NO_OVERFLOW_SIMPLE 0 cmd->bm->bufio->dm_io->bios.rescue_workqueue->rescuer->task->dl.pi_se->dl_runtime
NO_OVERFLOW_SIMPLE 0 cmd->bm->bufio->slab_cache->object_size
NO_OVERFLOW_SIMPLE 0 cmd->data_block_size
HALF_LOCKED2 0 &cmd->root_lock