Open Menu /

Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

drivers/md/dm-vdo/encodings.c vdo_validate_block_map_page() -> vdo_get_block_map_page_pbn()

Type Parameter Key Value
PARAM_VALUE 0 page 4096-ptr_max
CAPPED_DATA 0 page->header.nonce 1
DATA_SOURCE 0 page $0
RX_PATH
TASK_NOT_RUNNING

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

Type Parameter Key Value
PARAM_VALUE 0 page 4096-ptr_max
CAPPED_DATA 0 page->header.nonce 1
DATA_SOURCE 0 page r get_page_buffer
RX_PATH
TASK_NOT_RUNNING

drivers/md/dm-vdo/block-map.c vdo_copy_valid_page() -> vdo_get_block_map_page_pbn()

Type Parameter Key Value
PARAM_VALUE 0 page 4096-ptr_max
CAPPED_DATA 0 page->header.nonce 1
DATA_SOURCE 0 page $0
RX_PATH
TASK_NOT_RUNNING

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

Type Parameter Key Value
BUF_SIZE 0 page 4096
BUF_SIZE 0 page 4096
RX_PATH
TASK_NOT_RUNNING

drivers/md/dm-vdo/block-map.c write_initialized_page() -> vdo_get_block_map_page_pbn()

Type Parameter Key Value
PARAM_VALUE 0 page 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING

drivers/md/dm-vdo/block-map.c write_page() -> vdo_get_block_map_page_pbn()

Type Parameter Key Value
PARAM_VALUE 0 page 4096-ptr_max
BUF_SIZE 0 page 4096
BUF_SIZE 0 page 4096
RX_PATH
TASK_NOT_RUNNING

drivers/md/dm-vdo/repair.c process_slot() -> vdo_get_block_map_page_pbn()

Type Parameter Key Value
PARAM_VALUE 0 page 4096-ptr_max
DATA_SOURCE 0 page $0
RX_PATH
TASK_NOT_RUNNING

drivers/md/dm-vdo/repair.c rebuild_reference_counts_from_page() -> vdo_get_block_map_page_pbn()

Type Parameter Key Value
PARAM_VALUE 0 page 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING