Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/md/dm-integrity.c access_page_list() -> page_list_location()

Type Parameter Key Value
PARAM_VALUE 0 ic 4096-ptr_max
PARAM_VALUE 0 ic->sb->salt 0-255
PARAM_VALUE 2 offset 0-65534
PARAM_VALUE 3 pl_index 3739055176398622720
PARAM_VALUE 4 pl_offset 5274706260298158080
BUF_SIZE 0 ic (-1),16,40-s32max
BUF_SIZE 0 ic (-1),16,40-s32max
CAPPED_DATA 2 offset 1
DATA_SOURCE 0 ic $0
DATA_SOURCE 1 section $2
DATA_SOURCE 2 offset $3
FUZZY_MAX 2 offset 7
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 ic->bufio->block_size
UNITS 1 section unit_array_size
HALF_LOCKED2 0 &ic->endio_wait.lock

drivers/md/dm-integrity.c dm_integrity_alloc_journal_scatterlist() -> page_list_location()

Type Parameter Key Value
PARAM_VALUE 0 ic 4096-ptr_max
PARAM_VALUE 0 ic->commit_ids 4096-ptr_max
PARAM_VALUE 0 ic->journal 4096-ptr_max
PARAM_VALUE 0 ic->journal_crypt 4096-ptr_max
PARAM_VALUE 0 ic->journal_crypt_alg.alg_string 1-u64max
PARAM_VALUE 0 ic->journal_io 4096-ptr_max
PARAM_VALUE 0 ic->journal_sections 1-u32max
PARAM_VALUE 2 offset 0
PARAM_VALUE 3 pl_index 4962029573513121792
PARAM_VALUE 4 pl_offset 1688631286093058048
BUF_SIZE 0 ic->journal 0-s32max
BUF_SIZE 0 ic->journal_io 0-s32max
BUF_SIZE 0 ic->journal_scatterlist (-1)-s32max
CAPPED_DATA 0 ic->journal_pages 1
CAPPED_DATA 1 section 1
DATA_SOURCE 0 ic $0
PARAM_COMPARE 1 section < $0->journal_sections
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 ic->journal_sections
NO_OVERFLOW_SIMPLE 1 section
UNITS 1 section unit_array_size

drivers/md/dm-integrity.c dm_integrity_alloc_journal_scatterlist() -> page_list_location()

Type Parameter Key Value
PARAM_VALUE 0 ic 4096-ptr_max
PARAM_VALUE 0 ic->commit_ids 4096-ptr_max
PARAM_VALUE 0 ic->journal 4096-ptr_max
PARAM_VALUE 0 ic->journal_crypt 4096-ptr_max
PARAM_VALUE 0 ic->journal_crypt_alg.alg_string 1-u64max
PARAM_VALUE 0 ic->journal_io 4096-ptr_max
PARAM_VALUE 0 ic->journal_section_sectors 1-u16max
PARAM_VALUE 0 ic->journal_sections 1-u32max
PARAM_VALUE 1 section 0-4294967294
PARAM_VALUE 2 offset 0-65534
PARAM_VALUE 3 pl_index 4860235965543776256
PARAM_VALUE 4 pl_offset 8193088496902569984
BUF_SIZE 0 ic->journal 0-s32max
BUF_SIZE 0 ic->journal_io 0-s32max
BUF_SIZE 0 ic->journal_scatterlist (-1)-s32max
CAPPED_DATA 0 ic->journal_pages 1
CAPPED_DATA 1 section 1
DATA_SOURCE 0 ic $0
PARAM_COMPARE 1 section < $0->journal_sections
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 ic->journal_sections
NO_OVERFLOW_SIMPLE 1 section
UNITS 1 section unit_array_size

drivers/md/dm-integrity.c xor_journal() -> page_list_location()

Type Parameter Key Value
PARAM_VALUE 0 ic 4096-ptr_max
PARAM_VALUE 0 ic->journal_io 1-u64max
PARAM_VALUE 0 ic->journal_xor 1-u64max
PARAM_VALUE 0 ic->sb->salt 0-255
PARAM_VALUE 2 offset 0
PARAM_VALUE 3 pl_index 2668348333388111872
PARAM_VALUE 4 pl_offset 4894306477906251776
BUF_SIZE 0 ic (-1),16,40-s32max
BUF_SIZE 0 ic (-1),16,40-s32max
DATA_SOURCE 0 ic $0
DATA_SOURCE 1 section $2
NOCHECK_CALL
UNITS 1 section unit_array_size

drivers/md/dm-integrity.c xor_journal() -> page_list_location()

Type Parameter Key Value
PARAM_VALUE 0 ic 4096-ptr_max
PARAM_VALUE 0 ic->journal_io 1-u64max
PARAM_VALUE 0 ic->journal_section_sectors 1-u16max
PARAM_VALUE 0 ic->journal_sections 1-u32max
PARAM_VALUE 0 ic->journal_xor 1-u64max
PARAM_VALUE 0 ic->sb->salt 0-255
PARAM_VALUE 2 offset 0
PARAM_VALUE 3 pl_index 4474308448466006016
PARAM_VALUE 3 *pl_index 0-536870911
PARAM_VALUE 4 pl_offset 1833139448620392448
BUF_SIZE 0 ic (-1),16,40-s32max
BUF_SIZE 0 ic (-1),16,40-s32max
DATA_SOURCE 0 ic $0
DATA_SOURCE 1 section $2 [m]
NOCHECK_CALL
UNITS 1 section unit_array_size