Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/md/dm-vdo/dm-vdo-target.c perform_grow_logical() -> perform_admin_operation()

Type Parameter Key Value
PARAM_VALUE 0 vdo 4096-ptr_max
PARAM_VALUE 0 vdo->block_map 4096-ptr_max
PARAM_VALUE 0 vdo->device_config 4096-ptr_max
PARAM_VALUE 0 vdo->device_config->owned_device 4096-ptr_max
PARAM_VALUE 1 starting_phase 0
PARAM_VALUE 4 type 5539693954709999616
BUF_SIZE 4 type 13
CAPPED_DATA 0 vdo->block_map->next_entry_count 1
DATA_SOURCE 0 vdo $0
STR_LEN 0 vdo 12
PARAM_COMPARE 0 vdo->block_map->next_entry_count != $0->device_config->logical_blocks
TERMINATED 4 type 1
HALF_LOCKED2 &md->suspend_lock
TYPE_LOCK (struct mapped_device)->suspend_lock

drivers/md/dm-vdo/dm-vdo-target.c perform_grow_physical() -> perform_admin_operation()

Type Parameter Key Value
PARAM_VALUE 0 vdo 4096-ptr_max
PARAM_VALUE 0 vdo->block_map 4096-ptr_max
PARAM_VALUE 0 vdo->depot 4096-ptr_max
PARAM_VALUE 0 vdo->device_config 4096-ptr_max
PARAM_VALUE 0 vdo->device_config->owned_device 4096-ptr_max
PARAM_VALUE 0 vdo->next_layout.head 0,4096-ptr_max
PARAM_VALUE 0 vdo->next_layout.head->id 0-255
PARAM_VALUE 1 starting_phase 4
PARAM_VALUE 4 type 7149798578218545152
BUF_SIZE 4 type 14
CAPPED_DATA 0 vdo->next_layout.size 1
DATA_SOURCE 0 vdo $0
STR_LEN 0 vdo 13
TERMINATED 4 type 1
HALF_LOCKED2 &md->suspend_lock
TYPE_LOCK (struct mapped_device)->suspend_lock

drivers/md/dm-vdo/dm-vdo-target.c prepare_to_grow_physical() -> perform_admin_operation()

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->logical_block_size 512,4096
PARAM_VALUE 0 vdo->device_config->logical_blocks 0-1099511627776
PARAM_VALUE 0 vdo->device_config->owning_target 4096-ptr_max
PARAM_VALUE 0 vdo->device_config->physical_blocks 0-18446744073709551614
PARAM_VALUE 1 starting_phase 27
PARAM_VALUE 4 type 8506478390950051840
BUF_SIZE 4 type 22
CAPPED_DATA 0 vdo->device_config->block_map_maximum_age 1
CAPPED_DATA 0 vdo->device_config->cache_size 1
CAPPED_DATA 0 vdo->device_config->logical_block_size 1
CAPPED_DATA 0 vdo->device_config->logical_blocks 1
CAPPED_DATA 0 vdo->device_config->owning_target->begin 1
CAPPED_DATA 0 vdo->device_config->physical_blocks 1
DATA_SOURCE 0 vdo $0
STR_LEN 0 vdo 21
TERMINATED 4 type 1
NO_OVERFLOW_SIMPLE 0 vdo->block_map->next_forest->segments
NO_OVERFLOW_SIMPLE 0 vdo->block_map->root_count

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

