Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

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
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 range 4096-ptr_max
PARAM_VALUE 1 range->n_sectors 0-u32max
BUF_SIZE 0 ic (-1),16,40-s32max
BUF_SIZE 0 ic (-1),16,40-s32max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &md->io_barrier

drivers/md/dm-integrity.c bitmap_block_work() -> remove_range()

Type Parameter Key Value
PARAM_VALUE 0 ic 4096-ptr_max
PARAM_VALUE 0 ic->sb 4096-ptr_max
PARAM_VALUE 1 range 4096-ptr_max
NOCHECK_CALL

drivers/md/dm-integrity.c bitmap_block_work() -> remove_range()

Type Parameter Key Value
PARAM_VALUE 0 ic 4096-ptr_max
PARAM_VALUE 0 ic->sb 4096-ptr_max
PARAM_VALUE 1 range 4096-ptr_max
NOCHECK_CALL

drivers/md/dm-integrity.c complete_copy_from_journal() -> remove_range()

Type Parameter Key Value
PARAM_VALUE 1 range 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/md/dm-integrity.c dec_in_flight() -> remove_range()

Type Parameter Key Value
PARAM_VALUE 1 range 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

drivers/md/dm-integrity.c dm_integrity_end_io() -> remove_range()

Type Parameter Key Value
PARAM_VALUE 0 ic 4096-ptr_max
PARAM_VALUE 0 ic->mode 73
PARAM_VALUE 0 ic->sb->salt 0-255
PARAM_VALUE 1 range 4096-ptr_max
BUF_SIZE 0 ic 16,40-s32max
BUF_SIZE 0 ic 16,40-s32max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &bio->bi_bdev->bd_queue->queue_lock

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

Type Parameter Key Value
PARAM_VALUE 0 ic 4096-ptr_max
PARAM_VALUE 0 ic->endio_wait.lock.rlock.dep_map->name 0-255
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 range 8939194785162493952
PARAM_VALUE 1 range->logical_sector 0-18446744073709551614
PARAM_VALUE 1 range->n_sectors 0-32768
PARAM_VALUE 1 range->node.__rb_parent_color 1
PARAM_VALUE 1 range->node.rb_left 4096-ptr_max
PARAM_VALUE 1 range->node.rb_right 4096-ptr_max
CAPPED_DATA 0 ic->internal_hash_digestsize 1
NOCHECK_CALL

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

Type Parameter Key Value
PARAM_VALUE 0 ic 4096-ptr_max
PARAM_VALUE 0 ic->endio_wait.lock.rlock.dep_map->name 0-255
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 range 6884888041157398528
PARAM_VALUE 1 range->logical_sector 0-18446744073709551614
PARAM_VALUE 1 range->n_sectors 1-32768
PARAM_VALUE 1 range->node.__rb_parent_color 1
PARAM_VALUE 1 range->node.rb_left 4096-ptr_max
PARAM_VALUE 1 range->node.rb_right 4096-ptr_max
CAPPED_DATA 0 ic->internal_hash_digestsize 1
NOCHECK_CALL