Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/md/dm-vdo/block-map.c abort_lookup() -> enter_zone_read_only_mode()

Type Parameter Key Value
PARAM_VALUE 1 result s32min-1466,1468-s32max
DATA_SOURCE 1 result $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/md/dm-vdo/block-map.c handle_write_error() -> enter_zone_read_only_mode()

Type Parameter Key Value
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/md/dm-vdo/block-map.c is_not_older() -> enter_zone_read_only_mode()

Type Parameter Key Value
PARAM_VALUE 0 zone 4096-ptr_max
PARAM_VALUE 1 result 1028
CAPPED_DATA 0 zone->oldest_generation 1
DATA_SOURCE 0 zone $0
DATA_SOURCE 1 result r vdo_must_use
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/md/dm-vdo/block-map.c release_generation() -> enter_zone_read_only_mode()

Type Parameter Key Value
PARAM_VALUE 0 zone 4096-ptr_max
PARAM_VALUE 0 zone->dirty_page_counts 4096-ptr_max
PARAM_VALUE 1 result 1028
DATA_SOURCE 0 zone $0
DATA_SOURCE 1 result r vdo_must_use
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/md/dm-vdo/block-map.c set_generation() -> enter_zone_read_only_mode()

Type Parameter Key Value
PARAM_VALUE 0 zone 4096-ptr_max
PARAM_VALUE 0 zone->dirty_page_counts 4096-ptr_max
PARAM_VALUE 1 result 1028
DATA_SOURCE 0 zone $0
DATA_SOURCE 1 result r vdo_must_use
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/md/dm-vdo/block-map.c validate_completed_page_or_enter_read_only_mode() -> enter_zone_read_only_mode()

Type Parameter Key Value
PARAM_VALUE 1 result 1028
DATA_SOURCE 1 result r validate_completed_page
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/md/dm-vdo/block-map.c write_expired_elements() -> enter_zone_read_only_mode()

Type Parameter Key Value
PARAM_VALUE 0 zone 4096-ptr_max
PARAM_VALUE 0 zone->dirty_lists 4096-ptr_max
PARAM_VALUE 0 zone->dirty_lists->expired 4096-ptr_max
PARAM_VALUE 1 result 1028
CAPPED_DATA 0 zone->dirty_lists->next_period 1
DATA_SOURCE 0 zone $0
DATA_SOURCE 1 result r vdo_must_use
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL