Open Menu /

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() -> abort_load()

Type Parameter Key Value
PARAM_VALUE 0 data_vio 4096-ptr_max
PARAM_VALUE 0 data_vio->tree_lock.tree_slots 4096-ptr_max
PARAM_VALUE 1 result 1485
BUF_SIZE 0 data_vio (-1),8-s32max
BUF_SIZE 0 data_vio (-1),8-s32max
DATA_SOURCE 0 data_vio $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/md/dm-vdo/block-map.c handle_io_error() -> abort_load()

Type Parameter Key Value
BUF_SIZE 0 data_vio (-1),8-s32max
BUF_SIZE 0 data_vio (-1),8-s32max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

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

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

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

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