Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 11 files:

Smatch caller information:

drivers/md/persistent-data/dm-btree-spine.c node_check() -> dm_block_location()

Type Parameter Key Value
DATA_SOURCE 0 b $1
RX_PATH
TASK_NOT_RUNNING

drivers/md/persistent-data/dm-btree-spine.c node_check() -> dm_block_location()

Type Parameter Key Value
DATA_SOURCE 0 b $1
RX_PATH
TASK_NOT_RUNNING

drivers/md/persistent-data/dm-btree-spine.c node_prepare_for_write() -> dm_block_location()

Type Parameter Key Value
PARAM_VALUE 0 b 4096-ptr_max
DATA_SOURCE 0 b $1
RX_PATH
TASK_NOT_RUNNING

drivers/md/persistent-data/dm-btree-spine.c shadow_step() -> dm_block_location()

Type Parameter Key Value
HALF_LOCKED2 &td->pmd->root_lock

drivers/md/dm-thin-metadata.c __reserve_metadata_snap() -> dm_block_location()

Type Parameter Key Value
PARAM_VALUE 0 b 0,4096-ptr_max
LOCK2 &md->io_barrier
LOCK2 &pmd->root_lock
TYPE_LOCK (struct dm_pool_metadata)->root_lock
TYPE_LOCK (struct mapped_device)->io_barrier

drivers/md/dm-thin-metadata.c sb_check() -> dm_block_location()

Type Parameter Key Value
DATA_SOURCE 0 b $1
RX_PATH
TASK_NOT_RUNNING

drivers/md/dm-thin-metadata.c sb_check() -> dm_block_location()

Type Parameter Key Value
DATA_SOURCE 0 b $1
RX_PATH
TASK_NOT_RUNNING

drivers/md/dm-thin-metadata.c sb_prepare_for_write() -> dm_block_location()

Type Parameter Key Value
PARAM_VALUE 0 b 4096-ptr_max
DATA_SOURCE 0 b $1
RX_PATH
TASK_NOT_RUNNING

drivers/md/persistent-data/dm-btree.c __btree_get_overwrite_leaf() -> dm_block_location()

Type Parameter Key Value

drivers/md/persistent-data/dm-btree.c btree_insert_raw() -> dm_block_location()

Type Parameter Key Value
PREEMPT_ADD
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 &td->pmd->root_lock

drivers/md/persistent-data/dm-btree.c btree_split_beneath() -> dm_block_location()

Type Parameter Key Value
PARAM_VALUE 0 b 0,4096-ptr_max
HALF_LOCKED2 &td->pmd->root_lock

drivers/md/persistent-data/dm-btree.c btree_split_beneath() -> dm_block_location()

Type Parameter Key Value
PARAM_VALUE 0 b 0,4096-ptr_max
HALF_LOCKED2 &td->pmd->root_lock

drivers/md/persistent-data/dm-btree.c dm_btree_empty() -> dm_block_location()

Type Parameter Key Value
PARAM_VALUE 0 b 0,4096-ptr_max
PREEMPT_ADD
HALF_LOCKED2 &md->io_barrier
HALF_LOCKED2 &pmd->root_lock
HALF_LOCKED2 global &dm_thin_pool_table.mutex

drivers/md/persistent-data/dm-btree.c pop_frame() -> dm_block_location()

Type Parameter Key Value
HALF_LOCKED2 &md->io_barrier
HALF_LOCKED2 &pmd->root_lock
HALF_LOCKED2 &pool->lock

drivers/md/persistent-data/dm-btree.c shadow_child() -> dm_block_location()

Type Parameter Key Value
HALF_LOCKED2 &td->pmd->root_lock

drivers/md/persistent-data/dm-btree.c split_one_into_two() -> dm_block_location()

Type Parameter Key Value
PARAM_VALUE 0 b 0,4096-ptr_max
HALF_LOCKED2 &td->pmd->root_lock

drivers/md/persistent-data/dm-btree.c split_two_into_three() -> dm_block_location()

Type Parameter Key Value
PARAM_VALUE 0 b 0,4096-ptr_max
HALF_LOCKED2 &td->pmd->root_lock

