Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/md/dm-switch.c switch_ctr() -> switch_dtr()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ti | 4096-ptr_max |
| PARAM_VALUE | 0 | ti->error | 747064745248481280,2466412607324581888,3215703325387239424,4638052934942494720,5021204745837547520 |
| 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->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 |
| 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) |
| 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-table.c dm_table_destroy() -> (struct target_type)->dtr()
| 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 | r dm_table_get_target |
| CONTAINER | 0 | -48-8+0 | $(-1) |
| NOCHECK_CALL |