Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 5 files:

Smatch caller information:

drivers/md/dm-vdo/vdo.c clear_partition() -> vdo_get_backing_device()

Type Parameter Key Value
PARAM_VALUE 0 vdo 4096-ptr_max
PARAM_VALUE 0 vdo->device_config 4096-ptr_max
PARAM_VALUE 0 vdo->device_config->owned_device 4096-ptr_max
DATA_SOURCE 0 vdo $0
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 vdo->geometry.index_config.mem
NO_OVERFLOW_SIMPLE 0 vdo->states.vdo.config.physical_blocks
NO_OVERFLOW_SIMPLE 0 vdo->thread_config.bio_thread_count
NO_OVERFLOW_SIMPLE 0 vdo->thread_config.hash_zone_count
NO_OVERFLOW_SIMPLE 0 vdo->thread_config.logical_zone_count
NO_OVERFLOW_SIMPLE 0 vdo->thread_config.physical_zone_count
NO_OVERFLOW_SIMPLE 0 vdo->thread_config.thread_count

drivers/md/dm-vdo/vdo.c vdo_clear_layout() -> vdo_get_backing_device()

Type Parameter Key Value
PARAM_VALUE 0 vdo 4096-ptr_max
DATA_SOURCE 0 vdo $0
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 vdo->geometry.index_config.mem
NO_OVERFLOW_SIMPLE 0 vdo->states.vdo.config.physical_blocks
NO_OVERFLOW_SIMPLE 0 vdo->thread_config.bio_thread_count
NO_OVERFLOW_SIMPLE 0 vdo->thread_config.hash_zone_count
NO_OVERFLOW_SIMPLE 0 vdo->thread_config.logical_zone_count
NO_OVERFLOW_SIMPLE 0 vdo->thread_config.physical_zone_count
NO_OVERFLOW_SIMPLE 0 vdo->thread_config.thread_count

drivers/md/dm-vdo/vdo.c vdo_synchronous_flush() -> vdo_get_backing_device()

Type Parameter Key Value
PARAM_VALUE 0 vdo 4096-ptr_max
DATA_SOURCE 0 vdo $0
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 vdo->geometry.index_config.mem
NO_OVERFLOW_SIMPLE 0 vdo->states.vdo.config.physical_blocks
NO_OVERFLOW_SIMPLE 0 vdo->thread_config.bio_thread_count
NO_OVERFLOW_SIMPLE 0 vdo->thread_config.hash_zone_count
NO_OVERFLOW_SIMPLE 0 vdo->thread_config.logical_zone_count
NO_OVERFLOW_SIMPLE 0 vdo->thread_config.physical_zone_count
NO_OVERFLOW_SIMPLE 0 vdo->thread_config.thread_count

drivers/md/dm-vdo/slab-depot.c erase_next_slab_journal() -> vdo_get_backing_device()

Type Parameter Key Value
PARAM_VALUE 0 vdo 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &pool->lock

drivers/md/dm-vdo/dm-vdo-target.c get_underlying_device_block_count() -> vdo_get_backing_device()

Type Parameter Key Value
DATA_SOURCE 0 vdo $0
LOCK2 &md->suspend_lock
TYPE_LOCK (struct mapped_device)->suspend_lock

drivers/md/dm-vdo/dm-vdo-target.c partition_to_region() -> vdo_get_backing_device()

Type Parameter Key Value
PARAM_VALUE 0 vdo 4096-ptr_max
DATA_SOURCE 0 vdo $1
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 vdo->geometry.index_config.mem
NO_OVERFLOW_SIMPLE 0 vdo->states.vdo.config.physical_blocks
NO_OVERFLOW_SIMPLE 0 vdo->thread_config.bio_thread_count
NO_OVERFLOW_SIMPLE 0 vdo->thread_config.hash_zone_count
NO_OVERFLOW_SIMPLE 0 vdo->thread_config.logical_zone_count
NO_OVERFLOW_SIMPLE 0 vdo->thread_config.physical_zone_count
NO_OVERFLOW_SIMPLE 0 vdo->thread_config.thread_count

drivers/md/dm-vdo/dm-vdo-target.c vdo_status() -> vdo_get_backing_device()

Type Parameter Key Value
PARAM_VALUE 0 vdo 4096-ptr_max
CAPPED_DATA 0 &vdo->stats_mutex 1
DATA_SOURCE 0 vdo r get_vdo_for_target
LOCK2 &md->io_barrier
LOCK2 0 &vdo->stats_mutex
TYPE_LOCK (struct mapped_device)->io_barrier
TYPE_LOCK (struct vdo)->stats_mutex

drivers/md/dm-vdo/dm-vdo-target.c vdo_uses_device() -> vdo_get_backing_device()

Type Parameter Key Value
PARAM_VALUE 0 vdo 4096-ptr_max
DATA_SOURCE 0 vdo $0
LOCK2 global &registry.lock
TYPE_LOCK (struct device_registry)->lock

drivers/md/dm-vdo/flush.c vdo_complete_flush_callback() -> vdo_get_backing_device()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 vdo->geometry.index_config.mem
NO_OVERFLOW_SIMPLE 0 vdo->states.vdo.config.physical_blocks
NO_OVERFLOW_SIMPLE 0 vdo->thread_config.bio_thread_count
NO_OVERFLOW_SIMPLE 0 vdo->thread_config.hash_zone_count
NO_OVERFLOW_SIMPLE 0 vdo->thread_config.logical_zone_count
NO_OVERFLOW_SIMPLE 0 vdo->thread_config.physical_zone_count
NO_OVERFLOW_SIMPLE 0 vdo->thread_config.thread_count

drivers/md/dm-vdo/io-submitter.c send_bio_to_device() -> vdo_get_backing_device()

Type Parameter Key Value
PARAM_VALUE 0 vdo 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING

drivers/md/dm-vdo/io-submitter.c vdo_submit_metadata_vio_wait() -> vdo_get_backing_device()

Type Parameter Key Value
PARAM_VALUE 0 vdo 4096-ptr_max
PARAM_VALUE 0 vdo->device_config 4096-ptr_max
HALF_LOCKED2 &md->type_lock