Open Menu /

Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 8 files:

Smatch caller information:

drivers/md/dm-vdo/packer.c vdo_drain_packer() -> vdo_start_draining()

Type Parameter Key Value
PARAM_VALUE 0 state 4096-ptr_max
PARAM_VALUE 2 waiter 4096-ptr_max
PARAM_VALUE 2 waiter->vdo 4096-ptr_max
PARAM_VALUE 2 waiter->vdo->admin.completion.requeue 1
PARAM_VALUE 2 waiter->vdo->hash_zones->changing 0-1
PARAM_VALUE 2 waiter->vdo->hash_zones->create_flag 0-1
PARAM_VALUE 2 waiter->vdo->hash_zones->dedupe_flag 0-1
PARAM_VALUE 2 waiter->vdo->hash_zones->index_target 0-4294967295
PARAM_VALUE 2 waiter->vdo->hash_zones->zone_count 0-255
BUF_SIZE 2 waiter (-1),4,8-s32max
BUF_SIZE 2 waiter (-1),4,8-s32max
BUF_SIZE 2 waiter->parent (-1),8-s32max
DATA_SOURCE 2 waiter $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 2 waiter->vdo->geometry.index_config.mem
NO_OVERFLOW_SIMPLE 2 waiter->vdo->states.vdo.config.physical_blocks
NO_OVERFLOW_SIMPLE 2 waiter->vdo->thread_config.bio_thread_count
NO_OVERFLOW_SIMPLE 2 waiter->vdo->thread_config.hash_zone_count
NO_OVERFLOW_SIMPLE 2 waiter->vdo->thread_config.logical_zone_count
NO_OVERFLOW_SIMPLE 2 waiter->vdo->thread_config.physical_zone_count
NO_OVERFLOW_SIMPLE 2 waiter->vdo->thread_config.thread_count

drivers/md/dm-vdo/slab-depot.c do_drain_step() -> vdo_start_draining()

Type Parameter Key Value
PARAM_VALUE 0 state 4096-ptr_max
PARAM_VALUE 2 waiter 4096-ptr_max
BUF_SIZE 2 waiter (-1),4,8-s32max
BUF_SIZE 2 waiter (-1),4,8-s32max
BUF_SIZE 2 waiter->parent (-1),8-s32max
DATA_SOURCE 2 waiter $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 2 waiter->vdo->geometry.index_config.mem
NO_OVERFLOW_SIMPLE 2 waiter->vdo->states.vdo.config.physical_blocks
NO_OVERFLOW_SIMPLE 2 waiter->vdo->thread_config.bio_thread_count
NO_OVERFLOW_SIMPLE 2 waiter->vdo->thread_config.hash_zone_count
NO_OVERFLOW_SIMPLE 2 waiter->vdo->thread_config.logical_zone_count
NO_OVERFLOW_SIMPLE 2 waiter->vdo->thread_config.physical_zone_count
NO_OVERFLOW_SIMPLE 2 waiter->vdo->thread_config.thread_count

drivers/md/dm-vdo/slab-depot.c drain_allocator() -> vdo_start_draining()

Type Parameter Key Value
PARAM_VALUE 0 state 4096-ptr_max
DATA_SOURCE 2 waiter $2
NOCHECK_CALL

drivers/md/dm-vdo/slab-depot.c stop_scrubbing() -> vdo_start_draining()

Type Parameter Key Value
PARAM_VALUE 0 state 4096-ptr_max
PARAM_VALUE 2 waiter 4096-ptr_max
PARAM_VALUE 2 waiter->callback 5968476710246232064
PARAM_VALUE 2 waiter->complete 0
PARAM_VALUE 2 waiter->error_handler 6100805549957750784
PARAM_VALUE 2 waiter->parent 0
PARAM_VALUE 2 waiter->requeue 1
PARAM_VALUE 2 waiter->result 0
PARAM_VALUE 3 initiator 0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/md/dm-vdo/dedupe.c drain_hash_zone() -> vdo_start_draining()

Type Parameter Key Value
PARAM_VALUE 0 state 4096-ptr_max
DATA_SOURCE 2 waiter $2
NOCHECK_CALL

drivers/md/dm-vdo/dedupe.c suspend_index() -> vdo_start_draining()

Type Parameter Key Value
PARAM_VALUE 0 state 4096-ptr_max
DATA_SOURCE 2 waiter $1
NOCHECK_CALL

drivers/md/dm-vdo/recovery-journal.c vdo_drain_recovery_journal() -> vdo_start_draining()

