Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

drivers/md/dm-vdo/vdo.c vdo_destroy() -> vdo_get_admin_state()

Type Parameter Key Value
PARAM_VALUE 0 vdo 4096-ptr_max
DATA_SOURCE 0 vdo $0
USER_DATA 0 vdo->device_config->physical_blocks 0-u64max
NO_OVERFLOW_SIMPLE 0 vdo->admin.completion.vdo->geometry.index_config.mem
NO_OVERFLOW_SIMPLE 0 vdo->admin.completion.vdo->states.vdo.config.physical_blocks
NO_OVERFLOW_SIMPLE 0 vdo->admin.completion.vdo->thread_config.bio_thread_count
NO_OVERFLOW_SIMPLE 0 vdo->admin.completion.vdo->thread_config.hash_zone_count
NO_OVERFLOW_SIMPLE 0 vdo->admin.completion.vdo->thread_config.logical_zone_count
NO_OVERFLOW_SIMPLE 0 vdo->admin.completion.vdo->thread_config.physical_zone_count
NO_OVERFLOW_SIMPLE 0 vdo->admin.completion.vdo->thread_config.thread_count
NO_OVERFLOW_SIMPLE 0 vdo->device_config->block_map_maximum_age
NO_OVERFLOW_SIMPLE 0 vdo->device_config->cache_size
NO_OVERFLOW_SIMPLE 0 vdo->device_config->max_discard_blocks
NO_OVERFLOW_SIMPLE 0 vdo->device_config->physical_blocks
NO_OVERFLOW_SIMPLE 0 vdo->device_config->thread_counts.bio_ack_threads
NO_OVERFLOW_SIMPLE 0 vdo->device_config->thread_counts.bio_rotation_interval
NO_OVERFLOW_SIMPLE 0 vdo->device_config->thread_counts.bio_threads
NO_OVERFLOW_SIMPLE 0 vdo->device_config->thread_counts.cpu_threads
NO_OVERFLOW_SIMPLE 0 vdo->device_config->thread_counts.hash_zones
NO_OVERFLOW_SIMPLE 0 vdo->device_config->thread_counts.logical_zones
NO_OVERFLOW_SIMPLE 0 vdo->device_config->thread_counts.physical_zones
NO_OVERFLOW_SIMPLE 0 vdo->geometry.index_config.mem
NO_OVERFLOW_SIMPLE 0 vdo->geometry_block.vio.completion.vdo->geometry.index_config.mem
NO_OVERFLOW_SIMPLE 0 vdo->geometry_block.vio.completion.vdo->states.vdo.config.physical_blocks
NO_OVERFLOW_SIMPLE 0 vdo->geometry_block.vio.completion.vdo->thread_config.bio_thread_count
NO_OVERFLOW_SIMPLE 0 vdo->geometry_block.vio.completion.vdo->thread_config.hash_zone_count
NO_OVERFLOW_SIMPLE 0 vdo->geometry_block.vio.completion.vdo->thread_config.logical_zone_count
NO_OVERFLOW_SIMPLE 0 vdo->geometry_block.vio.completion.vdo->thread_config.physical_zone_count
NO_OVERFLOW_SIMPLE 0 vdo->geometry_block.vio.completion.vdo->thread_config.thread_count
NO_OVERFLOW_SIMPLE 0 vdo->states.vdo.config.physical_blocks
NO_OVERFLOW_SIMPLE 0 vdo->super_block.vio.completion.vdo->geometry.index_config.mem
NO_OVERFLOW_SIMPLE 0 vdo->super_block.vio.completion.vdo->states.vdo.config.physical_blocks
NO_OVERFLOW_SIMPLE 0 vdo->super_block.vio.completion.vdo->thread_config.bio_thread_count
NO_OVERFLOW_SIMPLE 0 vdo->super_block.vio.completion.vdo->thread_config.hash_zone_count
NO_OVERFLOW_SIMPLE 0 vdo->super_block.vio.completion.vdo->thread_config.logical_zone_count
NO_OVERFLOW_SIMPLE 0 vdo->super_block.vio.completion.vdo->thread_config.physical_zone_count
NO_OVERFLOW_SIMPLE 0 vdo->super_block.vio.completion.vdo->thread_config.thread_count
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

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

Type Parameter Key Value
PARAM_VALUE 0 vdo 4096-ptr_max
CAPPED_DATA 0 vdo 1
DATA_SOURCE 0 vdo $2
HALF_LOCKED2 &md->type_lock

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

Type Parameter Key Value
PARAM_VALUE 0 vdo 4096-ptr_max
DATA_SOURCE 0 vdo r get_vdo_for_target
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_admin_state()

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

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

Type Parameter Key Value
PARAM_VALUE 0 vdo 4096-ptr_max
BUF_SIZE 0 vdo->device_config 16,40-s32max
CAPPED_DATA 0 vdo->device_config->physical_blocks 1
DATA_SOURCE 0 vdo $1
LOCK2 &md->suspend_lock
TYPE_LOCK (struct mapped_device)->suspend_lock

drivers/md/dm-vdo/io-submitter.c __submit_metadata_vio() -> vdo_get_admin_state()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING