Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/md/dm-vdo/block-map.c finish_block_map_allocation() -> get_tree_page()

Type Parameter Key Value
PARAM_VALUE 1 lock 4096-ptr_max
BUF_SIZE 1 lock 176
RX_PATH
TASK_NOT_RUNNING

drivers/md/dm-vdo/block-map.c finish_block_map_allocation() -> get_tree_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 lock 4096-ptr_max
PARAM_VALUE 1 lock->tree_slots 4096-ptr_max
BUF_SIZE 1 lock 176
CAPPED_DATA 0 zone->block_map->forest->segments 1
RX_PATH
TASK_NOT_RUNNING

drivers/md/dm-vdo/block-map.c finish_block_map_page_load() -> get_tree_page()

Type Parameter Key Value
PARAM_VALUE 1 lock 4096-ptr_max
PARAM_VALUE 1 lock->tree_slots 4096-ptr_max
BUF_SIZE 1 lock 176
RX_PATH
TASK_NOT_RUNNING

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

Type Parameter Key Value
PARAM_VALUE 0 zone 4096-ptr_max
PARAM_VALUE 0 zone->block_map 4096-ptr_max
PARAM_VALUE 1 lock 4096-ptr_max
PARAM_VALUE 1 lock->height 1-5
PARAM_VALUE 1 lock->tree_slots 4096-ptr_max
BUF_SIZE 1 lock 176
FUZZY_MAX 1 lock->height 5
HARD_MAX 1 lock->height 5
RX_PATH
TASK_NOT_RUNNING