Documented in 1 files:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/md/dm-vdo/block-map.c handle_load_error() -> set_info_state()

Type Parameter Key Value
PARAM_VALUE 0 info 4096-ptr_max
PARAM_VALUE 0 info->cache 4096-ptr_max
PARAM_VALUE 0 info->cache->zone 4096-ptr_max
PARAM_VALUE 0 info->cache->zone->block_map 4096-ptr_max
PARAM_VALUE 1 new_state 2
BUF_SIZE 0 info (-1),8-s32max
BUF_SIZE 0 info (-1),8-s32max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/md/dm-vdo/block-map.c handle_page_write_error() -> set_info_state()

Type Parameter Key Value
PARAM_VALUE 0 info 4096-ptr_max
PARAM_VALUE 1 new_state 4
BUF_SIZE 0 info (-1),8-s32max
BUF_SIZE 0 info (-1),8-s32max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/md/dm-vdo/block-map.c launch_page_load() -> set_info_state()

Type Parameter Key Value
PARAM_VALUE 0 info 4096-ptr_max
PARAM_VALUE 0 info->cache 4096-ptr_max
PARAM_VALUE 0 info->cache->zone 4096-ptr_max
PARAM_VALUE 0 info->state_entry.next 4096-ptr_max
PARAM_VALUE 1 new_state 1
BUF_SIZE 0 info (-1),8-s32max
BUF_SIZE 0 info (-1),8-s32max
DATA_SOURCE 0 info $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/md/dm-vdo/block-map.c page_is_loaded() -> set_info_state()

Type Parameter Key Value
PARAM_VALUE 0 info 4096-ptr_max
PARAM_VALUE 0 info->cache 4096-ptr_max
PARAM_VALUE 0 info->cache->zone 4096-ptr_max
PARAM_VALUE 0 info->cache->zone->block_map 4096-ptr_max
PARAM_VALUE 0 info->recovery_lock 0
PARAM_VALUE 1 new_state 3
BUF_SIZE 0 info (-1),8-s32max
BUF_SIZE 0 info (-1),8-s32max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/md/dm-vdo/block-map.c page_is_written_out() -> set_info_state()

Type Parameter Key Value
PARAM_VALUE 0 info 4096-ptr_max
PARAM_VALUE 0 info->cache 4096-ptr_max
PARAM_VALUE 0 info->cache->zone 4096-ptr_max
PARAM_VALUE 0 info->cache->zone->block_map 4096-ptr_max
PARAM_VALUE 0 info->recovery_lock 0
PARAM_VALUE 0 info->write_status 0
PARAM_VALUE 1 new_state 3
BUF_SIZE 0 info (-1),8-s32max
BUF_SIZE 0 info (-1),8-s32max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/md/dm-vdo/block-map.c put_mapping_in_fetched_page() -> set_info_state()

Type Parameter Key Value
PARAM_VALUE 0 info 4096-ptr_max
PARAM_VALUE 0 info->cache 4096-ptr_max
PARAM_VALUE 1 new_state 4
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/md/dm-vdo/block-map.c reset_page_info() -> set_info_state()

Type Parameter Key Value
PARAM_VALUE 0 info 4096-ptr_max
PARAM_VALUE 0 info->cache 4096-ptr_max
PARAM_VALUE 0 info->cache->zone 4096-ptr_max
PARAM_VALUE 1 new_state 0
BUF_SIZE 0 info (-1),8-s32max
BUF_SIZE 0 info (-1),8-s32max
DATA_SOURCE 0 info $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/md/dm-vdo/block-map.c schedule_page_save() -> set_info_state()

Type Parameter Key Value
PARAM_VALUE 0 info 4096-ptr_max
PARAM_VALUE 0 info->busy 0
PARAM_VALUE 0 info->cache 4096-ptr_max
PARAM_VALUE 1 new_state 5
DATA_SOURCE 0 info $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/md/dm-vdo/block-map.c vdo_request_page_write() -> set_info_state()

Type Parameter Key Value
PARAM_VALUE 0 info 4096-ptr_max
PARAM_VALUE 1 new_state 4
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL