Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/md/dm-integrity.c get_provided_data_sectors() -> calculate_device_limits()

Type Parameter Key Value
PARAM_VALUE 0 ic 4096-ptr_max
PARAM_VALUE 0 ic->journal_entries 0
PARAM_VALUE 0 ic->journal_section_sectors 8-263
PARAM_VALUE 0 ic->journal_sections 0
PARAM_VALUE 0 ic->meta_dev 0
PARAM_VALUE 0 ic->sb 4096-ptr_max
PARAM_VALUE 0 ic->sb->flags 0-1,8-121
PARAM_VALUE 0 ic->sb->log2_interleave_sectors 3-31
CAPPED_DATA 0 ic->sb->log2_interleave_sectors 1
DATA_SOURCE 0 ic $0
FUZZY_MAX 0 ic->sb->flags 0
MEM_ZERO 0 ic->sb
NO_OVERFLOW_SIMPLE 0 ic->initial_sectors

drivers/md/dm-integrity.c initialize_superblock() -> calculate_device_limits()

Type Parameter Key Value
PARAM_VALUE 0 ic 4096-ptr_max
PARAM_VALUE 0 ic->journal_entries 0
PARAM_VALUE 0 ic->journal_section_sectors 8-263
PARAM_VALUE 0 ic->journal_sections 0
PARAM_VALUE 0 ic->meta_dev 1-u64max
PARAM_VALUE 0 ic->provided_data_sectors 1-u64max
PARAM_VALUE 0 ic->sb 4096-ptr_max
PARAM_VALUE 0 ic->sb->flags 0-1,16-17,32-33,48-49,64-65,80-81,96-97,112-113
PARAM_VALUE 0 ic->sb->log2_interleave_sectors 0
PARAM_VALUE 0 ic->sb->magic 0
PARAM_VALUE 0 ic->sb->salt 0
CAPPED_DATA 0 ic->sb->journal_sections 1
DATA_SOURCE 0 ic $0
FUZZY_MAX 0 ic->sb->flags 0
MEM_ZERO 0 ic->sb
NO_OVERFLOW_SIMPLE 0 ic->initial_sectors