drivers/md/persistent-data/dm-array.c __reinsert_ablock() -> dm_block_location()

Type Parameter Key Value
DATA_SOURCE 0 b $2

drivers/md/persistent-data/dm-array.c array_block_check() -> dm_block_location()

Type Parameter Key Value
DATA_SOURCE 0 b $1
RX_PATH
TASK_NOT_RUNNING

drivers/md/persistent-data/dm-array.c array_block_check() -> dm_block_location()

Type Parameter Key Value
DATA_SOURCE 0 b $1
RX_PATH
TASK_NOT_RUNNING

drivers/md/persistent-data/dm-array.c array_block_prepare_for_write() -> dm_block_location()

Type Parameter Key Value
PARAM_VALUE 0 b 4096-ptr_max
DATA_SOURCE 0 b $1
RX_PATH
TASK_NOT_RUNNING

drivers/md/persistent-data/dm-array.c insert_ablock() -> dm_block_location()

Type Parameter Key Value
DATA_SOURCE 0 b $2
HALF_LOCKED2 &cache->background_work_lock
HALF_LOCKED2 &cmd->root_lock

drivers/md/dm-era-target.c metadata_drop_snap() -> dm_block_location()

Type Parameter Key Value
PARAM_VALUE 0 b 0,4096-ptr_max
HALF_LOCKED2 &pool->lock

drivers/md/dm-era-target.c metadata_take_snap() -> dm_block_location()

Type Parameter Key Value
PARAM_VALUE 0 b 0,4096-ptr_max
HALF_LOCKED2 &pool->lock

drivers/md/dm-era-target.c metadata_take_snap() -> dm_block_location()

Type Parameter Key Value
PARAM_VALUE 0 b 0,4096-ptr_max
HALF_LOCKED2 &pool->lock

drivers/md/dm-era-target.c metadata_take_snap() -> dm_block_location()

Type Parameter Key Value
PARAM_VALUE 0 b 0,4096-ptr_max
HALF_LOCKED2 &pool->lock

drivers/md/dm-era-target.c sb_check() -> dm_block_location()

Type Parameter Key Value
DATA_SOURCE 0 b $1
RX_PATH
TASK_NOT_RUNNING

drivers/md/dm-era-target.c sb_check() -> dm_block_location()

Type Parameter Key Value
DATA_SOURCE 0 b $1
RX_PATH
TASK_NOT_RUNNING

drivers/md/dm-era-target.c sb_prepare_for_write() -> dm_block_location()

Type Parameter Key Value
PARAM_VALUE 0 b 4096-ptr_max
DATA_SOURCE 0 b $1
RX_PATH
TASK_NOT_RUNNING

drivers/md/persistent-data/dm-transaction-manager.c dm_tm_shadow_block() -> dm_block_location()

Type Parameter Key Value
PARAM_VALUE 0 b 0,4096-ptr_max
HALF_LOCKED2 &md->io_barrier
HALF_LOCKED2 &pmd->root_lock

drivers/md/dm-cache-metadata.c sb_check() -> dm_block_location()

Type Parameter Key Value
DATA_SOURCE 0 b $1
RX_PATH
TASK_NOT_RUNNING

drivers/md/dm-cache-metadata.c sb_check() -> dm_block_location()

Type Parameter Key Value
DATA_SOURCE 0 b $1
RX_PATH
TASK_NOT_RUNNING

drivers/md/dm-cache-metadata.c sb_prepare_for_write() -> dm_block_location()

Type Parameter Key Value
PARAM_VALUE 0 b 4096-ptr_max
DATA_SOURCE 0 b $1
RX_PATH
TASK_NOT_RUNNING

drivers/md/persistent-data/dm-space-map-common.c dm_bitmap_check() -> dm_block_location()

Type Parameter Key Value
DATA_SOURCE 0 b $1
RX_PATH
TASK_NOT_RUNNING

drivers/md/persistent-data/dm-space-map-common.c dm_bitmap_check() -> dm_block_location()

