Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/md/dm-vdo/block-map.c continue_with_loaded_page() -> load_block_map_page()

Type Parameter Key Value
PARAM_VALUE 1 data_vio 4096-ptr_max
PARAM_VALUE 1 data_vio->logical.zone 4096-ptr_max
PARAM_VALUE 1 data_vio->tree_lock.height 0,2-255
PARAM_VALUE 1 data_vio->tree_lock.tree_slots 4096-ptr_max
BUF_SIZE 1 data_vio (-1),8-s32max
BUF_SIZE 1 data_vio (-1),8-s32max
DATA_SOURCE 1 data_vio $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/md/dm-vdo/block-map.c vdo_find_block_map_slot() -> load_block_map_page()

Type Parameter Key Value
PARAM_VALUE 0 zone 4096-ptr_max
PARAM_VALUE 0 zone->block_map 4096-ptr_max
PARAM_VALUE 0 zone->block_map->forest 4096-ptr_max
PARAM_VALUE 1 data_vio 4096-ptr_max
PARAM_VALUE 1 data_vio->last_async_operation 8
PARAM_VALUE 1 data_vio->logical.locked 1
PARAM_VALUE 1 data_vio->logical.zone 4096-ptr_max
PARAM_VALUE 1 data_vio->logical.zone->block_map_zone 4096-ptr_max
PARAM_VALUE 1 data_vio->logical.zone->block_map_zone->block_map 4096-ptr_max
PARAM_VALUE 1 data_vio->logical.zone->block_map_zone->block_map->forest 4096-ptr_max
PARAM_VALUE 1 data_vio->tree_lock.height 2-6
PARAM_VALUE 1 data_vio->tree_lock.tree_slots 4096-ptr_max
CAPPED_DATA 0 zone->block_map->forest->segments 1
DATA_SOURCE 1 data_vio $0
HARD_MAX 1 data_vio->tree_lock.height 6
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL