Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 30 files:
- drivers/md/dm-cache-target.c
- drivers/md/dm-clone-target.c
- drivers/md/dm-crypt.c, line 2729
- drivers/md/dm-delay.c
- drivers/md/dm-dust.c, line 410
- drivers/md/dm-ebs-target.c, line 357
- drivers/md/dm-era-target.c
- drivers/md/dm-flakey.c, line 341
- drivers/md/dm-inlinecrypt.c, line 72
- drivers/md/dm-integrity.c
- drivers/md/dm-linear.c, line 78
- drivers/md/dm-log-userspace-base.c, line 345
- drivers/md/dm-log-writes.c
- drivers/md/dm-log.c
- drivers/md/dm-mpath.c
- drivers/md/dm-pcache/dm_pcache.c
- drivers/md/dm-raid.c
- drivers/md/dm-raid1.c, line 948
- drivers/md/dm-snap.c
- drivers/md/dm-stripe.c
- drivers/md/dm-switch.c
- drivers/md/dm-table.c, line 477
- drivers/md/dm-target.c, line 189
- drivers/md/dm-thin.c
- drivers/md/dm-unstripe.c, line 31
- drivers/md/dm-vdo/dm-vdo-target.c, line 196
- drivers/md/dm-verity-fec.c, line 477
- drivers/md/dm-verity-target.c
- drivers/md/dm-writecache.c
- drivers/md/dm-zoned-target.c
Smatch caller information:
drivers/md/dm-cache-target.c __destroy() -> dm_put_device()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | d | 1-u64max |
| STR_LEN | 0 | ti->error | (-1),13 |
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | ti->begin | |
| NO_OVERFLOW_SIMPLE | 0 | ti->len | |
| HALF_LOCKED2 | &cache->background_work_lock |
drivers/md/dm-cache-target.c __destroy() -> dm_put_device()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | d | 1-u64max |
| STR_LEN | 0 | ti->error | (-1),13 |
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | ti->begin | |
| NO_OVERFLOW_SIMPLE | 0 | ti->len | |
| HALF_LOCKED2 | &cache->background_work_lock |
drivers/md/dm-cache-target.c __destroy() -> dm_put_device()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | d | 1-u64max |
| STR_LEN | 0 | ti->error | (-1),13 |
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | ti->begin | |
| NO_OVERFLOW_SIMPLE | 0 | ti->len | |
| HALF_LOCKED2 | &cache->background_work_lock |
drivers/md/dm-cache-target.c destroy_cache_args() -> dm_put_device()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ti | 4096-ptr_max |
| PARAM_VALUE | 0 | ti->error | 4096-ptr_max |
| PARAM_VALUE | 0 | ti->len | 1-u64max |
| PARAM_VALUE | 0 | ti->table | 4096-ptr_max |
| PARAM_VALUE | 0 | ti->table->md->table_devices_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | ti->table->md->table_devices_lock.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | ti->table->md->table_devices_lock.first_waiter->list.prev->prev | 5159360019465732096 |
| PARAM_VALUE | 0 | ti->table->md->table_devices_lock.first_waiter->task->blocked_lock.owner | (-1) |
| PARAM_VALUE | 0 | ti->table->md->table_devices_lock.first_waiter->task->blocked_lock.owner_cpu | 4294967295 |
| PARAM_VALUE | 0 | ti->table->md->table_devices_lock.first_waiter->task->usage.refs.counter | s32min-s32max |
| PARAM_VALUE | 0 | ti->table->md->table_devices_lock.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | ti->type | 4096-ptr_max |
| PARAM_VALUE | 1 | d | 1-u64max |
| CAPPED_DATA | 0 | ti->begin | 1 |
| STR_LEN | 0 | ti->error | (-1),13 |
| TERMINATED | 0 | ti->error | 1 |
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | ti->begin | |
| NO_OVERFLOW_SIMPLE | 0 | ti->len | |
| HALF_LOCKED2 | &cache->background_work_lock | ||
| HALF_LOCKED2 | &md->type_lock |
drivers/md/dm-cache-target.c destroy_cache_args() -> dm_put_device()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ti | 4096-ptr_max |
| PARAM_VALUE | 0 | ti->error | 4096-ptr_max |
| PARAM_VALUE | 0 | ti->len | 1-u64max |
| PARAM_VALUE | 0 | ti->table | 4096-ptr_max |
| PARAM_VALUE | 0 | ti->table->md->table_devices_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | ti->table->md->table_devices_lock.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | ti->table->md->table_devices_lock.first_waiter->list.prev->prev | 5159360019465732096 |
| PARAM_VALUE | 0 | ti->table->md->table_devices_lock.first_waiter->task->blocked_lock.owner | (-1) |
| PARAM_VALUE | 0 | ti->table->md->table_devices_lock.first_waiter->task->blocked_lock.owner_cpu | 4294967295 |
| PARAM_VALUE | 0 | ti->table->md->table_devices_lock.first_waiter->task->usage.refs.counter | s32min-s32max |
| PARAM_VALUE | 0 | ti->table->md->table_devices_lock.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | ti->type | 4096-ptr_max |
| PARAM_VALUE | 1 | d | 1-u64max |
| CAPPED_DATA | 0 | ti->begin | 1 |
| STR_LEN | 0 | ti->error | (-1),13 |
| TERMINATED | 0 | ti->error | 1 |
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | ti->begin | |
| NO_OVERFLOW_SIMPLE | 0 | ti->len | |
| HALF_LOCKED2 | &cache->background_work_lock | ||
| HALF_LOCKED2 | &md->type_lock |
drivers/md/dm-cache-target.c destroy_cache_args() -> dm_put_device()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ti | 4096-ptr_max |
| PARAM_VALUE | 0 | ti->error | 4096-ptr_max |
| PARAM_VALUE | 0 | ti->len | 1-u64max |
| PARAM_VALUE | 0 | ti->table | 4096-ptr_max |
| PARAM_VALUE | 0 | ti->table->md->table_devices_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | ti->table->md->table_devices_lock.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | ti->table->md->table_devices_lock.first_waiter->list.prev->prev | 5159360019465732096 |
| PARAM_VALUE | 0 | ti->table->md->table_devices_lock.first_waiter->task->blocked_lock.owner | (-1) |
| PARAM_VALUE | 0 | ti->table->md->table_devices_lock.first_waiter->task->blocked_lock.owner_cpu | 4294967295 |
| PARAM_VALUE | 0 | ti->table->md->table_devices_lock.first_waiter->task->usage.refs.counter | s32min-s32max |
| PARAM_VALUE | 0 | ti->table->md->table_devices_lock.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | ti->type | 4096-ptr_max |
| PARAM_VALUE | 1 | d | 1-u64max |
| CAPPED_DATA | 0 | ti->begin | 1 |
| STR_LEN | 0 | ti->error | (-1),13 |
| TERMINATED | 0 | ti->error | 1 |
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | ti->begin | |
| NO_OVERFLOW_SIMPLE | 0 | ti->len | |
| HALF_LOCKED2 | &cache->background_work_lock | ||
| HALF_LOCKED2 | &md->type_lock |
drivers/md/dm-log-writes.c log_writes_ctr() -> dm_put_device()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ti | 4096-ptr_max |
| PARAM_VALUE | 0 | ti->error | 2415019083248242688 |
| PARAM_VALUE | 0 | ti->len | 1-u64max |
| PARAM_VALUE | 0 | ti->table | 4096-ptr_max |
| PARAM_VALUE | 0 | ti->table->md->table_devices_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | ti->table->md->table_devices_lock.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | ti->table->md->table_devices_lock.first_waiter->list.prev->prev | 5159360019465732096 |
| PARAM_VALUE | 0 | ti->table->md->table_devices_lock.first_waiter->task->blocked_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | ti->table->md->table_devices_lock.first_waiter->task->blocked_lock.owner | (-1) |
| PARAM_VALUE | 0 | ti->table->md->table_devices_lock.first_waiter->task->blocked_lock.owner_cpu | 4294967295 |
| PARAM_VALUE | 0 | ti->table->md->table_devices_lock.first_waiter->task->usage.refs.counter | s32min-s32max |
| PARAM_VALUE | 0 | ti->table->md->table_devices_lock.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | ti->table->mode | 1,3 |
| PARAM_VALUE | 0 | ti->table->num_allocated | 8-1048576 |
| PARAM_VALUE | 0 | ti->table->num_targets | 0-1048575 |
| PARAM_VALUE | 0 | ti->table->type | 0 |
| PARAM_VALUE | 0 | ti->type | 4096-ptr_max |
| PARAM_VALUE | 0 | ti->type->module | 0,4096-ptr_max |
| PARAM_VALUE | 0 | ti->type->module->refcnt.counter | 0-s32max |
| PARAM_VALUE | 0 | ti->type->module->state | 0-1,3-u32max |
| PARAM_VALUE | 1 | d | 4096-ptr_max |
| BUF_SIZE | 0 | ti->error | 25 |
| CAPPED_DATA | 0 | ti->begin | 1 |
| CAPPED_DATA | 0 | ti->table->md->disk | 1 |
| CAPPED_DATA | 0 | ti->table->num_targets | 1 |
| CAPPED_DATA | 0 | ti->type | 1 |
| DATA_SOURCE | 0 | ti | $0 |
| STR_LEN | 0 | ti->error | 24 |
| TERMINATED | 0 | ti->error | 1 |
| MEM_ZERO | 0 | ti | |
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | ti->begin | |
| NO_OVERFLOW_SIMPLE | 0 | ti->len | |
| NO_OVERFLOW_SIMPLE | 0 | ti->table->num_allocated | |
| HALF_LOCKED2 | &md->type_lock |
drivers/md/dm-log-writes.c log_writes_ctr() -> dm_put_device()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ti | 4096-ptr_max |
| PARAM_VALUE | 0 | ti->error | 4981315373614227456 |
| PARAM_VALUE | 0 | ti->len | 1-u64max |
| PARAM_VALUE | 0 | ti->table | 4096-ptr_max |
| PARAM_VALUE | 0 | ti->table->md->table_devices_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | ti->table->md->table_devices_lock.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | ti->table->md->table_devices_lock.first_waiter->list.prev->prev | 5159360019465732096 |
| PARAM_VALUE | 0 | ti->table->md->table_devices_lock.first_waiter->task->blocked_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | ti->table->md->table_devices_lock.first_waiter->task->blocked_lock.owner | (-1) |
| PARAM_VALUE | 0 | ti->table->md->table_devices_lock.first_waiter->task->blocked_lock.owner_cpu | 4294967295 |
| PARAM_VALUE | 0 | ti->table->md->table_devices_lock.first_waiter->task->usage.refs.counter | s32min-s32max |
| PARAM_VALUE | 0 | ti->table->md->table_devices_lock.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | ti->table->mode | 1,3 |
| PARAM_VALUE | 0 | ti->table->num_allocated | 8-1048576 |
| PARAM_VALUE | 0 | ti->table->num_targets | 0-1048575 |
| PARAM_VALUE | 0 | ti->table->type | 0 |
| PARAM_VALUE | 0 | ti->type | 4096-ptr_max |
| PARAM_VALUE | 0 | ti->type->module | 0,4096-ptr_max |
| PARAM_VALUE | 0 | ti->type->module->refcnt.counter | 0-s32max |
| PARAM_VALUE | 0 | ti->type->module->state | 0-1,3-u32max |
| PARAM_VALUE | 1 | d | 4096-ptr_max |
| PARAM_VALUE | 1 | d->bdev | 4096-ptr_max |
| BUF_SIZE | 0 | ti->error | 23 |
| CAPPED_DATA | 0 | ti->begin | 1 |
| CAPPED_DATA | 0 | ti->table->md->disk | 1 |
| CAPPED_DATA | 0 | ti->table->num_targets | 1 |
| CAPPED_DATA | 0 | ti->type | 1 |
| DATA_SOURCE | 0 | ti | $0 |
| STR_LEN | 0 | ti->error | 22 |
| TERMINATED | 0 | ti->error | 1 |
| MEM_ZERO | 0 | ti | |
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | ti->begin | |
| NO_OVERFLOW_SIMPLE | 0 | ti->len | |
| NO_OVERFLOW_SIMPLE | 0 | ti->table->num_allocated | |
| HALF_LOCKED2 | &md->type_lock |
drivers/md/dm-log-writes.c log_writes_ctr() -> dm_put_device()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ti | 4096-ptr_max |
| PARAM_VALUE | 0 | ti->error | 4981315373614227456 |
| PARAM_VALUE | 0 | ti->len | 1-u64max |
| PARAM_VALUE | 0 | ti->table | 4096-ptr_max |
| PARAM_VALUE | 0 | ti->table->md->table_devices_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | ti->table->md->table_devices_lock.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | ti->table->md->table_devices_lock.first_waiter->list.prev->prev | 5159360019465732096 |
| PARAM_VALUE | 0 | ti->table->md->table_devices_lock.first_waiter->task->blocked_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | ti->table->md->table_devices_lock.first_waiter->task->blocked_lock.owner | (-1) |
| PARAM_VALUE | 0 | ti->table->md->table_devices_lock.first_waiter->task->blocked_lock.owner_cpu | 4294967295 |
| PARAM_VALUE | 0 | ti->table->md->table_devices_lock.first_waiter->task->usage.refs.counter | s32min-s32max |
| PARAM_VALUE | 0 | ti->table->md->table_devices_lock.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | ti->table->mode | 1,3 |
| PARAM_VALUE | 0 | ti->table->num_allocated | 8-1048576 |
| PARAM_VALUE | 0 | ti->table->num_targets | 0-1048575 |
| PARAM_VALUE | 0 | ti->table->type | 0 |
| PARAM_VALUE | 0 | ti->type | 4096-ptr_max |
| PARAM_VALUE | 0 | ti->type->module | 0,4096-ptr_max |
| PARAM_VALUE | 0 | ti->type->module->refcnt.counter | 0-s32max |
| PARAM_VALUE | 0 | ti->type->module->state | 0-1,3-u32max |
| PARAM_VALUE | 1 | d | 4096-ptr_max |
| BUF_SIZE | 0 | ti->error | 23 |
| CAPPED_DATA | 0 | ti->begin | 1 |
| CAPPED_DATA | 0 | ti->table->md->disk | 1 |
| CAPPED_DATA | 0 | ti->table->num_targets | 1 |
| CAPPED_DATA | 0 | ti->type | 1 |
| DATA_SOURCE | 0 | ti | $0 |
| STR_LEN | 0 | ti->error | 22 |
| TERMINATED | 0 | ti->error | 1 |
| MEM_ZERO | 0 | ti | |
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | ti->begin | |
| NO_OVERFLOW_SIMPLE | 0 | ti->len | |
| NO_OVERFLOW_SIMPLE | 0 | ti->table->num_allocated | |
| HALF_LOCKED2 | &md->type_lock |
drivers/md/dm-log-writes.c log_writes_dtr() -> dm_put_device()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ti | 4096-ptr_max |
| PARAM_VALUE | 0 | ti->private | 4096-ptr_max |
| PARAM_VALUE | 0 | ti->type | 4096-ptr_max |
| PARAM_VALUE | 0 | ti->type->dtr | 1-u64max |
| DATA_SOURCE | 0 | ti | $0 |
| NOCHECK_CALL |
drivers/md/dm-log-writes.c log_writes_dtr() -> dm_put_device()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ti | 4096-ptr_max |
| PARAM_VALUE | 0 | ti->private | 4096-ptr_max |
| PARAM_VALUE | 0 | ti->table | 4096-ptr_max |
| PARAM_VALUE | 0 | ti->type | 4096-ptr_max |
| PARAM_VALUE | 0 | ti->type->dtr | 1-u64max |
| DATA_SOURCE | 0 | ti | $0 |
| NOCHECK_CALL |
drivers/md/dm-zoned-target.c dmz_get_zoned_device() -> dm_put_device()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ti | 4096-ptr_max |
| PARAM_VALUE | 0 | ti->begin | 0 |
| PARAM_VALUE | 0 | ti->error | 1058752883946594304,4310834819063017472,6810480782272069632,7744094685325340672,8717632867966525440 |
| PARAM_VALUE | 0 | ti->len | 1-u64max |
| PARAM_VALUE | 0 | ti->private | 4096-ptr_max |
| PARAM_VALUE | 0 | ti->table | 4096-ptr_max |
| PARAM_VALUE | 0 | ti->table->md->table_devices_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | ti->table->md->table_devices_lock.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | ti->table->md->table_devices_lock.first_waiter->list.prev->prev | 5159360019465732096 |
| PARAM_VALUE | 0 | ti->table->md->table_devices_lock.first_waiter->task->blocked_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | ti->table->md->table_devices_lock.first_waiter->task->blocked_lock.owner | (-1) |
| PARAM_VALUE | 0 | ti->table->md->table_devices_lock.first_waiter->task->blocked_lock.owner_cpu | 4294967295 |
| PARAM_VALUE | 0 | ti->table->md->table_devices_lock.first_waiter->task->usage.refs.counter | s32min-s32max |
| PARAM_VALUE | 0 | ti->table->md->table_devices_lock.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | ti->table->mode | 1,3 |
| PARAM_VALUE | 0 | ti->table->num_allocated | 8-1048576 |
| PARAM_VALUE | 0 | ti->table->num_targets | 0-1048575 |
| PARAM_VALUE | 0 | ti->table->type | 0 |
| PARAM_VALUE | 0 | ti->type | 4096-ptr_max |
| PARAM_VALUE | 0 | ti->type->module | 0,4096-ptr_max |
| PARAM_VALUE | 0 | ti->type->module->refcnt.counter | 0-s32max |
| PARAM_VALUE | 0 | ti->type->module->state | 0-1,3-u32max |
| PARAM_VALUE | 1 | d | 4096-ptr_max |
| PARAM_VALUE | 1 | d->bdev | 4096-ptr_max |
| BUF_SIZE | 0 | ti->error | 23,25,33,38 |
| BUF_SIZE | 0 | ti->private | 1184 |
| CAPPED_DATA | 0 | ti->table->md->disk | 1 |
| CAPPED_DATA | 0 | ti->table->num_targets | 1 |
| CAPPED_DATA | 0 | ti->type | 1 |
| DATA_SOURCE | 0 | ti | $0 |
| STR_LEN | 0 | ti->error | 22,24,32,37 |
| BIT_INFO | 0 | ti->error | 0x800000000020000,0x7ffbfffffbfff000 |
| TERMINATED | 0 | ti->error | 1 |
| MEM_ZERO | 0 | ti | |
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | ti->begin | |
| NO_OVERFLOW_SIMPLE | 0 | ti->len | |
| NO_OVERFLOW_SIMPLE | 0 | ti->table->num_allocated | |
| HALF_LOCKED2 | &md->type_lock |
drivers/md/dm-zoned-target.c dmz_put_zoned_devices() -> dm_put_device()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ti | 4096-ptr_max |
| PARAM_VALUE | 0 | ti->private | 4096-ptr_max |
| PARAM_VALUE | 0 | ti->type | 4096-ptr_max |
| PARAM_VALUE | 1 | d | 1-u64max |
| BUF_SIZE | 0 | ti->error | (-1),22,30-31,35 |
| BUF_SIZE | 0 | ti->private | (-1),1184 |
| CAPPED_DATA | 0 | ti->type | 1 |
| DATA_SOURCE | 0 | ti | $0 |
| STR_LEN | 0 | ti->error | (-1),21,29-30,34 |
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | ti->begin | |
| NO_OVERFLOW_SIMPLE | 0 | ti->len | |
| NO_OVERFLOW_SIMPLE | 0 | ti->table->num_allocated |
drivers/md/dm-log-userspace-base.c userspace_dtr() -> dm_put_device()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | d | 1-u64max |
| NOCHECK_CALL |
drivers/md/dm-log.c disk_ctr() -> dm_put_device()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ti | 4096-ptr_max |
| PARAM_VALUE | 0 | ti->error | 6178336389065121792 |
| PARAM_VALUE | 0 | ti->len | 1-u64max |
| PARAM_VALUE | 0 | ti->table | 4096-ptr_max |
| PARAM_VALUE | 0 | ti->table->flush_bypasses_map | 1 |
| PARAM_VALUE | 0 | ti->table->md->table_devices_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | ti->table->md->table_devices_lock.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | ti->table->md->table_devices_lock.first_waiter->list.prev->prev | 5159360019465732096 |
| PARAM_VALUE | 0 | ti->table->md->table_devices_lock.first_waiter->task->blocked_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | ti->table->md->table_devices_lock.first_waiter->task->blocked_lock.owner | (-1) |
| PARAM_VALUE | 0 | ti->table->md->table_devices_lock.first_waiter->task->blocked_lock.owner_cpu | 4294967295 |
| PARAM_VALUE | 0 | ti->table->md->table_devices_lock.first_waiter->task->usage.refs.counter | s32min-s32max |
| PARAM_VALUE | 0 | ti->table->md->table_devices_lock.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | ti->table->mode | 1,3 |
| PARAM_VALUE | 0 | ti->table->num_allocated | 8-1048576 |
| PARAM_VALUE | 0 | ti->table->type | 0 |
| PARAM_VALUE | 0 | ti->type | 4096-ptr_max |
| PARAM_VALUE | 0 | ti->type->module | 0,4096-ptr_max |
| PARAM_VALUE | 0 | ti->type->module->refcnt.counter | 0-s32max |
| PARAM_VALUE | 0 | ti->type->module->state | 0-1,3-u32max |
| PARAM_VALUE | 1 | d | 4096-ptr_max |
| BUF_SIZE | 0 | ti->error | 14 |
| CAPPED_DATA | 0 | ti->begin | 1 |
| CAPPED_DATA | 0 | ti->len | 1 |
| CAPPED_DATA | 0 | ti->table->md->disk | 1 |
| CAPPED_DATA | 0 | ti->table->num_targets | 1 |
| CAPPED_DATA | 0 | ti->type | 1 |
| DATA_SOURCE | 0 | ti | $1 |
| STR_LEN | 0 | ti->error | 13 |
| TERMINATED | 0 | ti->error | 1 |
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | ti->begin | |
| NO_OVERFLOW_SIMPLE | 0 | ti->len | |
| NO_OVERFLOW_SIMPLE | 0 | ti->table->num_allocated |
drivers/md/dm-log.c disk_dtr() -> dm_put_device()
| Type | Parameter | Key | Value |
|---|---|---|---|
| NOCHECK_CALL |
drivers/md/dm-clone-target.c clone_ctr() -> dm_put_device()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ti | 4096-ptr_max |
| PARAM_VALUE | 0 | ti->error | 4096-ptr_max |
| PARAM_VALUE | 0 | ti->len | 1-u64max |
| PARAM_VALUE | 0 | ti->table | 4096-ptr_max |
| PARAM_VALUE | 0 | ti->table->mode | 1,3 |
| PARAM_VALUE | 0 | ti->table->num_allocated | 8-1048576 |
| PARAM_VALUE | 0 | ti->table->num_targets | 0-1048575 |
| PARAM_VALUE | 0 | ti->table->type | 0 |
| PARAM_VALUE | 0 | ti->type | 4096-ptr_max |
| PARAM_VALUE | 0 | ti->type->module | 0,4096-ptr_max |
| PARAM_VALUE | 0 | ti->type->module->refcnt.counter | 0-s32max |
| PARAM_VALUE | 0 | ti->type->module->state | 0-1,3-u32max |
| PARAM_VALUE | 0 | *ti->error | 0-255 |
| PARAM_VALUE | 1 | d | 4096-ptr_max |
| BUF_SIZE | 0 | ti->error | (-1),14,24-25,29,40,54-55,69 |
| CAPPED_DATA | 0 | ti->begin | 1 |
| CAPPED_DATA | 0 | ti->table->num_targets | 1 |
| CAPPED_DATA | 0 | ti->type | 1 |
| DATA_SOURCE | 0 | ti | $0 |
| STR_LEN | 0 | ti->error | (-1),13,23-24,28,39,53-54,68 |
| BIT_INFO | 0 | ti->error | 0x0,0x7fffffffffffffff |
| TERMINATED | 0 | ti->error | 1 |
| MEM_ZERO | 0 | ti | |
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | ti->begin | |
| NO_OVERFLOW_SIMPLE | 0 | ti->len | |
| NO_OVERFLOW_SIMPLE | 0 | ti->max_io_len | |
| NO_OVERFLOW_SIMPLE | 0 | ti->table->num_allocated | |
| HALF_LOCKED2 | &md->type_lock |
drivers/md/dm-clone-target.c clone_ctr() -> dm_put_device()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ti | 4096-ptr_max |
| PARAM_VALUE | 0 | ti->error | 4096-ptr_max |
| PARAM_VALUE | 0 | ti->len | 1-u64max |
| PARAM_VALUE | 0 | ti->table | 4096-ptr_max |
| PARAM_VALUE | 0 | ti->table->mode | 1,3 |
| PARAM_VALUE | 0 | ti->table->num_allocated | 8-1048576 |
| PARAM_VALUE | 0 | ti->table->num_targets | 0-1048575 |
| PARAM_VALUE | 0 | ti->table->type | 0 |
| PARAM_VALUE | 0 | ti->type | 4096-ptr_max |
| PARAM_VALUE | 0 | ti->type->module | 0,4096-ptr_max |
| PARAM_VALUE | 0 | ti->type->module->refcnt.counter | 0-s32max |
| PARAM_VALUE | 0 | ti->type->module->state | 0-1,3-u32max |
| PARAM_VALUE | 0 | *ti->error | 0-255 |
| PARAM_VALUE | 1 | d | 4096-ptr_max |
| BUF_SIZE | 0 | ti->error | (-1),14,24-25,29,40,54-55,69 |
| CAPPED_DATA | 0 | ti->begin | 1 |
| CAPPED_DATA | 0 | ti->table->num_targets | 1 |
| CAPPED_DATA | 0 | ti->type | 1 |
| DATA_SOURCE | 0 | ti | $0 |
| STR_LEN | 0 | ti->error | (-1),13,23-24,28,39,53-54,68 |
| BIT_INFO | 0 | ti->error | 0x0,0x7fffffffffffffff |
| TERMINATED | 0 | ti->error | 1 |
| MEM_ZERO | 0 | ti | |
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | ti->begin | |
| NO_OVERFLOW_SIMPLE | 0 | ti->len | |
| NO_OVERFLOW_SIMPLE | 0 | ti->max_io_len | |
| NO_OVERFLOW_SIMPLE | 0 | ti->table->num_allocated | |
| HALF_LOCKED2 | &md->type_lock |
drivers/md/dm-clone-target.c clone_ctr() -> dm_put_device()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ti | 4096-ptr_max |
| PARAM_VALUE | 0 | ti->error | 4096-ptr_max |
| PARAM_VALUE | 0 | ti->len | 1-u64max |
| PARAM_VALUE | 0 | ti->table | 4096-ptr_max |
| PARAM_VALUE | 0 | ti->table->mode | 1,3 |
| PARAM_VALUE | 0 | ti->table->num_allocated | 8-1048576 |
| PARAM_VALUE | 0 | ti->table->num_targets | 0-1048575 |
| PARAM_VALUE | 0 | ti->table->type | 0 |
| PARAM_VALUE | 0 | ti->type | 4096-ptr_max |
| PARAM_VALUE | 0 | ti->type->module | 0,4096-ptr_max |
| PARAM_VALUE | 0 | ti->type->module->refcnt.counter | 0-s32max |
| PARAM_VALUE | 0 | ti->type->module->state | 0-1,3-u32max |
| PARAM_VALUE | 0 | *ti->error | 0-255 |
| PARAM_VALUE | 1 | d | 4096-ptr_max |
| BUF_SIZE | 0 | ti->error | (-1),14,24-25,29,40,54-55,69 |
| CAPPED_DATA | 0 | ti->begin | 1 |
| CAPPED_DATA | 0 | ti->table->num_targets | 1 |
| CAPPED_DATA | 0 | ti->type | 1 |
| DATA_SOURCE | 0 | ti | $0 |
| STR_LEN | 0 | ti->error | (-1),13,23-24,28,39,53-54,68 |
| BIT_INFO | 0 | ti->error | 0x0,0x7fffffffffffffff |
| TERMINATED | 0 | ti->error | 1 |
| MEM_ZERO | 0 | ti | |
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | ti->begin | |
| NO_OVERFLOW_SIMPLE | 0 | ti->len | |
| NO_OVERFLOW_SIMPLE | 0 | ti->max_io_len | |
| NO_OVERFLOW_SIMPLE | 0 | ti->table->num_allocated | |
| HALF_LOCKED2 | &md->type_lock |
drivers/md/dm-clone-target.c clone_dtr() -> dm_put_device()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ti | 4096-ptr_max |
| PARAM_VALUE | 0 | ti->private | 4096-ptr_max |
| PARAM_VALUE | 0 | ti->type | 4096-ptr_max |
| PARAM_VALUE | 0 | ti->type->dtr | 1-u64max |
| DATA_SOURCE | 0 | ti | $0 |
| NOCHECK_CALL |
drivers/md/dm-clone-target.c clone_dtr() -> dm_put_device()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ti | 4096-ptr_max |
| PARAM_VALUE | 0 | ti->private | 4096-ptr_max |
| PARAM_VALUE | 0 | ti->table | 4096-ptr_max |
| PARAM_VALUE | 0 | ti->type | 4096-ptr_max |
| PARAM_VALUE | 0 | ti->type->dtr | 1-u64max |
| DATA_SOURCE | 0 | ti | $0 |
| NOCHECK_CALL |
drivers/md/dm-clone-target.c clone_dtr() -> dm_put_device()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ti | 4096-ptr_max |
| PARAM_VALUE | 0 | ti->private | 4096-ptr_max |
| PARAM_VALUE | 0 | ti->table | 4096-ptr_max |
| PARAM_VALUE | 0 | ti->type | 4096-ptr_max |
| PARAM_VALUE | 0 | ti->type->dtr | 1-u64max |
| DATA_SOURCE | 0 | ti | $0 |
| NOCHECK_CALL |
drivers/md/dm-snap.c origin_dtr() -> dm_put_device()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ti | 4096-ptr_max |
| PARAM_VALUE | 0 | ti->private | 4096-ptr_max |
| PARAM_VALUE | 0 | ti->type | 4096-ptr_max |
| PARAM_VALUE | 0 | ti->type->dtr | 1-u64max |
| DATA_SOURCE | 0 | ti | $0 |
| NOCHECK_CALL |
drivers/md/dm-snap.c snapshot_ctr() -> dm_put_device()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ti | 4096-ptr_max |
| PARAM_VALUE | 0 | ti->error | 4096-ptr_max |
| PARAM_VALUE | 0 | ti->len | 1-u64max |
| PARAM_VALUE | 0 | ti->max_io_len | 0-4194303 |
| PARAM_VALUE | 0 | ti->num_discard_bios | 0-2 |
| PARAM_VALUE | 0 | ti->num_flush_bios | 0-2 |
| PARAM_VALUE | 0 | ti->per_io_data_size | 0,24 |
| PARAM_VALUE | 0 | ti->private | 0,4096-ptr_max |
| PARAM_VALUE | 0 | ti->table | 4096-ptr_max |
| PARAM_VALUE | 0 | ti->table->md->table_devices_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | ti->table->md->table_devices_lock.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | ti->table->md->table_devices_lock.first_waiter->list.prev->prev | 5159360019465732096 |
| PARAM_VALUE | 0 | ti->table->md->table_devices_lock.first_waiter->task->blocked_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | ti->table->md->table_devices_lock.first_waiter->task->blocked_lock.owner | (-1) |
| PARAM_VALUE | 0 | ti->table->md->table_devices_lock.first_waiter->task->blocked_lock.owner_cpu | 4294967295 |
| PARAM_VALUE | 0 | ti->table->md->table_devices_lock.first_waiter->task->usage.refs.counter | s32min-s32max |
| PARAM_VALUE | 0 | ti->table->md->table_devices_lock.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | ti->table->mode | 1,3 |
| PARAM_VALUE | 0 | ti->table->num_allocated | 8-1048576 |
| PARAM_VALUE | 0 | ti->table->num_targets | 0-1048575 |
| PARAM_VALUE | 0 | ti->table->type | 0 |
| PARAM_VALUE | 0 | ti->type | 4096-ptr_max |
| PARAM_VALUE | 0 | ti->type->module | 0,4096-ptr_max |
| PARAM_VALUE | 0 | ti->type->module->refcnt.counter | 0-s32max |
| PARAM_VALUE | 0 | ti->type->module->state | 0-1,3-u32max |
| PARAM_VALUE | 1 | d | 4096-ptr_max |
| BUF_SIZE | 0 | ti->error | (-1),14,19,31-33,36,41,47,50 |
| BUF_SIZE | 0 | ti->private | 968,u64max |
| CAPPED_DATA | 0 | ti->begin | 1 |
| CAPPED_DATA | 0 | ti->table->md->disk | 1 |
| CAPPED_DATA | 0 | ti->table->num_targets | 1 |
| CAPPED_DATA | 0 | ti->type | 1 |
| DATA_SOURCE | 0 | ti | $0 |
| FUZZY_MAX | 0 | ti->max_io_len | 0 |
| FUZZY_MAX | 0 | ti->num_discard_bios | 2 |
| FUZZY_MAX | 0 | ti->num_flush_bios | 0 |
| FUZZY_MAX | 0 | ti->per_io_data_size | 24 |
| STR_LEN | 0 | ti->error | (-1),13,18,30-32,35,40,46,49 |
| TERMINATED | 0 | ti->error | 1 |
| HARD_MAX | 0 | ti->num_discard_bios | 2 |
| HARD_MAX | 0 | ti->per_io_data_size | 24 |
| MEM_ZERO | 0 | ti | |
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | ti->begin | |
| NO_OVERFLOW_SIMPLE | 0 | ti->len | |
| NO_OVERFLOW_SIMPLE | 0 | ti->max_io_len | |
| NO_OVERFLOW_SIMPLE | 0 | ti->table->num_allocated | |
| HALF_LOCKED2 | &md->type_lock |
drivers/md/dm-snap.c snapshot_ctr() -> dm_put_device()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ti | 4096-ptr_max |
| PARAM_VALUE | 0 | ti->error | 4096-ptr_max |
| PARAM_VALUE | 0 | ti->len | 1-u64max |
| PARAM_VALUE | 0 | ti->max_io_len | 0-4194303 |
| PARAM_VALUE | 0 | ti->num_discard_bios | 0-2 |
| PARAM_VALUE | 0 | ti->num_flush_bios | 0-2 |
| PARAM_VALUE | 0 | ti->per_io_data_size | 0,24 |
| PARAM_VALUE | 0 | ti->private | 0,4096-ptr_max |
| PARAM_VALUE | 0 | ti->table | 4096-ptr_max |
| PARAM_VALUE | 0 | ti->table->md->table_devices_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | ti->table->md->table_devices_lock.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | ti->table->md->table_devices_lock.first_waiter->list.prev->prev | 5159360019465732096 |
| PARAM_VALUE | 0 | ti->table->md->table_devices_lock.first_waiter->task->blocked_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | ti->table->md->table_devices_lock.first_waiter->task->blocked_lock.owner | (-1) |
| PARAM_VALUE | 0 | ti->table->md->table_devices_lock.first_waiter->task->blocked_lock.owner_cpu | 4294967295 |
| PARAM_VALUE | 0 | ti->table->md->table_devices_lock.first_waiter->task->usage.refs.counter | s32min-s32max |
| PARAM_VALUE | 0 | ti->table->md->table_devices_lock.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | ti->table->mode | 1,3 |
| PARAM_VALUE | 0 | ti->table->num_allocated | 8-1048576 |
| PARAM_VALUE | 0 | ti->table->num_targets | 0-1048575 |
| PARAM_VALUE | 0 | ti->table->type | 0 |
| PARAM_VALUE | 0 | ti->type | 4096-ptr_max |
| PARAM_VALUE | 0 | ti->type->module | 0,4096-ptr_max |
| PARAM_VALUE | 0 | ti->type->module->refcnt.counter | 0-s32max |
| PARAM_VALUE | 0 | ti->type->module->state | 0-1,3-u32max |
| PARAM_VALUE | 1 | d | 4096-ptr_max |
| BUF_SIZE | 0 | ti->error | (-1),14,19,22,31-33,36,41,47,50 |
| BUF_SIZE | 0 | ti->private | 968,u64max |
| CAPPED_DATA | 0 | ti->begin | 1 |
| CAPPED_DATA | 0 | ti->table->md->disk | 1 |
| CAPPED_DATA | 0 | ti->table->num_targets | 1 |
| CAPPED_DATA | 0 | ti->type | 1 |
| DATA_SOURCE | 0 | ti | $0 |
| FUZZY_MAX | 0 | ti->max_io_len | 0 |
| FUZZY_MAX | 0 | ti->num_discard_bios | 2 |
| FUZZY_MAX | 0 | ti->num_flush_bios | 0 |
| FUZZY_MAX | 0 | ti->per_io_data_size | 24 |
| STR_LEN | 0 | ti->error | (-1),13,18,21,30-32,35,40,46,49 |
| TERMINATED | 0 | ti->error | 1 |
| HARD_MAX | 0 | ti->num_discard_bios | 2 |
| HARD_MAX | 0 | ti->per_io_data_size | 24 |
| MEM_ZERO | 0 | ti | |
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | ti->begin | |
| NO_OVERFLOW_SIMPLE | 0 | ti->len | |
| NO_OVERFLOW_SIMPLE | 0 | ti->max_io_len | |
| NO_OVERFLOW_SIMPLE | 0 | ti->table->num_allocated | |
| HALF_LOCKED2 | &md->type_lock |
drivers/md/dm-snap.c snapshot_dtr() -> dm_put_device()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ti | 4096-ptr_max |
| PARAM_VALUE | 0 | ti->private | 4096-ptr_max |
| PARAM_VALUE | 0 | ti->type | 4096-ptr_max |
| PARAM_VALUE | 0 | ti->type->dtr | 1-u64max |
| DATA_SOURCE | 0 | ti | $0 |
| NOCHECK_CALL |
drivers/md/dm-snap.c snapshot_dtr() -> dm_put_device()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ti | 4096-ptr_max |
| PARAM_VALUE | 0 | ti->private | 4096-ptr_max |
| PARAM_VALUE | 0 | ti->table | 4096-ptr_max |
| PARAM_VALUE | 0 | ti->type | 4096-ptr_max |
| PARAM_VALUE | 0 | ti->type->dtr | 1-u64max |
| PARAM_VALUE | 1 | d | 4096-ptr_max |
| PARAM_VALUE | 1 | d->bdev | 4096-ptr_max |
| CAPPED_DATA | 1 | d->bdev | 1 |
| DATA_SOURCE | 0 | ti | $0 |
| NOCHECK_CALL |
drivers/md/dm-ebs-target.c ebs_dtr() -> dm_put_device()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ti | 4096-ptr_max |
| PARAM_VALUE | 0 | ti->private | 4096-ptr_max |
| PARAM_VALUE | 0 | ti->type | 4096-ptr_max |
| PARAM_VALUE | 1 | d | 1-u64max |
| BUF_SIZE | 0 | ti->error | (-1),21,28-31,40,56 |
| BUF_SIZE | 0 | ti->private | (-1),216 |
| CAPPED_DATA | 0 | ti->type | 1 |
| DATA_SOURCE | 0 | ti | $0 |
| STR_LEN | 0 | ti->error | (-1),20,27-30,39,55 |
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | ti->begin | |
| NO_OVERFLOW_SIMPLE | 0 | ti->len | |
| NO_OVERFLOW_SIMPLE | 0 | ti->table->num_allocated |
drivers/md/dm-era-target.c era_destroy() -> dm_put_device()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | d | 1-u64max |
| STR_LEN | 0 | ti->error | (-1),13 |
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | ti->begin | |
| NO_OVERFLOW_SIMPLE | 0 | ti->len |
drivers/md/dm-era-target.c era_destroy() -> dm_put_device()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | d | 1-u64max |
| STR_LEN | 0 | ti->error | (-1),13 |
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | ti->begin | |
| NO_OVERFLOW_SIMPLE | 0 | ti->len |
drivers/md/dm-vdo/dm-vdo-target.c free_device_config() -> dm_put_device()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | d | 1-u64max |
| STR_LEN | 0 | ti->error | (-1),13 |
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | ti->begin | |
| NO_OVERFLOW_SIMPLE | 0 | ti->len |
drivers/md/dm-delay.c delay_dtr() -> dm_put_device()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ti | 4096-ptr_max |
| PARAM_VALUE | 0 | ti->private | 4096-ptr_max |
| PARAM_VALUE | 0 | ti->type | 4096-ptr_max |
| PARAM_VALUE | 1 | d | 1-u64max |
| BUF_SIZE | 0 | ti->error | (-1),14 |
| BUF_SIZE | 0 | ti->private | (-1),512 |
| CAPPED_DATA | 0 | ti->type | 1 |
| DATA_SOURCE | 0 | ti | $0 |
| STR_LEN | 0 | ti->error | (-1),13 |
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | ti->begin | |
| NO_OVERFLOW_SIMPLE | 0 | ti->len | |
| NO_OVERFLOW_SIMPLE | 0 | ti->table->num_allocated |
drivers/md/dm-delay.c delay_dtr() -> dm_put_device()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ti | 4096-ptr_max |
| PARAM_VALUE | 0 | ti->private | 4096-ptr_max |
| PARAM_VALUE | 0 | ti->type | 4096-ptr_max |
| PARAM_VALUE | 1 | d | 1-u64max |
| BUF_SIZE | 0 | ti->error | (-1),14 |
| BUF_SIZE | 0 | ti->private | (-1),512 |
| CAPPED_DATA | 0 | ti->type | 1 |
| DATA_SOURCE | 0 | ti | $0 |
| STR_LEN | 0 | ti->error | (-1),13 |
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | ti->begin | |
| NO_OVERFLOW_SIMPLE | 0 | ti->len | |
| NO_OVERFLOW_SIMPLE | 0 | ti->table->num_allocated |
drivers/md/dm-delay.c delay_dtr() -> dm_put_device()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ti | 4096-ptr_max |
| PARAM_VALUE | 0 | ti->private | 4096-ptr_max |
| PARAM_VALUE | 0 | ti->type | 4096-ptr_max |
| PARAM_VALUE | 1 | d | 1-u64max |
| BUF_SIZE | 0 | ti->error | (-1),14 |
| BUF_SIZE | 0 | ti->private | (-1),512 |
| CAPPED_DATA | 0 | ti->type | 1 |
| DATA_SOURCE | 0 | ti | $0 |
| STR_LEN | 0 | ti->error | (-1),13 |
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | ti->begin | |
| NO_OVERFLOW_SIMPLE | 0 | ti->len | |
| NO_OVERFLOW_SIMPLE | 0 | ti->table->num_allocated |
drivers/md/dm-mpath.c free_pgpaths() -> dm_put_device()
| Type | Parameter | Key | Value |
|---|---|---|---|
| BUF_SIZE | 0 | ti->error | (-1),27 |
| DATA_SOURCE | 0 | ti | $1 |
| STR_LEN | 0 | ti->error | (-1),13,26 |
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | ti->begin | |
| NO_OVERFLOW_SIMPLE | 0 | ti->len |
drivers/md/dm-mpath.c parse_path() -> dm_put_device()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ti | 4096-ptr_max |
| PARAM_VALUE | 0 | ti->error | 4096-ptr_max |
| PARAM_VALUE | 0 | ti->len | 1-u64max |
| PARAM_VALUE | 0 | ti->table | 4096-ptr_max |
| PARAM_VALUE | 0 | ti->table->md->table_devices_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | ti->table->md->table_devices_lock.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | ti->table->md->table_devices_lock.first_waiter->list.prev->prev | 5159360019465732096 |
| PARAM_VALUE | 0 | ti->table->md->table_devices_lock.first_waiter->task->blocked_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | ti->table->md->table_devices_lock.first_waiter->task->blocked_lock.owner | (-1) |
| PARAM_VALUE | 0 | ti->table->md->table_devices_lock.first_waiter->task->blocked_lock.owner_cpu | 4294967295 |
| PARAM_VALUE | 0 | ti->table->md->table_devices_lock.first_waiter->task->usage.refs.counter | s32min-s32max |
| PARAM_VALUE | 0 | ti->table->md->table_devices_lock.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | ti->type | 4096-ptr_max |
| PARAM_VALUE | 1 | d | 4096-ptr_max |
| PARAM_VALUE | 1 | d->bdev | 4096-ptr_max |
| BUF_SIZE | 0 | ti->error | (-1),30 |
| CAPPED_DATA | 0 | ti->begin | 1 |
| CAPPED_DATA | 0 | ti->table->md->disk | 1 |
| DATA_SOURCE | 0 | ti | $2 |
| STR_LEN | 0 | ti->error | (-1),29 |
| TERMINATED | 0 | ti->error | 1 |
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | ti->begin | |
| NO_OVERFLOW_SIMPLE | 0 | ti->len | |
| HALF_LOCKED2 | &md->type_lock |
drivers/md/dm-thin.c pool_ctr() -> dm_put_device()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ti | 4096-ptr_max |
| PARAM_VALUE | 0 | ti->error | 4096-ptr_max |
| PARAM_VALUE | 0 | ti->len | 1-u64max |
| PARAM_VALUE | 0 | ti->num_discard_bios | 0-1 |
| PARAM_VALUE | 0 | ti->num_flush_bios | 0-1 |
| PARAM_VALUE | 0 | ti->private | 0,4096-ptr_max |
| PARAM_VALUE | 0 | ti->table | 4096-ptr_max |
| PARAM_VALUE | 0 | ti->table->md->table_devices_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | ti->table->md->table_devices_lock.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | ti->table->md->table_devices_lock.first_waiter->list.prev->prev | 5159360019465732096 |
| PARAM_VALUE | 0 | ti->table->md->table_devices_lock.first_waiter->task->blocked_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | ti->table->md->table_devices_lock.first_waiter->task->blocked_lock.owner | (-1) |
| PARAM_VALUE | 0 | ti->table->md->table_devices_lock.first_waiter->task->blocked_lock.owner_cpu | 4294967295 |
| PARAM_VALUE | 0 | ti->table->md->table_devices_lock.first_waiter->task->usage.refs.counter | s32min-s32max |
| PARAM_VALUE | 0 | ti->table->md->table_devices_lock.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | ti->table->mode | 1,3 |
| PARAM_VALUE | 0 | ti->table->num_allocated | 8-1048576 |
| PARAM_VALUE | 0 | ti->table->num_targets | 0-1048575 |
| PARAM_VALUE | 0 | ti->table->type | 0 |
| PARAM_VALUE | 0 | ti->type | 4096-ptr_max |
| PARAM_VALUE | 0 | ti->type->module | 0,4096-ptr_max |
| PARAM_VALUE | 0 | ti->type->module->refcnt.counter | 0-s32max |
| PARAM_VALUE | 0 | ti->type->module->state | 0-1,3-u32max |
| PARAM_VALUE | 1 | d | 4096-ptr_max |
| BUF_SIZE | 0 | ti->error | (-1),14,19,23,37,48 |
| BUF_SIZE | 0 | ti->private | 56,u64max |
| CAPPED_DATA | 0 | ti->begin | 1 |
| CAPPED_DATA | 0 | ti->table->md->disk | 1 |
| CAPPED_DATA | 0 | ti->table->num_targets | 1 |
| CAPPED_DATA | 0 | ti->type | 1 |
| DATA_SOURCE | 0 | ti | $0 |
| FUZZY_MAX | 0 | ti->num_discard_bios | 1 |
| FUZZY_MAX | 0 | ti->num_flush_bios | 1 |
| STR_LEN | 0 | ti->error | (-1),13,18,22,36,47 |
| TERMINATED | 0 | ti->error | 1 |
| HARD_MAX | 0 | ti->num_discard_bios | 1 |
| HARD_MAX | 0 | ti->num_flush_bios | 1 |
| MEM_ZERO | 0 | ti | |
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | ti->begin | |
| NO_OVERFLOW_SIMPLE | 0 | ti->len | |
| NO_OVERFLOW_SIMPLE | 0 | ti->table->num_allocated | |
| LOCK2 | global &dm_thin_pool_table.mutex | ||
| HALF_LOCKED2 | &md->type_lock | ||
| TYPE_LOCK | (struct dm_thin_pool_table)->mutex |
drivers/md/dm-thin.c pool_ctr() -> dm_put_device()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ti | 4096-ptr_max |
| PARAM_VALUE | 0 | ti->error | 4096-ptr_max |
| PARAM_VALUE | 0 | ti->len | 1-u64max |
| PARAM_VALUE | 0 | ti->num_discard_bios | 0-1 |
| PARAM_VALUE | 0 | ti->num_flush_bios | 0-1 |
| PARAM_VALUE | 0 | ti->private | 0,4096-ptr_max |
| PARAM_VALUE | 0 | ti->table | 4096-ptr_max |
| PARAM_VALUE | 0 | ti->table->md->table_devices_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | ti->table->md->table_devices_lock.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | ti->table->md->table_devices_lock.first_waiter->list.prev->prev | 5159360019465732096 |
| PARAM_VALUE | 0 | ti->table->md->table_devices_lock.first_waiter->task->blocked_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | ti->table->md->table_devices_lock.first_waiter->task->blocked_lock.owner | (-1) |
| PARAM_VALUE | 0 | ti->table->md->table_devices_lock.first_waiter->task->blocked_lock.owner_cpu | 4294967295 |
| PARAM_VALUE | 0 | ti->table->md->table_devices_lock.first_waiter->task->usage.refs.counter | s32min-s32max |
| PARAM_VALUE | 0 | ti->table->md->table_devices_lock.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | ti->table->mode | 1,3 |
| PARAM_VALUE | 0 | ti->table->num_allocated | 8-1048576 |
| PARAM_VALUE | 0 | ti->table->num_targets | 0-1048575 |
| PARAM_VALUE | 0 | ti->table->type | 0 |
| PARAM_VALUE | 0 | ti->type | 4096-ptr_max |
| PARAM_VALUE | 0 | ti->type->module | 0,4096-ptr_max |
| PARAM_VALUE | 0 | ti->type->module->refcnt.counter | 0-s32max |
| PARAM_VALUE | 0 | ti->type->module->state | 0-1,3-u32max |
| PARAM_VALUE | 1 | d | 4096-ptr_max |
| PARAM_VALUE | 1 | d->bdev | 4096-ptr_max |
| BUF_SIZE | 0 | ti->error | (-1),14,19,23,26,37,48 |
| BUF_SIZE | 0 | ti->private | 56,u64max |
| CAPPED_DATA | 0 | ti->begin | 1 |
| CAPPED_DATA | 0 | ti->table->md->disk | 1 |
| CAPPED_DATA | 0 | ti->table->num_targets | 1 |
| CAPPED_DATA | 0 | ti->type | 1 |
| CAPPED_DATA | 1 | d->bdev | 1 |
| DATA_SOURCE | 0 | ti | $0 |
| FUZZY_MAX | 0 | ti->num_discard_bios | 1 |
| FUZZY_MAX | 0 | ti->num_flush_bios | 1 |
| STR_LEN | 0 | ti->error | (-1),13,18,22,25,36,47 |
| TERMINATED | 0 | ti->error | 1 |
| HARD_MAX | 0 | ti->num_discard_bios | 1 |
| HARD_MAX | 0 | ti->num_flush_bios | 1 |
| MEM_ZERO | 0 | ti | |
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | ti->begin | |
| NO_OVERFLOW_SIMPLE | 0 | ti->len | |
| NO_OVERFLOW_SIMPLE | 0 | ti->table->num_allocated | |
| LOCK2 | global &dm_thin_pool_table.mutex | ||
| HALF_LOCKED2 | &md->type_lock | ||
| TYPE_LOCK | (struct dm_thin_pool_table)->mutex |
drivers/md/dm-thin.c pool_dtr() -> dm_put_device()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ti | 4096-ptr_max |
| PARAM_VALUE | 0 | ti->private | 4096-ptr_max |
| PARAM_VALUE | 0 | ti->type | 4096-ptr_max |
| PARAM_VALUE | 0 | ti->type->dtr | 1-u64max |
| CAPPED_DATA | 0 | ti | 1 |
| DATA_SOURCE | 0 | ti | $0 |
| NOCHECK_CALL | |||
| LOCK2 | global &dm_thin_pool_table.mutex | ||
| TYPE_LOCK | (struct dm_thin_pool_table)->mutex |
drivers/md/dm-thin.c pool_dtr() -> dm_put_device()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ti | 4096-ptr_max |
| PARAM_VALUE | 0 | ti->private | 4096-ptr_max |
| PARAM_VALUE | 0 | ti->table | 4096-ptr_max |
| PARAM_VALUE | 0 | ti->type | 4096-ptr_max |
| PARAM_VALUE | 0 | ti->type->dtr | 1-u64max |
| CAPPED_DATA | 0 | ti | 1 |
| DATA_SOURCE | 0 | ti | $0 |
| NOCHECK_CALL | |||
| LOCK2 | global &dm_thin_pool_table.mutex | ||
| TYPE_LOCK | (struct dm_thin_pool_table)->mutex |
drivers/md/dm-thin.c thin_ctr() -> dm_put_device()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ti | 4096-ptr_max |
| PARAM_VALUE | 0 | ti->error | 836444976814276608,4638052934942494720,5429217481223737344,5695364486902935552,6390551273227608064,7889894386316673024,8656896217887535104 |
| PARAM_VALUE | 0 | ti->len | 1-u64max |
| PARAM_VALUE | 0 | ti->num_discard_bios | 0-1 |
| PARAM_VALUE | 0 | ti->num_flush_bios | 0-1 |
| PARAM_VALUE | 0 | ti->per_io_data_size | 0,64 |
| PARAM_VALUE | 0 | ti->private | 4096-ptr_max |
| PARAM_VALUE | 0 | ti->table | 4096-ptr_max |
| PARAM_VALUE | 0 | ti->table->mode | 1,3 |
| PARAM_VALUE | 0 | ti->table->num_allocated | 8-1048576 |
| PARAM_VALUE | 0 | ti->table->num_targets | 0-1048575 |
| PARAM_VALUE | 0 | ti->table->type | 0 |
| PARAM_VALUE | 0 | ti->type | 4096-ptr_max |
| PARAM_VALUE | 0 | ti->type->module | 0,4096-ptr_max |
| PARAM_VALUE | 0 | ti->type->module->refcnt.counter | 0-s32max |
| PARAM_VALUE | 0 | ti->type->module->state | 0-1,3-u32max |
| PARAM_VALUE | 1 | d | 4096-ptr_max |
| BUF_SIZE | 0 | ti->error | (-1),18,26,32,35,48,55 |
| BUF_SIZE | 0 | ti->private | 312 |
| CAPPED_DATA | 0 | ti->begin | 1 |
| CAPPED_DATA | 0 | ti->table->md->disk | 1 |
| CAPPED_DATA | 0 | ti->table->num_targets | 1 |
| CAPPED_DATA | 0 | ti->type | 1 |
| DATA_SOURCE | 0 | ti | $0 |
| FUZZY_MAX | 0 | ti->num_discard_bios | 1 |
| FUZZY_MAX | 0 | ti->num_flush_bios | 1 |
| FUZZY_MAX | 0 | ti->per_io_data_size | 64 |
| STR_LEN | 0 | ti->error | (-1),17,25,31,34,47,54 |
| BIT_INFO | 0 | ti->error | 0x0,0x7ffffffffffff000 |
| TERMINATED | 0 | ti->error | 1 |
| HARD_MAX | 0 | ti->num_discard_bios | 1 |
| HARD_MAX | 0 | ti->num_flush_bios | 1 |
| HARD_MAX | 0 | ti->per_io_data_size | 64 |
| MEM_ZERO | 0 | ti | |
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | ti->begin | |
| NO_OVERFLOW_SIMPLE | 0 | ti->len | |
| NO_OVERFLOW_SIMPLE | 0 | ti->max_io_len | |
| NO_OVERFLOW_SIMPLE | 0 | ti->table->num_allocated | |
| LOCK2 | global &dm_thin_pool_table.mutex | ||
| HALF_LOCKED2 | &md->type_lock | ||
| TYPE_LOCK | (struct dm_thin_pool_table)->mutex |
drivers/md/dm-thin.c thin_ctr() -> dm_put_device()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ti | 4096-ptr_max |
| PARAM_VALUE | 0 | ti->error | 836444976814276608,4638052934942494720,5429217481223737344,5695364486902935552,6390551273227608064,6414234369279143936,7889894386316673024,8656896217887535104 |
| PARAM_VALUE | 0 | ti->len | 1-u64max |
| PARAM_VALUE | 0 | ti->num_discard_bios | 0-1 |
| PARAM_VALUE | 0 | ti->num_flush_bios | 0-1 |
| PARAM_VALUE | 0 | ti->per_io_data_size | 0,64 |
| PARAM_VALUE | 0 | ti->private | 4096-ptr_max |
| PARAM_VALUE | 0 | ti->table | 4096-ptr_max |
| PARAM_VALUE | 0 | ti->table->mode | 1,3 |
| PARAM_VALUE | 0 | ti->table->num_allocated | 8-1048576 |
| PARAM_VALUE | 0 | ti->table->num_targets | 0-1048575 |
| PARAM_VALUE | 0 | ti->table->type | 0 |
| PARAM_VALUE | 0 | ti->type | 4096-ptr_max |
| PARAM_VALUE | 0 | ti->type->module | 0,4096-ptr_max |
| PARAM_VALUE | 0 | ti->type->module->refcnt.counter | 0-s32max |
| PARAM_VALUE | 0 | ti->type->module->state | 0-1,3-u32max |
| PARAM_VALUE | 1 | d | 1-u64max |
| BUF_SIZE | 0 | ti->error | (-1),18,26,32,35,48,55 |
| BUF_SIZE | 0 | ti->private | 312 |
| CAPPED_DATA | 0 | ti->begin | 1 |
| CAPPED_DATA | 0 | ti->table->num_targets | 1 |
| CAPPED_DATA | 0 | ti->type | 1 |
| DATA_SOURCE | 0 | ti | $0 |
| FUZZY_MAX | 0 | ti->num_discard_bios | 1 |
| FUZZY_MAX | 0 | ti->num_flush_bios | 1 |
| FUZZY_MAX | 0 | ti->per_io_data_size | 64 |
| STR_LEN | 0 | ti->error | (-1),17,25,31,34,47,54 |
| BIT_INFO | 0 | ti->error | 0x0,0x7ffffffffffff000 |
| TERMINATED | 0 | ti->error | 1 |
| HARD_MAX | 0 | ti->num_discard_bios | 1 |
| HARD_MAX | 0 | ti->num_flush_bios | 1 |
| HARD_MAX | 0 | ti->per_io_data_size | 64 |
| MEM_ZERO | 0 | ti | |
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | ti->begin | |
| NO_OVERFLOW_SIMPLE | 0 | ti->len | |
| NO_OVERFLOW_SIMPLE | 0 | ti->max_io_len | |
| NO_OVERFLOW_SIMPLE | 0 | ti->table->num_allocated | |
| LOCK2 | global &dm_thin_pool_table.mutex | ||
| HALF_LOCKED2 | &md->type_lock | ||
| TYPE_LOCK | (struct dm_thin_pool_table)->mutex |
drivers/md/dm-thin.c thin_dtr() -> dm_put_device()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ti | 4096-ptr_max |
| PARAM_VALUE | 0 | ti->private | 4096-ptr_max |
| PARAM_VALUE | 0 | ti->type | 4096-ptr_max |
| PARAM_VALUE | 0 | ti->type->dtr | 1-u64max |
| DATA_SOURCE | 0 | ti | $0 |
| NOCHECK_CALL | |||
| LOCK2 | global &dm_thin_pool_table.mutex | ||
| TYPE_LOCK | (struct dm_thin_pool_table)->mutex |
drivers/md/dm-thin.c thin_dtr() -> dm_put_device()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ti | 4096-ptr_max |
| PARAM_VALUE | 0 | ti->private | 4096-ptr_max |
| PARAM_VALUE | 0 | ti->table | 4096-ptr_max |
| PARAM_VALUE | 0 | ti->type | 4096-ptr_max |
| PARAM_VALUE | 0 | ti->type->dtr | 1-u64max |
| PARAM_VALUE | 1 | d | 1-u64max |
| DATA_SOURCE | 0 | ti | $0 |
| NOCHECK_CALL | |||
| LOCK2 | global &dm_thin_pool_table.mutex | ||
| TYPE_LOCK | (struct dm_thin_pool_table)->mutex |
drivers/md/dm-writecache.c writecache_dtr() -> dm_put_device()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ti | 4096-ptr_max |
| PARAM_VALUE | 0 | ti->private | 4096-ptr_max |
| PARAM_VALUE | 0 | ti->type | 4096-ptr_max |
| PARAM_VALUE | 0 | ti->type->dtr | 1-u64max |
| PARAM_VALUE | 1 | d | 1-u64max |
| DATA_SOURCE | 0 | ti | $0 |
| NOCHECK_CALL |
drivers/md/dm-writecache.c writecache_dtr() -> dm_put_device()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ti | 4096-ptr_max |
| PARAM_VALUE | 0 | ti->private | 4096-ptr_max |
| PARAM_VALUE | 0 | ti->type | 4096-ptr_max |
| PARAM_VALUE | 0 | ti->type->dtr | 1-u64max |
| PARAM_VALUE | 1 | d | 1-u64max |
| DATA_SOURCE | 0 | ti | $0 |
| NOCHECK_CALL |
drivers/md/dm-dust.c dust_dtr() -> dm_put_device()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ti | 4096-ptr_max |
| PARAM_VALUE | 0 | ti->private | 4096-ptr_max |
| PARAM_VALUE | 0 | ti->type | 4096-ptr_max |
| PARAM_VALUE | 0 | ti->type->dtr | 1-u64max |
| DATA_SOURCE | 0 | ti | $0 |
| NOCHECK_CALL |
drivers/md/dm-switch.c parse_path() -> dm_put_device()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ti | 4096-ptr_max |
| PARAM_VALUE | 0 | ti->error | 2466412607324581888 |
| PARAM_VALUE | 0 | ti->len | 1-u64max |
| PARAM_VALUE | 0 | ti->private | 4096-ptr_max |
| PARAM_VALUE | 0 | ti->table | 4096-ptr_max |
| PARAM_VALUE | 0 | ti->table->md->table_devices_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | ti->table->md->table_devices_lock.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | ti->table->md->table_devices_lock.first_waiter->list.prev->prev | 5159360019465732096 |
| PARAM_VALUE | 0 | ti->table->md->table_devices_lock.first_waiter->task->blocked_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | ti->table->md->table_devices_lock.first_waiter->task->blocked_lock.owner | (-1) |
| PARAM_VALUE | 0 | ti->table->md->table_devices_lock.first_waiter->task->blocked_lock.owner_cpu | 4294967295 |
| PARAM_VALUE | 0 | ti->table->md->table_devices_lock.first_waiter->task->usage.refs.counter | s32min-s32max |
| PARAM_VALUE | 0 | ti->table->md->table_devices_lock.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | ti->table->mode | 1,3 |
| PARAM_VALUE | 0 | ti->table->num_allocated | 8-1048576 |
| PARAM_VALUE | 0 | ti->table->num_targets | 0-1048575 |
| PARAM_VALUE | 0 | ti->table->type | 0 |
| PARAM_VALUE | 0 | ti->type | 4096-ptr_max |
| PARAM_VALUE | 0 | ti->type->module | 0,4096-ptr_max |
| PARAM_VALUE | 0 | ti->type->module->refcnt.counter | 0-s32max |
| PARAM_VALUE | 0 | ti->type->module->state | 0-1,3-u32max |
| BUF_SIZE | 0 | ti->error | 31 |
| CAPPED_DATA | 0 | ti->begin | 1 |
| CAPPED_DATA | 0 | ti->table->md->disk | 1 |
| CAPPED_DATA | 0 | ti->table->num_targets | 1 |
| CAPPED_DATA | 0 | ti->type | 1 |
| DATA_SOURCE | 0 | ti | $1 |
| STR_LEN | 0 | ti->error | 30 |
| TERMINATED | 0 | ti->error | 1 |
| MEM_ZERO | 0 | ti | |
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | ti->begin | |
| NO_OVERFLOW_SIMPLE | 0 | ti->len | |
| NO_OVERFLOW_SIMPLE | 0 | ti->max_io_len | |
| NO_OVERFLOW_SIMPLE | 0 | ti->table->num_allocated | |
| HALF_LOCKED2 | &md->type_lock |
drivers/md/dm-switch.c switch_dtr() -> dm_put_device()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ti | 4096-ptr_max |
| PARAM_VALUE | 0 | ti->type | 4096-ptr_max |
| CAPPED_DATA | 0 | ti->type | 1 |
| DATA_SOURCE | 0 | ti | $0 |
| STR_LEN | 0 | ti->error | (-1) |
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | ti->begin | |
| NO_OVERFLOW_SIMPLE | 0 | ti->len | |
| NO_OVERFLOW_SIMPLE | 0 | ti->max_io_len | |
| NO_OVERFLOW_SIMPLE | 0 | ti->table->num_allocated |
drivers/md/dm-integrity.c dm_integrity_dtr() -> dm_put_device()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ti | 4096-ptr_max |
| PARAM_VALUE | 0 | ti->private | 4096-ptr_max |
| PARAM_VALUE | 0 | ti->type | 4096-ptr_max |
| PARAM_VALUE | 0 | ti->type->dtr | 1-u64max |
| PARAM_VALUE | 1 | d | 1-u64max |
| DATA_SOURCE | 0 | ti | $0 |
| NOCHECK_CALL |
drivers/md/dm-integrity.c dm_integrity_dtr() -> dm_put_device()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ti | 4096-ptr_max |
| PARAM_VALUE | 0 | ti->private | 4096-ptr_max |
| PARAM_VALUE | 0 | ti->type | 4096-ptr_max |
| PARAM_VALUE | 0 | ti->type->dtr | 1-u64max |
| PARAM_VALUE | 1 | d | 1-u64max |
| DATA_SOURCE | 0 | ti | $0 |
| NOCHECK_CALL |
drivers/md/dm-unstripe.c cleanup_unstripe() -> dm_put_device()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ti | 4096-ptr_max |
| PARAM_VALUE | 0 | ti->type | 4096-ptr_max |
| PARAM_VALUE | 1 | d | 1-u64max |
| BUF_SIZE | 0 | ti->error | (-1),19,21-22,25,28,30,42,48 |
| CAPPED_DATA | 0 | ti->type | 1 |
| DATA_SOURCE | 0 | ti | $1 |
| STR_LEN | 0 | ti->error | (-1),18,20-21,24,27,29,41,47 |
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | ti->begin | |
| NO_OVERFLOW_SIMPLE | 0 | ti->len | |
| NO_OVERFLOW_SIMPLE | 0 | ti->table->num_allocated |
drivers/md/dm-crypt.c crypt_dtr() -> dm_put_device()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ti | 4096-ptr_max |
| PARAM_VALUE | 0 | ti->private | 0 |
| PARAM_VALUE | 0 | ti->type | 4096-ptr_max |
| PARAM_VALUE | 1 | d | 1-u64max |
| BUF_SIZE | 0 | ti->error | (-1),14,21-22,25-26,28-30,33,38-39 |
| CAPPED_DATA | 0 | ti->type | 1 |
| DATA_SOURCE | 0 | ti | $0 |
| STR_LEN | 0 | ti->error | (-1),13,20-21,24-25,27-29,32,37-38 |
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | ti->begin | |
| NO_OVERFLOW_SIMPLE | 0 | ti->len | |
| NO_OVERFLOW_SIMPLE | 0 | ti->table->num_allocated |
drivers/md/dm-raid1.c free_context() -> dm_put_device()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ti | 4096-ptr_max |
| PARAM_VALUE | 0 | ti->type | 4096-ptr_max |
| BUF_SIZE | 0 | ti->error | (-1),14,26 |
| BUF_SIZE | 0 | ti->private | (-1),576-856 |
| CAPPED_DATA | 0 | ti->type | 1 |
| DATA_SOURCE | 0 | ti | $1 |
| STR_LEN | 0 | ti->error | (-1),13,25 |
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | ti->begin | |
| NO_OVERFLOW_SIMPLE | 0 | ti->len | |
| NO_OVERFLOW_SIMPLE | 0 | ti->max_io_len | |
| NO_OVERFLOW_SIMPLE | 0 | ti->table->num_allocated |
drivers/md/dm-raid.c raid_set_free() -> dm_put_device()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | d | 1-u64max |
| STR_LEN | 0 | ti->error | (-1),13 |
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | ti->begin | |
| NO_OVERFLOW_SIMPLE | 0 | ti->len |
drivers/md/dm-raid.c raid_set_free() -> dm_put_device()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | d | 1-u64max |
| STR_LEN | 0 | ti->error | (-1),13 |
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | ti->begin | |
| NO_OVERFLOW_SIMPLE | 0 | ti->len |
drivers/md/dm-raid.c raid_set_free() -> dm_put_device()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | d | 1-u64max |
| STR_LEN | 0 | ti->error | (-1),13 |
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | ti->begin | |
| NO_OVERFLOW_SIMPLE | 0 | ti->len |
drivers/md/dm-pcache/dm_pcache.c pcache_destroy_args() -> dm_put_device()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | d | 1-u64max |
| STR_LEN | 0 | ti->error | (-1),13 |
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | ti->begin | |
| NO_OVERFLOW_SIMPLE | 0 | ti->len |
drivers/md/dm-pcache/dm_pcache.c pcache_destroy_args() -> dm_put_device()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | d | 1-u64max |
| STR_LEN | 0 | ti->error | (-1),13 |
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | ti->begin | |
| NO_OVERFLOW_SIMPLE | 0 | ti->len |
drivers/md/dm-linear.c linear_dtr() -> dm_put_device()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ti | 4096-ptr_max |
| PARAM_VALUE | 0 | ti->private | 4096-ptr_max |
| PARAM_VALUE | 0 | ti->type | 4096-ptr_max |
| PARAM_VALUE | 0 | ti->type->dtr | 1-u64max |
| DATA_SOURCE | 0 | ti | $0 |
| NOCHECK_CALL |
drivers/md/dm-stripe.c stripe_ctr() -> dm_put_device()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ti | 4096-ptr_max |
| PARAM_VALUE | 0 | ti->error | 929941978420465664 |
| PARAM_VALUE | 0 | ti->flush_bypasses_map | 1 |
| PARAM_VALUE | 0 | ti->len | 1-u64max |
| PARAM_VALUE | 0 | ti->max_io_len | 1-u32max |
| PARAM_VALUE | 0 | ti->num_discard_bios | 1-u32max |
| PARAM_VALUE | 0 | ti->num_flush_bios | 1-u32max |
| PARAM_VALUE | 0 | ti->num_secure_erase_bios | 1-u32max |
| PARAM_VALUE | 0 | ti->num_write_zeroes_bios | 1-u32max |
| PARAM_VALUE | 0 | ti->table | 4096-ptr_max |
| PARAM_VALUE | 0 | ti->table->mode | 1,3 |
| PARAM_VALUE | 0 | ti->table->num_allocated | 8-1048576 |
| PARAM_VALUE | 0 | ti->table->num_targets | 0-1048575 |
| PARAM_VALUE | 0 | ti->table->type | 0 |
| PARAM_VALUE | 0 | ti->type | 4096-ptr_max |
| PARAM_VALUE | 0 | ti->type->module | 0,4096-ptr_max |
| PARAM_VALUE | 0 | ti->type->module->refcnt.counter | 0-s32max |
| PARAM_VALUE | 0 | ti->type->module->state | 0-1,3-u32max |
| BUF_SIZE | 0 | ti->error | 34 |
| CAPPED_DATA | 0 | ti->begin | 1 |
| CAPPED_DATA | 0 | ti->table->num_targets | 1 |
| CAPPED_DATA | 0 | ti->type | 1 |
| DATA_SOURCE | 0 | ti | $0 |
| STR_LEN | 0 | ti->error | 33 |
| TERMINATED | 0 | ti->error | 1 |
| MEM_ZERO | 0 | ti | |
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | ti->begin | |
| NO_OVERFLOW_SIMPLE | 0 | ti->len | |
| NO_OVERFLOW_SIMPLE | 0 | ti->max_io_len | |
| NO_OVERFLOW_SIMPLE | 0 | ti->num_discard_bios | |
| NO_OVERFLOW_SIMPLE | 0 | ti->num_flush_bios | |
| NO_OVERFLOW_SIMPLE | 0 | ti->num_secure_erase_bios | |
| NO_OVERFLOW_SIMPLE | 0 | ti->num_write_zeroes_bios | |
| NO_OVERFLOW_SIMPLE | 0 | ti->table->num_allocated | |
| HALF_LOCKED2 | &md->type_lock |
drivers/md/dm-stripe.c stripe_dtr() -> dm_put_device()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ti | 4096-ptr_max |
| PARAM_VALUE | 0 | ti->type | 4096-ptr_max |
| PARAM_VALUE | 0 | ti->type->dtr | 1-u64max |
| DATA_SOURCE | 0 | ti | $0 |
| NOCHECK_CALL |
drivers/md/dm-target.c io_err_dtr() -> dm_put_device()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ti | 4096-ptr_max |
| PARAM_VALUE | 0 | ti->private | 4096-ptr_max |
| PARAM_VALUE | 0 | ti->type | 4096-ptr_max |
| PARAM_VALUE | 0 | ti->type->dtr | 1-u64max |
| DATA_SOURCE | 0 | ti | $0 |
| NOCHECK_CALL |
drivers/md/dm-inlinecrypt.c inlinecrypt_dtr() -> dm_put_device()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ti | 4096-ptr_max |
| PARAM_VALUE | 0 | ti->private | 4096-ptr_max |
| PARAM_VALUE | 0 | ti->type | 4096-ptr_max |
| PARAM_VALUE | 1 | d | 1-u64max |
| BUF_SIZE | 0 | ti->error | (-1),14,19,21-22,25,33-34,36,45 |
| BUF_SIZE | 0 | ti->private | (-1),216 |
| CAPPED_DATA | 0 | ti->type | 1 |
| DATA_SOURCE | 0 | ti | $0 |
| STR_LEN | 0 | ti->error | (-1),13,18,20-21,24,32-33,35,44 |
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | ti->begin | |
| NO_OVERFLOW_SIMPLE | 0 | ti->len | |
| NO_OVERFLOW_SIMPLE | 0 | ti->table->num_allocated |
drivers/md/dm-flakey.c flakey_dtr() -> dm_put_device()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ti | 4096-ptr_max |
| PARAM_VALUE | 0 | ti->private | 4096-ptr_max |
| PARAM_VALUE | 0 | ti->type | 4096-ptr_max |
| PARAM_VALUE | 0 | ti->type->dtr | 1-u64max |
| DATA_SOURCE | 0 | ti | $0 |
| NOCHECK_CALL |
drivers/md/dm-verity-target.c verity_dtr() -> dm_put_device()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ti | 4096-ptr_max |
| PARAM_VALUE | 0 | ti->private | 4096-ptr_max |
| PARAM_VALUE | 0 | ti->type | 4096-ptr_max |
| PARAM_VALUE | 1 | d | 1-u64max |
| BUF_SIZE | 0 | ti->error | (-1),14,16,19-22,24-28,30-31,38 |
| BUF_SIZE | 0 | ti->private | (-1),896 |
| CAPPED_DATA | 0 | ti->type | 1 |
| DATA_SOURCE | 0 | ti | $0 |
| STR_LEN | 0 | ti->error | (-1),13,15,18-21,23-27,29-30,37 |
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | ti->begin | |
| NO_OVERFLOW_SIMPLE | 0 | ti->len | |
| NO_OVERFLOW_SIMPLE | 0 | ti->table->num_allocated |
drivers/md/dm-verity-target.c verity_dtr() -> dm_put_device()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ti | 4096-ptr_max |
| PARAM_VALUE | 0 | ti->private | 4096-ptr_max |
| PARAM_VALUE | 0 | ti->type | 4096-ptr_max |
| PARAM_VALUE | 1 | d | 1-u64max |
| BUF_SIZE | 0 | ti->error | (-1),14,16,19-22,24-28,30-31,38 |
| BUF_SIZE | 0 | ti->private | (-1),896 |
| CAPPED_DATA | 0 | ti->type | 1 |
| DATA_SOURCE | 0 | ti | $0 |
| STR_LEN | 0 | ti->error | (-1),13,15,18-21,23-27,29-30,37 |
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | ti->begin | |
| NO_OVERFLOW_SIMPLE | 0 | ti->len | |
| NO_OVERFLOW_SIMPLE | 0 | ti->table->num_allocated |
drivers/md/dm-verity-fec.c verity_fec_dtr() -> dm_put_device()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | d | 1-u64max |
| STR_LEN | 0 | ti->error | (-1),13 |
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | ti->begin | |
| NO_OVERFLOW_SIMPLE | 0 | ti->len |