Type Parameter Key Value
DATA_SOURCE 0 b $1
RX_PATH
TASK_NOT_RUNNING

drivers/md/persistent-data/dm-space-map-common.c dm_bitmap_prepare_for_write() -> dm_block_location()

Type Parameter Key Value
PARAM_VALUE 0 b 4096-ptr_max
DATA_SOURCE 0 b $1
RX_PATH
TASK_NOT_RUNNING

drivers/md/persistent-data/dm-space-map-common.c index_check() -> dm_block_location()

Type Parameter Key Value
DATA_SOURCE 0 b $1
RX_PATH
TASK_NOT_RUNNING

drivers/md/persistent-data/dm-space-map-common.c index_check() -> dm_block_location()

Type Parameter Key Value
DATA_SOURCE 0 b $1
RX_PATH
TASK_NOT_RUNNING

drivers/md/persistent-data/dm-space-map-common.c index_prepare_for_write() -> dm_block_location()

Type Parameter Key Value
PARAM_VALUE 0 b 4096-ptr_max
DATA_SOURCE 0 b $1
RX_PATH
TASK_NOT_RUNNING

drivers/md/persistent-data/dm-space-map-common.c metadata_ll_commit() -> dm_block_location()

Type Parameter Key Value
HALF_LOCKED2 &md->suspend_lock
HALF_LOCKED2 &pmd->root_lock

drivers/md/persistent-data/dm-space-map-common.c metadata_ll_init_index() -> dm_block_location()

Type Parameter Key Value
PARAM_VALUE 0 b 0,4096-ptr_max
HALF_LOCKED2 global &dm_thin_pool_table.mutex

drivers/md/persistent-data/dm-space-map-common.c shadow_bitmap() -> dm_block_location()

Type Parameter Key Value

drivers/md/persistent-data/dm-space-map-common.c sm_ll_extend() -> dm_block_location()

Type Parameter Key Value
PARAM_VALUE 0 b 0,4096-ptr_max
HALF_LOCKED2 &md->suspend_lock
HALF_LOCKED2 &pmd->root_lock
HALF_LOCKED2 global &dm_thin_pool_table.mutex

drivers/md/persistent-data/dm-space-map-common.c sm_ll_insert() -> dm_block_location()

Type Parameter Key Value

drivers/md/persistent-data/dm-btree-remove.c __rebalance2() -> dm_block_location()

Type Parameter Key Value
HALF_LOCKED2 &td->pmd->root_lock

drivers/md/persistent-data/dm-btree-remove.c delete_center_node() -> dm_block_location()

Type Parameter Key Value
HALF_LOCKED2 &td->pmd->root_lock

drivers/md/persistent-data/dm-btree-remove.c init_child() -> dm_block_location()

Type Parameter Key Value
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 &td->pmd->root_lock

drivers/md/persistent-data/dm-btree-remove.c rebalance_children() -> dm_block_location()

Type Parameter Key Value
PARAM_VALUE 0 b 0,4096-ptr_max
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 &td->pmd->root_lock

drivers/md/persistent-data/dm-btree-remove.c remove_nearest() -> dm_block_location()

Type Parameter Key Value
LOCK2 &td->pmd->root_lock
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct dm_pool_metadata)->root_lock

drivers/md/persistent-data/dm-btree-remove.c remove_raw() -> dm_block_location()

Type Parameter Key Value
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 &td->pmd->root_lock

drivers/md/dm-clone-metadata.c sb_check() -> dm_block_location()

Type Parameter Key Value
DATA_SOURCE 0 b $1
RX_PATH
TASK_NOT_RUNNING

drivers/md/dm-clone-metadata.c sb_check() -> dm_block_location()

Type Parameter Key Value
DATA_SOURCE 0 b $1
RX_PATH
TASK_NOT_RUNNING

drivers/md/dm-clone-metadata.c sb_prepare_for_write() -> dm_block_location()

Type Parameter Key Value
PARAM_VALUE 0 b 4096-ptr_max
DATA_SOURCE 0 b $1
RX_PATH
TASK_NOT_RUNNING