Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/md/dm-vdo/indexer/volume.c donate_index_page_locked() -> map_to_physical_page()

Type Parameter Key Value
PARAM_VALUE 0 geometry 4096-ptr_max
CAPPED_DATA 2 page 1
DATA_SOURCE 1 chapter $1
DATA_SOURCE 2 page $2
LOCK2 &volume->read_threads_mutex
TYPE_LOCK (struct volume)->read_threads_mutex

drivers/md/dm-vdo/indexer/volume.c get_volume_page() -> map_to_physical_page()

Type Parameter Key Value
PARAM_VALUE 0 geometry 4096-ptr_max
DATA_SOURCE 1 chapter $1
DATA_SOURCE 2 page $2
RX_PATH
TASK_NOT_RUNNING

drivers/md/dm-vdo/indexer/volume.c probe_chapter() -> map_to_physical_page()

Type Parameter Key Value
PARAM_VALUE 0 geometry 4096-ptr_max
PARAM_VALUE 2 page 0
BUF_SIZE 0 geometry 96
DATA_SOURCE 1 chapter $1
RX_PATH
TASK_NOT_RUNNING

drivers/md/dm-vdo/indexer/volume.c search_cached_index_page() -> map_to_physical_page()

Type Parameter Key Value
PARAM_VALUE 0 geometry 4096-ptr_max
DATA_SOURCE 1 chapter $2
DATA_SOURCE 2 page $3

drivers/md/dm-vdo/indexer/volume.c uds_forget_chapter() -> map_to_physical_page()

Type Parameter Key Value
PARAM_VALUE 0 geometry 4096-ptr_max
PARAM_VALUE 2 page 0

drivers/md/dm-vdo/indexer/volume.c uds_prefetch_volume_chapter() -> map_to_physical_page()

Type Parameter Key Value
PARAM_VALUE 0 geometry 4096-ptr_max
PARAM_VALUE 2 page 0
BUF_SIZE 0 geometry 96
DATA_SOURCE 1 chapter $1
RX_PATH
TASK_NOT_RUNNING

drivers/md/dm-vdo/indexer/volume.c uds_read_chapter_index_from_volume() -> map_to_physical_page()

Type Parameter Key Value
PARAM_VALUE 0 geometry 4096-ptr_max
PARAM_VALUE 2 page 0
BUF_SIZE 0 geometry 96

drivers/md/dm-vdo/indexer/volume.c uds_search_cached_record_page() -> map_to_physical_page()

Type Parameter Key Value
PARAM_VALUE 0 geometry 4096-ptr_max
DATA_SOURCE 1 chapter $2

drivers/md/dm-vdo/indexer/volume.c write_index_pages() -> map_to_physical_page()

Type Parameter Key Value
PARAM_VALUE 0 geometry 4096-ptr_max
PARAM_VALUE 2 page 0
BUF_SIZE 0 geometry 96
DATA_SOURCE 1 chapter $1

drivers/md/dm-vdo/indexer/volume.c write_record_pages() -> map_to_physical_page()

Type Parameter Key Value
PARAM_VALUE 0 geometry 4096-ptr_max
BUF_SIZE 0 geometry 96
CAPPED_DATA 0 geometry->index_pages_per_chapter 1
CAPPED_DATA 2 page 1
DATA_SOURCE 1 chapter $1