Open Menu /

Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

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

Type Parameter Key Value
HALF_LOCKED2 &md->io_barrier

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

Type Parameter Key Value
PARAM_VALUE 0 target 4096-ptr_max
CAPPED_DATA 0 target->begin 1
HALF_LOCKED2 &md->type_lock

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

Type Parameter Key Value
PARAM_VALUE 0 target 4096-ptr_max
PARAM_VALUE 0 target->table 4096-ptr_max
BUF_SIZE 0 target->error 14
CAPPED_DATA 0 target->begin 1
CAPPED_DATA 0 target->table->num_targets 1
CAPPED_DATA 0 target->type 1
DATA_SOURCE 0 target $0
STR_LEN 0 target->error 13
TERMINATED 0 target->error 1
MEM_ZERO 0 target
NO_OVERFLOW_SIMPLE 0 target->begin
NO_OVERFLOW_SIMPLE 0 target->len
NO_OVERFLOW_SIMPLE 0 target->table->num_allocated
HALF_LOCKED2 &md->type_lock

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

Type Parameter Key Value
PARAM_VALUE 0 target 4096-ptr_max
DATA_SOURCE 0 target $0

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

Type Parameter Key Value
PARAM_VALUE 0 target 4096-ptr_max
PARAM_VALUE 0 target->table 4096-ptr_max
BUF_SIZE 0 target->error 14
CAPPED_DATA 0 target->begin 1
CAPPED_DATA 0 target->table->md->disk 1
CAPPED_DATA 0 target->table->num_targets 1
CAPPED_DATA 0 target->type 1
DATA_SOURCE 0 target $0
STR_LEN 0 target->error 13
TERMINATED 0 target->error 1
NO_OVERFLOW_SIMPLE 0 target->begin
NO_OVERFLOW_SIMPLE 0 target->len
NO_OVERFLOW_SIMPLE 0 target->table->num_allocated

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

Type Parameter Key Value
LOCK2 global &registry.lock
TYPE_LOCK (struct device_registry)->lock

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

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

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

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

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

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