Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/md/dm-integrity.c init_journal() -> write_journal()

Type Parameter Key Value
PARAM_VALUE 0 ic 4096-ptr_max
PARAM_VALUE 0 ic->sb->salt 0-255
PARAM_VALUE 2 commit_sections 1-u32max
BUF_SIZE 0 ic 16,40-s32max
BUF_SIZE 0 ic 16,40-s32max
CAPPED_DATA 0 ic->journal_section_entries 1
CAPPED_DATA 0 ic->journal_section_sectors 1
CAPPED_DATA 0 ic->journal_sections 1
CAPPED_DATA 2 commit_sections 1
DATA_SOURCE 0 ic $0
DATA_SOURCE 1 commit_start $1
DATA_SOURCE 2 commit_sections $2
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 ic->bufio->slab_buffer->object_size
UNITS 1 commit_start unit_array_size
UNITS 2 commit_sections unit_array_size
HALF_LOCKED2 &md->suspend_lock
TYPE_LOCK (struct mapped_device)->suspend_lock

drivers/md/dm-integrity.c integrity_commit() -> write_journal()

Type Parameter Key Value
PARAM_VALUE 0 ic 4096-ptr_max
PARAM_VALUE 0 ic->autocommit_timer.entry.pprev 0
PARAM_VALUE 0 ic->autocommit_timer.flags 0-4194302
PARAM_VALUE 0 ic->autocommit_timer.function 0
PARAM_VALUE 0 ic->endio_wait.lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 ic->flush_bio_list.head 0
PARAM_VALUE 0 ic->flush_bio_list.tail 0
PARAM_VALUE 0 ic->free_section_entry 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->mode 74
PARAM_VALUE 0 ic->n_uncommitted_sections 1-u32max
PARAM_VALUE 0 ic->wrote_to_journal 1
PARAM_VALUE 2 commit_sections 1-u32max
CAPPED_DATA 0 ic->journal_section_entries 1
CAPPED_DATA 0 ic->journal_section_sectors 1
CAPPED_DATA 0 ic->journal_sections 1
CAPPED_DATA 2 commit_sections 1
NOCHECK_CALL
UNITS 1 commit_start unit_array_size
UNITS 2 commit_sections unit_array_size