Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 6 files:

Smatch caller information:

drivers/md/dm-rq.c dm_mq_queue_rq() -> dm_device_name()

Type Parameter Key Value
PARAM_VALUE 0 md 4096-ptr_max
CAPPED_DATA 0 md->io_barrier.srcu_ctrp 1
RX_PATH
TASK_NOT_RUNNING
UNITS 0 md unit_byte
LOCK2 0 &md->io_barrier
HALF_LOCKED2 __tag_set->srcu
HALF_LOCKED2 rcu_read
TYPE_LOCK (struct mapped_device)->io_barrier

drivers/md/dm-vdo/vdo.c vdo_get_device_name() -> dm_device_name()

Type Parameter Key Value
HALF_LOCKED2 &md->suspend_lock
HALF_LOCKED2 global &registry.lock

drivers/md/dm-thin.c abort_transaction() -> dm_device_name()

Type Parameter Key Value
HALF_LOCKED2 &pool->lock

drivers/md/dm-thin.c check_low_water_mark() -> dm_device_name()

Type Parameter Key Value
HALF_LOCKED2 &pool->lock

drivers/md/dm-thin.c maybe_resize_data_dev() -> dm_device_name()

Type Parameter Key Value
LOCK2 &md->suspend_lock
TYPE_LOCK (struct mapped_device)->suspend_lock

drivers/md/dm-thin.c maybe_resize_data_dev() -> dm_device_name()

Type Parameter Key Value
LOCK2 &md->suspend_lock
TYPE_LOCK (struct mapped_device)->suspend_lock

drivers/md/dm-thin.c maybe_resize_data_dev() -> dm_device_name()

Type Parameter Key Value
LOCK2 &md->suspend_lock
TYPE_LOCK (struct mapped_device)->suspend_lock

drivers/md/dm-thin.c maybe_resize_data_dev() -> dm_device_name()

Type Parameter Key Value
LOCK2 &md->suspend_lock
TYPE_LOCK (struct mapped_device)->suspend_lock

drivers/md/dm-thin.c maybe_resize_metadata_dev() -> dm_device_name()

Type Parameter Key Value
LOCK2 &md->suspend_lock
TYPE_LOCK (struct mapped_device)->suspend_lock

drivers/md/dm-thin.c maybe_resize_metadata_dev() -> dm_device_name()

Type Parameter Key Value
LOCK2 &md->suspend_lock
TYPE_LOCK (struct mapped_device)->suspend_lock

drivers/md/dm-thin.c maybe_resize_metadata_dev() -> dm_device_name()

Type Parameter Key Value
LOCK2 &md->suspend_lock
TYPE_LOCK (struct mapped_device)->suspend_lock

drivers/md/dm-thin.c maybe_resize_metadata_dev() -> dm_device_name()

Type Parameter Key Value
LOCK2 &md->suspend_lock
TYPE_LOCK (struct mapped_device)->suspend_lock

drivers/md/dm-thin.c metadata_low_callback() -> dm_device_name()

Type Parameter Key Value

drivers/md/dm-thin.c metadata_operation_failed() -> dm_device_name()

Type Parameter Key Value
HALF_LOCKED2 &md->suspend_lock

drivers/md/dm-thin.c notify_of_pool_mode_change() -> dm_device_name()

Type Parameter Key Value

drivers/md/dm-thin.c pool_message() -> dm_device_name()

Type Parameter Key Value
LOCK2 &md->io_barrier
TYPE_LOCK (struct mapped_device)->io_barrier

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

Type Parameter Key Value
LOCK2 &md->io_barrier
TYPE_LOCK (struct mapped_device)->io_barrier

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

Type Parameter Key Value
LOCK2 &md->io_barrier
TYPE_LOCK (struct mapped_device)->io_barrier

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

Type Parameter Key Value
LOCK2 &md->io_barrier
TYPE_LOCK (struct mapped_device)->io_barrier

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

Type Parameter Key Value
LOCK2 &md->io_barrier
TYPE_LOCK (struct mapped_device)->io_barrier

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

Type Parameter Key Value
LOCK2 &md->io_barrier
TYPE_LOCK (struct mapped_device)->io_barrier

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

Type Parameter Key Value
LOCK2 &md->io_barrier
TYPE_LOCK (struct mapped_device)->io_barrier

drivers/md/dm-thin.c set_pool_mode() -> dm_device_name()

Type Parameter Key Value
HALF_LOCKED2 &md->suspend_lock

drivers/md/dm.c __dm_destroy() -> dm_device_name()

Type Parameter Key Value
PARAM_VALUE 0 md 4096-ptr_max
CAPPED_DATA 0 md->io_barrier.srcu_ctrp 1
CAPPED_DATA 0 md->io_barrier.srcu_reader_flavor 1
CAPPED_DATA 0 md->map 1
CAPPED_DATA 0 &md->suspend_lock 1
DATA_SOURCE 0 md $0
MEM_ZERO 0 &md->ima.active_table
MEM_ZERO 0 &md->ima.inactive_table
NO_OVERFLOW_SIMPLE 0 md->dax_dev->inode.i_size
NO_OVERFLOW_SIMPLE 0 md->mempools->bs.rescue_workqueue->rescuer->task->dl.pi_se->dl_runtime
NO_OVERFLOW_SIMPLE 0 md->mempools->io_bs.rescue_workqueue->rescuer->task->dl.pi_se->dl_runtime
HALF_LOCKED2 &pool->lock

