Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/md/dm-integrity.c access_journal_data() -> access_journal()

Type Parameter Key Value
PARAM_VALUE 0 ic 4096-ptr_max
PARAM_VALUE 0 ic->journal 4096-ptr_max
PARAM_VALUE 0 ic->journal_section_entries 1-255
PARAM_VALUE 0 ic->journal_section_sectors 1-u16max
PARAM_VALUE 0 ic->journal_sections 1-u32max
PARAM_VALUE 0 ic->sb 4096-ptr_max
PARAM_VALUE 0 ic->sb->salt 0-255
PARAM_VALUE 1 section 0-4294967294
PARAM_VALUE 2 offset 0-65534
BUF_SIZE 0 ic (-1),16,40-s32max
BUF_SIZE 0 ic (-1),16,40-s32max
CAPPED_DATA 0 ic->journal_sections 1
CAPPED_DATA 1 section 1
CAPPED_DATA 2 offset 1
DATA_SOURCE 0 ic $0
DATA_SOURCE 1 section $1
DATA_SOURCE 2 offset $2 [m]
PARAM_COMPARE 0 ic->journal_section_sectors > $2
PARAM_COMPARE 0 ic->journal_sections > $1
PARAM_COMPARE 1 section < $0->journal_sections
PARAM_COMPARE 2 offset < $0->journal_section_sectors
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 ic->bufio->slab_cache->object_size
UNITS 1 section unit_array_size

drivers/md/dm-integrity.c access_journal_entry() -> access_journal()

Type Parameter Key Value
PARAM_VALUE 0 ic 4096-ptr_max
PARAM_VALUE 0 ic->journal_section_entries 1-255
PARAM_VALUE 0 ic->journal_sections 1-u32max
PARAM_VALUE 0 ic->sb->salt 0-255
PARAM_VALUE 1 section 0-4294967294
PARAM_VALUE 2 offset 0-7
BUF_SIZE 0 ic (-1),16,40-s32max
BUF_SIZE 0 ic (-1),16,40-s32max
CAPPED_DATA 1 section 1
CAPPED_DATA 2 offset 1
DATA_SOURCE 0 ic $0
DATA_SOURCE 1 section $1
PARAM_COMPARE 0 ic->journal_sections > $1
PARAM_COMPARE 1 section < $0->journal_sections
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 ic->bufio->block_size
NO_OVERFLOW_SIMPLE 0 ic->bufio->slab_cache->object_size
UNITS 1 section unit_array_size
HALF_LOCKED2 &md->suspend_lock
HALF_LOCKED2 irq
HALF_LOCKED2 0 &ic->endio_wait.lock

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

Type Parameter Key Value
PARAM_VALUE 0 ic 4096-ptr_max
PARAM_VALUE 0 ic->journal_section_sectors 1-u16max
PARAM_VALUE 0 ic->sb->salt 0-255
PARAM_VALUE 2 offset 0-65534
BUF_SIZE 0 ic 16,40-s32max
BUF_SIZE 0 ic 16,40-s32max
CAPPED_DATA 0 ic->journal_sections 1
CAPPED_DATA 2 offset 1
DATA_SOURCE 0 ic $0
PARAM_COMPARE 0 ic->journal_section_sectors > $2
PARAM_COMPARE 2 offset < $0->journal_section_sectors
NO_OVERFLOW_SIMPLE 0 ic->bufio->slab_buffer->object_size
HALF_LOCKED2 &md->suspend_lock
TYPE_LOCK (struct mapped_device)->suspend_lock

drivers/md/dm-integrity.c integrity_commit() -> access_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_section_sectors 1-u16max
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 offset 0-65534
CAPPED_DATA 0 ic->journal_section_entries 1
CAPPED_DATA 2 offset 1
PARAM_COMPARE 0 ic->journal_section_sectors > $2
PARAM_COMPARE 2 offset < $0->journal_section_sectors
UNITS 1 section unit_array_size

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

Type Parameter Key Value
PARAM_VALUE 0 ic 4096-ptr_max
PARAM_VALUE 0 ic->failed 0
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 2 offset 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 section 1
CAPPED_DATA 2 offset 1
DATA_SOURCE 0 ic $0
PARAM_COMPARE 0 ic->journal_section_sectors > $2
PARAM_COMPARE 1 section < $0->journal_sections
PARAM_COMPARE 2 offset < $0->journal_section_sectors
UNITS 1 section unit_array_size
LOCK2 &md->suspend_lock
TYPE_LOCK (struct mapped_device)->suspend_lock

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

Type Parameter Key Value
PARAM_VALUE 0 ic 4096-ptr_max
PARAM_VALUE 0 ic->failed 0
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 2 offset 0-65534
BUF_SIZE 0 ic 16,40-s32max
BUF_SIZE 0 ic 16,40-s32max
CAPPED_DATA 0 ic->journal_sections 1
CAPPED_DATA 0 ic->provided_data_sectors 1
CAPPED_DATA 2 offset 1
DATA_SOURCE 0 ic $0
PARAM_COMPARE 0 ic->journal_section_sectors > $2
PARAM_COMPARE 2 offset < $0->journal_section_sectors
UNITS 1 section unit_array_size
LOCK2 &md->suspend_lock
TYPE_LOCK (struct mapped_device)->suspend_lock

drivers/md/dm-integrity.c rw_section_mac() -> access_journal()

Type Parameter Key Value
PARAM_VALUE 0 ic 4096-ptr_max
PARAM_VALUE 0 ic->journal_mac 1-u64max
PARAM_VALUE 0 ic->sb->salt 0-255
PARAM_VALUE 2 offset 0-7
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 $1
FUZZY_MAX 2 offset 7
PARAM_COMPARE 0 ic->journal_section_sectors >= $2
PARAM_COMPARE 2 offset <= $0->journal_section_sectors
HARD_MAX 2 offset 7
NO_OVERFLOW_SIMPLE 0 ic->bufio->block_size
NO_OVERFLOW_SIMPLE 0 ic->bufio->slab_cache->object_size
UNITS 1 section unit_array_size