Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/md/dm-vdo/repair.c recover_block_map() -> fetch_block_map_page()

Type Parameter Key Value
PARAM_VALUE 0 repair 4096-ptr_max
PARAM_VALUE 0 repair->block_map_entry_count 1-u64max
PARAM_VALUE 0 repair->current_entry 4096-ptr_max
PARAM_VALUE 0 repair->current_unfetched_entry 4096-ptr_max
PARAM_VALUE 0 repair->entries 4096-ptr_max
PARAM_VALUE 0 repair->launching 1
PARAM_VALUE 0 repair->page_completions 4096-ptr_max
PARAM_VALUE 0 repair->page_count 1-u32max
CAPPED_DATA 0 repair->entries 1
DATA_SOURCE 0 repair r as_repair_completion
PARAM_COMPARE 0 repair->current_unfetched_entry >= $0->entries
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/md/dm-vdo/repair.c recover_ready_pages() -> fetch_block_map_page()

Type Parameter Key Value
PARAM_VALUE 0 repair 4096-ptr_max
PARAM_VALUE 0 repair->current_entry 4096-ptr_max
PARAM_VALUE 0 repair->launching 0
PARAM_VALUE 1 completion 4096-ptr_max
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 repair $0
DATA_SOURCE 1 completion $1 [m]
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