drivers/md/dm.c __dm_suspend() -> dm_device_name()

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

drivers/md/dm.c dm_submit_bio() -> dm_device_name()

Type Parameter Key Value
PARAM_VALUE 0 md 4096-ptr_max
BUF_SIZE 0 md s32min-(-2),1-s32max
BUF_SIZE 0 md s32min-(-2),1-s32max
CAPPED_DATA 0 md->io_barrier.srcu_ctrp 1
CAPPED_DATA 0 md->io_barrier.srcu_reader_flavor 1
CAPPED_DATA 0 md->map 1
RX_PATH
TASK_NOT_RUNNING
UNITS 0 md unit_byte
LOCK2 0 &md->io_barrier
TYPE_LOCK (struct mapped_device)->io_barrier

drivers/md/dm-crypt.c crypt_integrity_ctr() -> dm_device_name()

Type Parameter Key Value
DATA_SOURCE 0 md r dm_table_get_md
HALF_LOCKED2 &md->type_lock

drivers/md/dm-crypt.c crypt_integrity_ctr() -> dm_device_name()

Type Parameter Key Value
DATA_SOURCE 0 md r dm_table_get_md
HALF_LOCKED2 &md->type_lock

drivers/md/dm-table.c device_area_is_invalid() -> dm_device_name()

Type Parameter Key Value

drivers/md/dm-table.c device_area_is_invalid() -> dm_device_name()

Type Parameter Key Value

drivers/md/dm-table.c device_area_is_invalid() -> dm_device_name()

Type Parameter Key Value

drivers/md/dm-table.c device_area_is_invalid() -> dm_device_name()

Type Parameter Key Value

drivers/md/dm-table.c device_area_is_invalid() -> dm_device_name()

Type Parameter Key Value

drivers/md/dm-table.c dm_calculate_queue_limits() -> dm_device_name()

Type Parameter Key Value
HALF_LOCKED2 &md->suspend_lock

drivers/md/dm-table.c dm_calculate_queue_limits() -> dm_device_name()

Type Parameter Key Value
HALF_LOCKED2 &md->suspend_lock

drivers/md/dm-table.c dm_put_device() -> dm_device_name()

Type Parameter Key Value
HALF_LOCKED2 global &dm_thin_pool_table.mutex

drivers/md/dm-table.c dm_set_device_limits() -> dm_device_name()

Type Parameter Key Value

drivers/md/dm-table.c dm_set_device_limits() -> dm_device_name()

Type Parameter Key Value
LOCK2 &q->limits_lock
TYPE_LOCK (struct request_queue)->limits_lock

drivers/md/dm-table.c dm_table_add_target() -> dm_device_name()

Type Parameter Key Value
PARAM_VALUE 0 md 1-u64max
HALF_LOCKED2 &md->type_lock

drivers/md/dm-table.c dm_table_add_target() -> dm_device_name()

Type Parameter Key Value
PARAM_VALUE 0 md 1-u64max
HALF_LOCKED2 &md->type_lock

drivers/md/dm-table.c dm_table_add_target() -> dm_device_name()

Type Parameter Key Value
PARAM_VALUE 0 md 1-u64max
HALF_LOCKED2 &md->type_lock

drivers/md/dm-table.c dm_table_add_target() -> dm_device_name()

Type Parameter Key Value
PARAM_VALUE 0 md 1-u64max
HALF_LOCKED2 &md->type_lock

drivers/md/dm-table.c dm_table_add_target() -> dm_device_name()

Type Parameter Key Value
PARAM_VALUE 0 md 1-u64max
HALF_LOCKED2 &md->type_lock

drivers/md/dm-table.c dm_table_add_target() -> dm_device_name()

Type Parameter Key Value
PARAM_VALUE 0 md 1-u64max
HALF_LOCKED2 &md->type_lock

drivers/md/dm-table.c dm_table_device_name() -> dm_device_name()

Type Parameter Key Value
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &m->lock
HALF_LOCKED2 &m->work_mutex
HALF_LOCKED2 &md->io_barrier
HALF_LOCKED2 &md->suspend_lock
HALF_LOCKED2 flags
HALF_LOCKED2 irq

drivers/md/dm-table.c dm_table_resume_targets() -> dm_device_name()

Type Parameter Key Value
HALF_LOCKED2 &md->suspend_lock
TYPE_LOCK (struct mapped_device)->suspend_lock

drivers/md/dm-table.c dm_table_set_restrictions() -> dm_device_name()

Type Parameter Key Value
PARAM_VALUE 0 md 4096-ptr_max
HALF_LOCKED2 &md->suspend_lock

drivers/md/dm-table.c dm_table_supports_size_change() -> dm_device_name()

Type Parameter Key Value
PARAM_VALUE 0 md 4096-ptr_max
LOCK2 &md->suspend_lock
TYPE_LOCK (struct mapped_device)->suspend_lock

drivers/md/dm-table.c free_devices() -> dm_device_name()

Type Parameter Key Value
DATA_SOURCE 0 md $1

drivers/md/dm-table.c validate_hardware_logical_block_alignment() -> dm_device_name()

Type Parameter Key Value
HALF_LOCKED2 &md->suspend_lock

drivers/md/dm-table.c validate_hardware_zoned() -> dm_device_name()

Type Parameter Key Value
HALF_LOCKED2 &md->suspend_lock

drivers/md/dm-table.c validate_hardware_zoned() -> dm_device_name()

Type Parameter Key Value
HALF_LOCKED2 &md->suspend_lock