Open Menu /

Documented in 1 files:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/md/dm-vdo/repair.c process_slot() -> unmap_entry()

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

drivers/md/dm-vdo/repair.c process_slot() -> unmap_entry()

Type Parameter Key Value
PARAM_VALUE 0 page 4096-ptr_max
PARAM_VALUE 0 page->entries 4096-ptr_max
PARAM_VALUE 0 page->header.initialized 1
PARAM_VALUE 1 completion 4096-ptr_max
PARAM_VALUE 1 completion->parent 4096-ptr_max
PARAM_VALUE 1 completion->vdo 4096-ptr_max
PARAM_VALUE 1 completion->vdo->depot->slab_count 1-u16max
PARAM_VALUE 1 completion->vdo->hash_zones->changing 0-1
PARAM_VALUE 1 completion->vdo->hash_zones->create_flag 0-1
PARAM_VALUE 1 completion->vdo->hash_zones->dedupe_flag 0-1
PARAM_VALUE 1 completion->vdo->hash_zones->index_target 0-4294967295
PARAM_VALUE 1 completion->vdo->hash_zones->zone_count 0-255
PARAM_VALUE 2 slot 0-65534
BUF_SIZE 1 completion (-1),4,8-s32max
BUF_SIZE 1 completion (-1),4,8-s32max
BUF_SIZE 1 completion->parent (-1),8-s32max
CAPPED_DATA 2 slot 1
DATA_SOURCE 0 page $0
DATA_SOURCE 1 completion $1
DATA_SOURCE 2 slot $2
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 1 completion->vdo->geometry.index_config.mem
NO_OVERFLOW_SIMPLE 1 completion->vdo->states.vdo.config.physical_blocks
NO_OVERFLOW_SIMPLE 1 completion->vdo->thread_config.bio_thread_count
NO_OVERFLOW_SIMPLE 1 completion->vdo->thread_config.hash_zone_count
NO_OVERFLOW_SIMPLE 1 completion->vdo->thread_config.logical_zone_count
NO_OVERFLOW_SIMPLE 1 completion->vdo->thread_config.physical_zone_count
NO_OVERFLOW_SIMPLE 1 completion->vdo->thread_config.thread_count

drivers/md/dm-vdo/repair.c process_slot() -> unmap_entry()

Type Parameter Key Value
PARAM_VALUE 0 page 4096-ptr_max
PARAM_VALUE 0 page->entries 4096-ptr_max
PARAM_VALUE 0 page->header.initialized 1
PARAM_VALUE 1 completion 4096-ptr_max
PARAM_VALUE 1 completion->parent 4096-ptr_max
PARAM_VALUE 1 completion->vdo 4096-ptr_max
PARAM_VALUE 1 completion->vdo->depot->slab_count 1-u16max
PARAM_VALUE 1 completion->vdo->hash_zones->changing 0-1
PARAM_VALUE 1 completion->vdo->hash_zones->create_flag 0-1
PARAM_VALUE 1 completion->vdo->hash_zones->dedupe_flag 0-1
PARAM_VALUE 1 completion->vdo->hash_zones->index_target 0-4294967295
PARAM_VALUE 1 completion->vdo->hash_zones->zone_count 0-255
PARAM_VALUE 2 slot 0-65534
BUF_SIZE 1 completion (-1),4,8-s32max
BUF_SIZE 1 completion (-1),4,8-s32max
BUF_SIZE 1 completion->parent (-1),8-s32max
CAPPED_DATA 2 slot 1
DATA_SOURCE 0 page $0
DATA_SOURCE 1 completion $1
DATA_SOURCE 2 slot $2
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 1 completion->vdo->geometry.index_config.mem
NO_OVERFLOW_SIMPLE 1 completion->vdo->states.vdo.config.physical_blocks
NO_OVERFLOW_SIMPLE 1 completion->vdo->thread_config.bio_thread_count
NO_OVERFLOW_SIMPLE 1 completion->vdo->thread_config.hash_zone_count
NO_OVERFLOW_SIMPLE 1 completion->vdo->thread_config.logical_zone_count
NO_OVERFLOW_SIMPLE 1 completion->vdo->thread_config.physical_zone_count
NO_OVERFLOW_SIMPLE 1 completion->vdo->thread_config.thread_count

drivers/md/dm-vdo/repair.c remove_out_of_bounds_entries() -> unmap_entry()

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