Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/md/dm-integrity.c replay_journal() -> find_commit_seq()

Type Parameter Key Value
PARAM_VALUE 0 ic 4096-ptr_max
PARAM_VALUE 0 ic->failed 0
PARAM_VALUE 0 ic->journal 4096-ptr_max
PARAM_VALUE 0 ic->journal_section_sectors 1-u16max
PARAM_VALUE 0 ic->journal_sections 1-u32max
PARAM_VALUE 0 ic->journal_uptodate 0
PARAM_VALUE 0 ic->meta_dev 0,4096-ptr_max
PARAM_VALUE 0 ic->mode 0-81,83-255
PARAM_VALUE 0 ic->sb 4096-ptr_max
PARAM_VALUE 0 ic->sb->salt 0-255
PARAM_VALUE 0 ic->wrote_to_journal 0
PARAM_VALUE 1 i 0-4294967294
PARAM_VALUE 2 j 0-65534
BUF_SIZE 0 ic 16,40-s32max
BUF_SIZE 0 ic 16,40-s32max
CAPPED_DATA 0 ic->provided_data_sectors 1
CAPPED_DATA 1 i 1
CAPPED_DATA 2 j 1
DATA_SOURCE 0 ic $0
PARAM_COMPARE 0 ic->journal_section_sectors > $2
PARAM_COMPARE 1 i < $0->journal_sections
PARAM_COMPARE 2 j < $0->journal_section_sectors
UNITS 1 i unit_array_size
LOCK2 &md->suspend_lock
TYPE_LOCK (struct mapped_device)->suspend_lock