Type Parameter Key Value
PARAM_VALUE 0 vdo 4096-ptr_max
PARAM_VALUE 0 vdo->admin.callback_sync.done 0
PARAM_VALUE 0 vdo->admin.callback_sync.wait.lock.magic 3735899821
PARAM_VALUE 0 vdo->admin.callback_sync.wait.lock.owner (-1)
PARAM_VALUE 0 vdo->admin.callback_sync.wait.lock.owner_cpu 4294967295
PARAM_VALUE 0 vdo->admin.completion.complete 0
PARAM_VALUE 0 vdo->admin.completion.priority 0
PARAM_VALUE 0 vdo->admin.completion.requeue 0
PARAM_VALUE 0 vdo->admin.completion.result 0
PARAM_VALUE 0 vdo->admin.completion.type 2
PARAM_VALUE 0 vdo->admin.state.current_state 7079299719711760384
PARAM_VALUE 0 vdo->allocations_allowed 1
PARAM_VALUE 0 vdo->device_config s64min-(-4096),4096-s64max
PARAM_VALUE 0 vdo->geometry.index_config.mem 0-1024,4294966528,4294966784,4294967040
PARAM_VALUE 0 vdo->geometry.index_config.unused 0
PARAM_VALUE 0 vdo->geometry_block.vio.block_count 1
PARAM_VALUE 0 vdo->geometry_block.vio.completion.type 16
PARAM_VALUE 0 vdo->geometry_block.vio.priority 1
PARAM_VALUE 0 vdo->geometry_block.vio.type 5
PARAM_VALUE 0 vdo->instance 0-64
PARAM_VALUE 0 vdo->states.layout.first_free 0
PARAM_VALUE 0 vdo->states.layout.head 0
PARAM_VALUE 0 vdo->states.layout.last_free 0
PARAM_VALUE 0 vdo->states.layout.num_partitions 0
PARAM_VALUE 0 vdo->states.layout.size 0
PARAM_VALUE 0 vdo->states.layout.start 0
PARAM_VALUE 0 vdo->states.vdo.config.logical_blocks 0-1099511627776
PARAM_VALUE 0 vdo->states.vdo.config.recovery_journal_size 32768
PARAM_VALUE 0 vdo->states.vdo.config.slab_journal_blocks 224
PARAM_VALUE 0 vdo->states.vdo.config.slab_size 8192-8388608
PARAM_VALUE 0 vdo->states.volume_version.major_version 67
PARAM_VALUE 0 vdo->stats_mutex.first_waiter 0
PARAM_VALUE 0 vdo->stats_mutex.osq.tail.counter 0
PARAM_VALUE 0 vdo->stats_mutex.owner.counter 0
PARAM_VALUE 0 vdo->super_block.vio.block_count 1
PARAM_VALUE 0 vdo->super_block.vio.completion.requeue 0
PARAM_VALUE 0 vdo->super_block.vio.completion.result 0
PARAM_VALUE 0 vdo->super_block.vio.completion.type 16
PARAM_VALUE 0 vdo->super_block.vio.priority 1
PARAM_VALUE 0 vdo->super_block.vio.type 10
PARAM_VALUE 0 vdo->thread_config.bio_thread_count 1-100
PARAM_VALUE 0 vdo->thread_config.hash_zone_count 0-100
PARAM_VALUE 0 vdo->thread_config.logical_zone_count 0-60
PARAM_VALUE 0 vdo->thread_config.physical_zone_count 0-16
PARAM_VALUE 1 starting_phase 19
PARAM_VALUE 4 type 2426919309793800192
BUF_SIZE 4 type 9
DATA_SOURCE 0 vdo r vdo_find_matching
STR_LEN 0 vdo 8
TERMINATED 4 type 1
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

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

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->owning_target 4096-ptr_max
PARAM_VALUE 0 vdo->device_config->owning_target->table 4096-ptr_max
PARAM_VALUE 1 starting_phase 39
PARAM_VALUE 4 type 1114836705405739008
BUF_SIZE 4 type 8
DATA_SOURCE 0 vdo r get_vdo_for_target
STR_LEN 0 vdo 7
TERMINATED 4 type 1
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() -> perform_admin_operation()

Type Parameter Key Value
PARAM_VALUE 0 vdo 4096-ptr_max
PARAM_VALUE 0 vdo->admin.state.current_state 4164417558090747904
PARAM_VALUE 0 vdo->device_config 4096-ptr_max
PARAM_VALUE 0 vdo->device_config->owned_device 4096-ptr_max
PARAM_VALUE 1 starting_phase 10
PARAM_VALUE 4 type 5306164212332224512
BUF_SIZE 4 type 5
DATA_SOURCE 0 vdo $1
STR_LEN 0 vdo 4
TERMINATED 4 type 1
LOCK2 &md->suspend_lock
TYPE_LOCK (struct mapped_device)->suspend_lock

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

Type Parameter Key Value
PARAM_VALUE 0 vdo 4096-ptr_max
PARAM_VALUE 0 vdo->admin.busy.counter 0-s32max
PARAM_VALUE 0 vdo->admin.state.current_state 4164417558090747904
PARAM_VALUE 0 vdo->device_config 4096-ptr_max
PARAM_VALUE 0 vdo->device_config->owned_device 4096-ptr_max
PARAM_VALUE 0 vdo->suspend_type 1145402496441815040
PARAM_VALUE 1 starting_phase 39
PARAM_VALUE 4 type 1114836705405739008
BUF_SIZE 4 type 8
DATA_SOURCE 0 vdo $1
STR_LEN 0 vdo 7
TERMINATED 4 type 1
NOCHECK_CALL
LOCK2 &md->suspend_lock
TYPE_LOCK (struct mapped_device)->suspend_lock

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

Type Parameter Key Value
PARAM_VALUE 0 vdo 4096-ptr_max
PARAM_VALUE 0 vdo->admin.busy.counter 0-s32max
PARAM_VALUE 0 vdo->admin.state.current_state 4164417558090747904
PARAM_VALUE 0 vdo->device_config 4096-ptr_max
PARAM_VALUE 0 vdo->device_config->owned_device 4096-ptr_max
PARAM_VALUE 0 vdo->suspend_type 3391048654270922752
PARAM_VALUE 1 starting_phase 39
PARAM_VALUE 4 type 1114836705405739008
BUF_SIZE 4 type 8
DATA_SOURCE 0 vdo $1
STR_LEN 0 vdo 7
TERMINATED 4 type 1
NOCHECK_CALL
LOCK2 &md->suspend_lock
TYPE_LOCK (struct mapped_device)->suspend_lock

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

Type Parameter Key Value
PARAM_VALUE 0 vdo 4096-ptr_max
PARAM_VALUE 0 vdo->block_map 4096-ptr_max
PARAM_VALUE 0 vdo->block_map->next_entry_count 0
PARAM_VALUE 0 vdo->block_map->next_forest 0
PARAM_VALUE 0 vdo->device_config 4096-ptr_max
PARAM_VALUE 1 starting_phase 28
PARAM_VALUE 4 type 5977479421816856576
BUF_SIZE 0 vdo->device_config 16,40-s32max
BUF_SIZE 4 type 7
CAPPED_DATA 0 vdo->device_config->physical_blocks 1
DATA_SOURCE 0 vdo $1
STR_LEN 0 vdo 6
TERMINATED 4 type 1
LOCK2 &md->suspend_lock
TYPE_LOCK (struct mapped_device)->suspend_lock