Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/md/dm-integrity.c __journal_read_write() -> integrity_identity()

Type Parameter Key Value
PARAM_VALUE 0 ic 4096-ptr_max
PARAM_VALUE 0 ic->bufio->async_write_error s32min-s32max
PARAM_VALUE 0 ic->commit_wq->flags 0-4294967295
PARAM_VALUE 0 ic->commit_wq->flush_color s32min-s32max
PARAM_VALUE 0 ic->commit_wq->nr_drainers s32min-s32max
PARAM_VALUE 0 ic->commit_wq->work_color s32min-s32max
PARAM_VALUE 0 ic->failed 0-s32max
PARAM_VALUE 0 ic->internal_hash 1
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->recalc_wq->flags 0-4294967295
PARAM_VALUE 0 ic->recalc_wq->flush_color s32min-s32max
PARAM_VALUE 0 ic->recalc_wq->nr_drainers s32min-s32max
PARAM_VALUE 0 ic->recalc_wq->work_color s32min-s32max
PARAM_VALUE 0 ic->sb 4096-ptr_max
PARAM_VALUE 0 ic->sb->salt 0-255
PARAM_VALUE 0 ic->writer_wq->flags 0-4294967295
PARAM_VALUE 0 ic->writer_wq->flush_color s32min-s32max
PARAM_VALUE 0 ic->writer_wq->nr_drainers s32min-s32max
PARAM_VALUE 0 ic->writer_wq->work_color s32min-s32max
PARAM_VALUE 1 data 1-ptr_max
PARAM_VALUE 1 *data 0-255
BUF_SIZE 0 ic (-1),16,40-s32max
BUF_SIZE 0 ic (-1),16,40-s32max
CAPPED_DATA 0 ic->sectors_per_block 1
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &md->io_barrier

drivers/md/dm-integrity.c dm_integrity_inline_recheck() -> integrity_identity()

Type Parameter Key Value
PARAM_VALUE 0 ic 4096-ptr_max
PARAM_VALUE 0 ic->dev 4096-ptr_max
PARAM_VALUE 0 ic->recheck_pool.lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 ic->sb->salt 0-255
PARAM_VALUE 1 data 18379471554275708928,18446612682070036480
PARAM_VALUE 1 *data 0-255
CAPPED_DATA 0 ic->tuple_size 1
CAPPED_DATA 1 data 1
UNITS 1 data unit_byte
HALF_LOCKED2 &pool->lock

drivers/md/dm-integrity.c do_journal_write() -> integrity_identity()

Type Parameter Key Value
PARAM_VALUE 0 ic 4096-ptr_max
PARAM_VALUE 0 ic->bufio->async_write_error s32min-s32max
PARAM_VALUE 0 ic->commit_wq->flags 0-4294967295
PARAM_VALUE 0 ic->commit_wq->flush_color s32min-s32max
PARAM_VALUE 0 ic->commit_wq->nr_drainers s32min-s32max
PARAM_VALUE 0 ic->commit_wq->work_color s32min-s32max
PARAM_VALUE 0 ic->endio_wait.lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 ic->failed 0-s32max
PARAM_VALUE 0 ic->in_progress.rb_node 4096-ptr_max
PARAM_VALUE 0 ic->internal_hash 1
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->journal_uptodate 0
PARAM_VALUE 0 ic->mode 0-81,83-255
PARAM_VALUE 0 ic->provided_data_sectors 1-u64max
PARAM_VALUE 0 ic->recalc_wq->flags 0-4294967295
PARAM_VALUE 0 ic->recalc_wq->flush_color s32min-s32max
PARAM_VALUE 0 ic->recalc_wq->nr_drainers s32min-s32max
PARAM_VALUE 0 ic->recalc_wq->work_color s32min-s32max
PARAM_VALUE 0 ic->sb 4096-ptr_max
PARAM_VALUE 0 ic->sb->salt 0-255
PARAM_VALUE 0 ic->writer_wq->flags 0-4294967295
PARAM_VALUE 0 ic->writer_wq->flush_color s32min-s32max
PARAM_VALUE 0 ic->writer_wq->nr_drainers s32min-s32max
PARAM_VALUE 0 ic->writer_wq->work_color s32min-s32max
PARAM_VALUE 0 ic->wrote_to_journal 0
PARAM_VALUE 1 *data 0-255
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 0 ic->sectors_per_block 1
DATA_SOURCE 0 ic $0
LOCK2 &md->suspend_lock
TYPE_LOCK (struct mapped_device)->suspend_lock

drivers/md/dm-integrity.c integrity_recalc() -> integrity_identity()

Type Parameter Key Value
PARAM_VALUE 0 ic 4096-ptr_max
PARAM_VALUE 0 ic->dev 4096-ptr_max
PARAM_VALUE 0 ic->endio_wait.lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 ic->failed 0-s32max
PARAM_VALUE 0 ic->in_progress.rb_node 4096-ptr_max
PARAM_VALUE 0 ic->provided_data_sectors 1-u64max
PARAM_VALUE 0 ic->sb 4096-ptr_max
PARAM_VALUE 0 ic->sb->salt 0-255
PARAM_VALUE 0 ic->ti 4096-ptr_max
PARAM_VALUE 0 ic->ti->table 4096-ptr_max
PARAM_VALUE 0 ic->ti->table->md 4096-ptr_max
PARAM_VALUE 1 *data 0-255
CAPPED_DATA 0 ic->internal_hash_digestsize 1

drivers/md/dm-integrity.c integrity_recalc_inline() -> integrity_identity()

Type Parameter Key Value
PARAM_VALUE 0 ic 4096-ptr_max
PARAM_VALUE 0 ic->dev 4096-ptr_max
PARAM_VALUE 0 ic->endio_wait.lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 ic->failed 0-s32max
PARAM_VALUE 0 ic->in_progress.rb_node 4096-ptr_max
PARAM_VALUE 0 ic->provided_data_sectors 1-u64max
PARAM_VALUE 0 ic->sb 4096-ptr_max
PARAM_VALUE 0 ic->sb->salt 0-255
PARAM_VALUE 0 ic->ti 4096-ptr_max
PARAM_VALUE 0 ic->ti->table 4096-ptr_max
PARAM_VALUE 0 ic->ti->table->md 4096-ptr_max
PARAM_VALUE 1 *data 0-255
CAPPED_DATA 0 ic->internal_hash_digestsize 1

drivers/md/dm-integrity.c integrity_recheck() -> integrity_identity()

Type Parameter Key Value
PARAM_VALUE 0 ic 4096-ptr_max
PARAM_VALUE 0 ic->dev 4096-ptr_max
PARAM_VALUE 0 ic->internal_hash 1
PARAM_VALUE 0 ic->mode 0-81,83-255
PARAM_VALUE 0 ic->recheck_pool.lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 ic->sb 4096-ptr_max
PARAM_VALUE 0 ic->sb->salt 0-255
PARAM_VALUE 1 data 18379471554275704832,18446612682070032384
RX_PATH
TASK_NOT_RUNNING