Type Parameter Key Value
PARAM_VALUE 0 state 4096-ptr_max
PARAM_VALUE 2 waiter 4096-ptr_max
PARAM_VALUE 2 waiter->vdo 4096-ptr_max
PARAM_VALUE 2 waiter->vdo->admin.completion.requeue 1
PARAM_VALUE 2 waiter->vdo->hash_zones->changing 0-1
PARAM_VALUE 2 waiter->vdo->hash_zones->create_flag 0-1
PARAM_VALUE 2 waiter->vdo->hash_zones->dedupe_flag 0-1
PARAM_VALUE 2 waiter->vdo->hash_zones->index_target 0-4294967295
PARAM_VALUE 2 waiter->vdo->hash_zones->zone_count 0-255
BUF_SIZE 2 waiter (-1),4,8-s32max
BUF_SIZE 2 waiter (-1),4,8-s32max
BUF_SIZE 2 waiter->parent (-1),8-s32max
DATA_SOURCE 1 operation $1
DATA_SOURCE 2 waiter $2
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 2 waiter->vdo->geometry.index_config.mem
NO_OVERFLOW_SIMPLE 2 waiter->vdo->states.vdo.config.physical_blocks
NO_OVERFLOW_SIMPLE 2 waiter->vdo->thread_config.bio_thread_count
NO_OVERFLOW_SIMPLE 2 waiter->vdo->thread_config.hash_zone_count
NO_OVERFLOW_SIMPLE 2 waiter->vdo->thread_config.logical_zone_count
NO_OVERFLOW_SIMPLE 2 waiter->vdo->thread_config.physical_zone_count
NO_OVERFLOW_SIMPLE 2 waiter->vdo->thread_config.thread_count

drivers/md/dm-vdo/block-map.c drain_zone() -> vdo_start_draining()

Type Parameter Key Value
PARAM_VALUE 0 state 4096-ptr_max
DATA_SOURCE 2 waiter $2
NOCHECK_CALL

drivers/md/dm-vdo/flush.c vdo_drain_flusher() -> vdo_start_draining()

Type Parameter Key Value
PARAM_VALUE 0 state 4096-ptr_max
PARAM_VALUE 2 waiter 4096-ptr_max
PARAM_VALUE 2 waiter->vdo 4096-ptr_max
PARAM_VALUE 2 waiter->vdo->admin.completion.requeue 1
PARAM_VALUE 2 waiter->vdo->hash_zones->changing 0-1
PARAM_VALUE 2 waiter->vdo->hash_zones->create_flag 0-1
PARAM_VALUE 2 waiter->vdo->hash_zones->dedupe_flag 0-1
PARAM_VALUE 2 waiter->vdo->hash_zones->index_target 0-4294967295
PARAM_VALUE 2 waiter->vdo->hash_zones->zone_count 0-255
BUF_SIZE 2 waiter (-1),4,8-s32max
BUF_SIZE 2 waiter (-1),4,8-s32max
BUF_SIZE 2 waiter->parent (-1),8-s32max
DATA_SOURCE 2 waiter $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 2 waiter->vdo->geometry.index_config.mem
NO_OVERFLOW_SIMPLE 2 waiter->vdo->states.vdo.config.physical_blocks
NO_OVERFLOW_SIMPLE 2 waiter->vdo->thread_config.bio_thread_count
NO_OVERFLOW_SIMPLE 2 waiter->vdo->thread_config.hash_zone_count
NO_OVERFLOW_SIMPLE 2 waiter->vdo->thread_config.logical_zone_count
NO_OVERFLOW_SIMPLE 2 waiter->vdo->thread_config.physical_zone_count
NO_OVERFLOW_SIMPLE 2 waiter->vdo->thread_config.thread_count

drivers/md/dm-vdo/logical-zone.c drain_logical_zone() -> vdo_start_draining()

Type Parameter Key Value
PARAM_VALUE 0 state 4096-ptr_max
DATA_SOURCE 2 waiter $2
NOCHECK_CALL

drivers/md/dm-vdo/data-vio.c drain_data_vio_pool() -> vdo_start_draining()

Type Parameter Key Value
PARAM_VALUE 0 state 4096-ptr_max
PARAM_VALUE 2 waiter 4096-ptr_max
PARAM_VALUE 2 waiter->vdo 4096-ptr_max
PARAM_VALUE 2 waiter->vdo->admin.completion.requeue 1
PARAM_VALUE 2 waiter->vdo->hash_zones->changing 0-1
PARAM_VALUE 2 waiter->vdo->hash_zones->create_flag 0-1
PARAM_VALUE 2 waiter->vdo->hash_zones->dedupe_flag 0-1
PARAM_VALUE 2 waiter->vdo->hash_zones->index_target 0-4294967295
PARAM_VALUE 2 waiter->vdo->hash_zones->zone_count 0-255
BUF_SIZE 2 waiter (-1),4,8-s32max
BUF_SIZE 2 waiter (-1),4,8-s32max
BUF_SIZE 2 waiter->parent (-1),8-s32max
DATA_SOURCE 2 waiter $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 2 waiter->vdo->geometry.index_config.mem
NO_OVERFLOW_SIMPLE 2 waiter->vdo->states.vdo.config.physical_blocks
NO_OVERFLOW_SIMPLE 2 waiter->vdo->thread_config.bio_thread_count
NO_OVERFLOW_SIMPLE 2 waiter->vdo->thread_config.hash_zone_count
NO_OVERFLOW_SIMPLE 2 waiter->vdo->thread_config.logical_zone_count
NO_OVERFLOW_SIMPLE 2 waiter->vdo->thread_config.physical_zone_count
NO_OVERFLOW_SIMPLE 2 waiter->vdo->thread_config.thread_count