Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/md/dm-integrity.c add_new_range_and_wait() -> add_new_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->sb->salt | 0-255 |
| PARAM_VALUE | 1 | new_range | 4096-ptr_max |
| PARAM_VALUE | 2 | check_waiting | 1 |
| BUF_SIZE | 0 | ic | (-1),16,40-s32max |
| BUF_SIZE | 0 | ic | (-1),16,40-s32max |
| DATA_SOURCE | 0 | ic | $0 |
| DATA_SOURCE | 1 | new_range | $1 |
| PREEMPT_ADD | |||
| NO_OVERFLOW_SIMPLE | 0 | ic->bufio->slab_cache->object_size | |
| LOCK2 | irq | ||
| LOCK2 | 0 | &ic->endio_wait.lock | |
| TYPE_LOCK | (struct wait_queue_head)->lock |
drivers/md/dm-integrity.c dm_integrity_map_continue() -> add_new_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->failed | 0 |
| PARAM_VALUE | 1 | new_range | 4096-ptr_max |
| PARAM_VALUE | 1 | new_range->n_sectors | 0-u32max |
| PARAM_VALUE | 2 | check_waiting | 1 |
| BUF_SIZE | 0 | ic | (-1),16,40-s32max |
| BUF_SIZE | 0 | ic | (-1),16,40-s32max |
| PREEMPT_ADD | <- disables preempt | ||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | irq | ||
| LOCK2 | 0 | &ic->endio_wait.lock | |
| HALF_LOCKED2 | &md->io_barrier | ||
| TYPE_LOCK | (struct wait_queue_head)->lock |
drivers/md/dm-integrity.c dm_integrity_map_inline() -> add_new_range()
| 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->sb | 4096-ptr_max |
| PARAM_VALUE | 0 | ic->sb->flags | 2-u32max |
| PARAM_VALUE | 0 | ic->sb->recalc_sector | 0-18446744073709551614 |
| PARAM_VALUE | 1 | new_range | 4096-ptr_max |
| PARAM_VALUE | 1 | new_range->n_sectors | 0-8388607 |
| PARAM_VALUE | 2 | check_waiting | 1 |
| BUF_SIZE | 0 | ic | (-1),16,40-s32max |
| BUF_SIZE | 0 | ic | (-1),16,40-s32max |
| BIT_INFO | 0 | ic->sb->flags | 0x2,0xffffffff |
| PREEMPT_ADD | <- disables preempt | ||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | irq | ||
| LOCK2 | 0 | &ic->endio_wait.lock | |
| HALF_LOCKED2 | &md->io_barrier | ||
| TYPE_LOCK | (struct wait_queue_head)->lock |
drivers/md/dm-integrity.c remove_range_unlocked() -> add_new_range()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ic | 4096-ptr_max |
| PARAM_VALUE | 0 | ic->in_progress.rb_node | 4096-ptr_max |
| PARAM_VALUE | 0 | ic->sb->salt | 0-255 |
| PARAM_VALUE | 1 | new_range | 4096-ptr_max |
| PARAM_VALUE | 2 | check_waiting | 0 |
| BUF_SIZE | 0 | ic | (-1),16,40-s32max |
| BUF_SIZE | 0 | ic | (-1),16,40-s32max |
| CAPPED_DATA | 0 | &ic->wait_list | 1 |
| DATA_SOURCE | 0 | ic | $0 |
| PARAM_COMPARE | 0 | &ic->wait_list | != $0->wait_list.next |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NO_OVERFLOW_SIMPLE | 0 | ic->bufio->slab_buffer->object_size | |
| NO_OVERFLOW_SIMPLE | 0 | ic->bufio->slab_cache->object_size | |
| LOCK2 | 0 | &ic->endio_wait.lock | |
| HALF_LOCKED2 | flags | ||
| HALF_LOCKED2 | irq | ||
| TYPE_LOCK | (struct wait_queue_head)->lock |