Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

drivers/md/dm-integrity.c bitmap_flush_work() -> remove_range_unlocked()

Type Parameter Key Value
PARAM_VALUE 0 ic 4096-ptr_max
PARAM_VALUE 0 ic->bufio 4096-ptr_max
PARAM_VALUE 0 ic->bufio->async_write_error s32min-s32max
PARAM_VALUE 0 ic->bufio->cache.num_locks 0-4294967295
PARAM_VALUE 0 ic->bufio->lock.dep_map->name 0-255
PARAM_VALUE 0 ic->bufio->lock.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 ic->bufio->lock.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 ic->bufio->lock.first_waiter->task->blocked_lock.dep_map->name 0-255
PARAM_VALUE 0 ic->bufio->lock.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 0 ic->bufio->lock.first_waiter->task->blocked_lock.owner_cpu 4294967295
PARAM_VALUE 0 ic->bufio->lock.first_waiter->task->blocked_lock.raw_lock.val.counter s32min-s32max
PARAM_VALUE 0 ic->bufio->lock.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 0 ic->bufio->spinlock.rlock.dep_map->name 0-255
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->sb 4096-ptr_max
PARAM_VALUE 0 ic->wait_list.prev 4096-ptr_max
PARAM_VALUE 0 ic->wait_list.prev->next 4096-ptr_max
PARAM_VALUE 0 ic->wait_list.prev->next->next 4096-ptr_max
PARAM_VALUE 1 range 2215860649322840064
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
PARAM_VALUE 1 range->wait_entry.next 4096-ptr_max
PREEMPT_ADD <- disables preempt
NOCHECK_CALL
LOCK2 irq
LOCK2 0 &ic->endio_wait.lock
TYPE_LOCK (struct wait_queue_head)->lock

drivers/md/dm-integrity.c dm_integrity_map_continue() -> remove_range_unlocked()

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->failed 0
PARAM_VALUE 0 ic->mode 74
PARAM_VALUE 1 range 4096-ptr_max
PARAM_VALUE 1 range->logical_sector 0-18446744073709551614
PARAM_VALUE 1 range->n_sectors 0-255
BUF_SIZE 0 ic (-1),16,40-s32max
BUF_SIZE 0 ic (-1),16,40-s32max
PREEMPT_ADD <- disables preempt
RX_PATH
NOCHECK_CALL
LOCK2 irq
LOCK2 0 &ic->endio_wait.lock
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct wait_queue_head)->lock

drivers/md/dm-integrity.c dm_integrity_map_continue() -> remove_range_unlocked()

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->failed 0
PARAM_VALUE 0 ic->mode 74
PARAM_VALUE 1 range 4096-ptr_max
PARAM_VALUE 1 range->n_sectors 0-8388607
BUF_SIZE 0 ic (-1),16,40-s32max
BUF_SIZE 0 ic (-1),16,40-s32max
PREEMPT_ADD <- disables preempt
RX_PATH
NOCHECK_CALL
LOCK2 irq
LOCK2 0 &ic->endio_wait.lock
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct wait_queue_head)->lock

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

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->in_progress.rb_node 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->journal_tree 4096-ptr_max
PARAM_VALUE 0 ic->journal_tree_root.rb_node 4096-ptr_max
PARAM_VALUE 0 ic->n_committed_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
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
PARAM_VALUE 1 range->wait_entry.next 4096-ptr_max
CAPPED_DATA 0 ic->committed_section 1
CAPPED_DATA 0 ic->sectors_per_block 1
DATA_SOURCE 0 ic $0
PREEMPT_ADD <- disables preempt
NOCHECK_CALL
LOCK2 irq
LOCK2 0 &ic->endio_wait.lock
TYPE_LOCK (struct wait_queue_head)->lock

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

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
PREEMPT_ADD <- disables preempt
NOCHECK_CALL
LOCK2 irq
LOCK2 0 &ic->endio_wait.lock
TYPE_LOCK (struct wait_queue_head)->lock

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

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 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
PREEMPT_ADD <- disables preempt
NOCHECK_CALL
LOCK2 irq
LOCK2 0 &ic->endio_wait.lock
TYPE_LOCK (struct wait_queue_head)->lock

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

Type Parameter Key Value
PARAM_VALUE 0 ic->sb->salt 0-255
PARAM_VALUE 1 range 4096-ptr_max
BUF_SIZE 0 ic (-1),16,40-s32max
BUF_SIZE 0 ic (-1),16,40-s32max
DATA_SOURCE 0 ic $0
DATA_SOURCE 1 range $1
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 ic->bufio->slab_cache->object_size
LOCK2 flags
LOCK2 0 &ic->endio_wait.lock
TYPE_LOCK (struct wait_queue_head)->lock