Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

Type Parameter Key Value
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_validate_block_map_page()

Type Parameter Key Value
DATA_SOURCE 0 page $0
DATA_SOURCE 1 nonce $1
DATA_SOURCE 2 pbn $2
RX_PATH
TASK_NOT_RUNNING