Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

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
NOCHECK_CALL

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

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->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
DATA_SOURCE 0 ic $0
FUZZY_MAX 0 ic->sb->flags 0
MEM_ZERO 0 ic->sb
NOCHECK_CALL