Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/md/dm-era-target.c era_ctr() -> era_destroy()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | era | 4096-ptr_max |
| PARAM_VALUE | 0 | era->ti | 4096-ptr_max |
| PARAM_VALUE | 0 | era->ti->error | 6178336389065121792 |
| PARAM_VALUE | 0 | era->ti->len | 1-u64max |
| PARAM_VALUE | 0 | era->ti->table | 4096-ptr_max |
| PARAM_VALUE | 0 | era->ti->type | 4096-ptr_max |
| BUF_SIZE | 0 | era | 496 |
| CAPPED_DATA | 0 | era->ti->begin | 1 |
| DATA_SOURCE | 0 | era | r _kzalloc_noprof |
| STR_LEN | 0 | era->ti->error | 13 |
| TERMINATED | 0 | era->ti->error | 1 |
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | era->ti->begin | |
| NO_OVERFLOW_SIMPLE | 0 | era->ti->len | |
| HALF_LOCKED2 | &md->type_lock |
drivers/md/dm-era-target.c era_ctr() -> era_destroy()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | era | 4096-ptr_max |
| PARAM_VALUE | 0 | era->metadata_dev | 4096-ptr_max |
| PARAM_VALUE | 0 | era->ti | 4096-ptr_max |
| PARAM_VALUE | 0 | era->ti->error | 6178336389065121792 |
| PARAM_VALUE | 0 | era->ti->len | 1-u64max |
| PARAM_VALUE | 0 | era->ti->table | 4096-ptr_max |
| PARAM_VALUE | 0 | era->ti->type | 4096-ptr_max |
| BUF_SIZE | 0 | era | 496 |
| CAPPED_DATA | 0 | era->ti->begin | 1 |
| DATA_SOURCE | 0 | era | r _kzalloc_noprof |
| STR_LEN | 0 | era->ti->error | 13 |
| TERMINATED | 0 | era->ti->error | 1 |
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | era->ti->begin | |
| NO_OVERFLOW_SIMPLE | 0 | era->ti->len | |
| HALF_LOCKED2 | &md->type_lock |
drivers/md/dm-era-target.c era_ctr() -> era_destroy()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | era | 4096-ptr_max |
| PARAM_VALUE | 0 | era->metadata_dev | 4096-ptr_max |
| PARAM_VALUE | 0 | era->origin_dev | 4096-ptr_max |
| PARAM_VALUE | 0 | era->ti | 4096-ptr_max |
| PARAM_VALUE | 0 | era->ti->error | 6178336389065121792 |
| PARAM_VALUE | 0 | era->ti->len | 1-u64max |
| PARAM_VALUE | 0 | era->ti->table | 4096-ptr_max |
| PARAM_VALUE | 0 | era->ti->type | 4096-ptr_max |
| BUF_SIZE | 0 | era | 496 |
| CAPPED_DATA | 0 | era->ti->begin | 1 |
| DATA_SOURCE | 0 | era | r _kzalloc_noprof |
| STR_LEN | 0 | era->ti->error | 13 |
| TERMINATED | 0 | era->ti->error | 1 |
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | era->ti->begin | |
| NO_OVERFLOW_SIMPLE | 0 | era->ti->len | |
| HALF_LOCKED2 | &md->type_lock |
drivers/md/dm-era-target.c era_ctr() -> era_destroy()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | era | 4096-ptr_max |
| PARAM_VALUE | 0 | era->metadata_dev | 4096-ptr_max |
| PARAM_VALUE | 0 | era->origin_dev | 4096-ptr_max |
| PARAM_VALUE | 0 | era->ti | 4096-ptr_max |
| PARAM_VALUE | 0 | era->ti->error | 6178336389065121792 |
| PARAM_VALUE | 0 | era->ti->len | 1-u64max |
| PARAM_VALUE | 0 | era->ti->table | 4096-ptr_max |
| PARAM_VALUE | 0 | era->ti->type | 4096-ptr_max |
| BUF_SIZE | 0 | era | 496 |
| CAPPED_DATA | 0 | era->ti->begin | 1 |
| DATA_SOURCE | 0 | era | r _kzalloc_noprof |
| STR_LEN | 0 | era->ti->error | 13 |
| TERMINATED | 0 | era->ti->error | 1 |
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | era->ti->begin | |
| NO_OVERFLOW_SIMPLE | 0 | era->ti->len | |
| HALF_LOCKED2 | &md->type_lock |
drivers/md/dm-era-target.c era_ctr() -> era_destroy()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | era | 4096-ptr_max |
| PARAM_VALUE | 0 | era->metadata_dev | 4096-ptr_max |
| PARAM_VALUE | 0 | era->origin_dev | 4096-ptr_max |
| PARAM_VALUE | 0 | era->ti | 4096-ptr_max |
| PARAM_VALUE | 0 | era->ti->error | 6178336389065121792 |
| PARAM_VALUE | 0 | era->ti->len | 1-u64max |
| PARAM_VALUE | 0 | era->ti->table | 4096-ptr_max |
| PARAM_VALUE | 0 | era->ti->type | 4096-ptr_max |
| BUF_SIZE | 0 | era | 496 |
| CAPPED_DATA | 0 | era->ti->begin | 1 |
| DATA_SOURCE | 0 | era | r _kzalloc_noprof |
| STR_LEN | 0 | era->ti->error | 13 |
| TERMINATED | 0 | era->ti->error | 1 |
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | era->ti->begin | |
| NO_OVERFLOW_SIMPLE | 0 | era->ti->len | |
| HALF_LOCKED2 | &md->type_lock |
drivers/md/dm-era-target.c era_ctr() -> era_destroy()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | era | 4096-ptr_max |
| PARAM_VALUE | 0 | era->metadata_dev | 4096-ptr_max |
| PARAM_VALUE | 0 | era->origin_dev | 4096-ptr_max |
| PARAM_VALUE | 0 | era->sectors_per_block | 1-u32max |
| PARAM_VALUE | 0 | era->ti | 4096-ptr_max |
| PARAM_VALUE | 0 | era->ti->error | 6178336389065121792 |
| PARAM_VALUE | 0 | era->ti->len | 1-u64max |
| PARAM_VALUE | 0 | era->ti->table | 4096-ptr_max |
| PARAM_VALUE | 0 | era->ti->type | 4096-ptr_max |
| BUF_SIZE | 0 | era | 496 |
| CAPPED_DATA | 0 | era->ti->begin | 1 |
| DATA_SOURCE | 0 | era | r _kzalloc_noprof |
| STR_LEN | 0 | era->ti->error | 13 |
| TERMINATED | 0 | era->ti->error | 1 |
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | era->ti->begin | |
| NO_OVERFLOW_SIMPLE | 0 | era->ti->len | |
| HALF_LOCKED2 | &md->type_lock |
drivers/md/dm-era-target.c era_ctr() -> era_destroy()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | era | 4096-ptr_max |
| PARAM_VALUE | 0 | era->md | 4096-ptr_max |
| PARAM_VALUE | 0 | era->md->archived_writesets | 1 |
| PARAM_VALUE | 0 | era->md->bitset_info.array_info.btree_info.levels | 1 |
| PARAM_VALUE | 0 | era->md->bitset_info.array_info.btree_info.tm | 0,4096-ptr_max,(-12) |
| PARAM_VALUE | 0 | era->md->bitset_info.array_info.btree_info.value_type.context | 4096-ptr_max |
| PARAM_VALUE | 0 | era->md->bitset_info.array_info.btree_info.value_type.dec | 2706716531669463040 |
| PARAM_VALUE | 0 | era->md->bitset_info.array_info.btree_info.value_type.equal | 6118488563768561664 |
| PARAM_VALUE | 0 | era->md->bitset_info.array_info.btree_info.value_type.inc | 4251253500904906752 |
| PARAM_VALUE | 0 | era->md->bitset_info.array_info.btree_info.value_type.size | 8 |
| PARAM_VALUE | 0 | era->md->bitset_info.array_info.value_type.size | 8 |
| PARAM_VALUE | 0 | era->md->bitset_info.current_index_set | 0 |
| PARAM_VALUE | 0 | era->md->block_size | 1-u32max |
| PARAM_VALUE | 0 | era->md->bm | 4096-ptr_max |
| PARAM_VALUE | 0 | era->md->current_writeset | 4096-ptr_max |
| PARAM_VALUE | 0 | era->md->era_array_info.btree_info.levels | 1 |
| PARAM_VALUE | 0 | era->md->era_array_info.btree_info.tm | 0,4096-ptr_max,(-12) |
| PARAM_VALUE | 0 | era->md->era_array_info.btree_info.value_type.context | 4096-ptr_max |
| PARAM_VALUE | 0 | era->md->era_array_info.btree_info.value_type.dec | 2706716531669463040 |
| PARAM_VALUE | 0 | era->md->era_array_info.btree_info.value_type.equal | 6118488563768561664 |
| PARAM_VALUE | 0 | era->md->era_array_info.btree_info.value_type.inc | 4251253500904906752 |
| PARAM_VALUE | 0 | era->md->era_array_info.btree_info.value_type.size | 8 |
| PARAM_VALUE | 0 | era->md->era_array_info.value_type.dec | 0 |
| PARAM_VALUE | 0 | era->md->era_array_info.value_type.inc | 0 |
| PARAM_VALUE | 0 | era->md->era_array_info.value_type.size | 4 |
| PARAM_VALUE | 0 | era->md->sm | 4096-ptr_max,(-12) |
| PARAM_VALUE | 0 | era->md->tm | 0,4096-ptr_max,(-12) |
| PARAM_VALUE | 0 | era->md->writeset_tree_info.levels | 1 |
| PARAM_VALUE | 0 | era->md->writeset_tree_info.tm | 0,4096-ptr_max,(-12) |
| PARAM_VALUE | 0 | era->md->writeset_tree_info.value_type.context | 4096-ptr_max |
| PARAM_VALUE | 0 | era->md->writeset_tree_info.value_type.dec | 2286179186994864128 |
| PARAM_VALUE | 0 | era->md->writeset_tree_info.value_type.equal | 4778276240572555264 |
| PARAM_VALUE | 0 | era->md->writeset_tree_info.value_type.inc | 8285698356753514496 |
| PARAM_VALUE | 0 | era->md->writeset_tree_info.value_type.size | 12 |
| PARAM_VALUE | 0 | era->metadata_dev | 4096-ptr_max |
| PARAM_VALUE | 0 | era->origin_dev | 4096-ptr_max |
| PARAM_VALUE | 0 | era->sectors_per_block | 1-u32max |
| PARAM_VALUE | 0 | era->ti | 4096-ptr_max |
| PARAM_VALUE | 0 | era->ti->error | 6178336389065121792 |
| PARAM_VALUE | 0 | era->ti->len | 1-u64max |
| PARAM_VALUE | 0 | era->ti->table | 4096-ptr_max |
| PARAM_VALUE | 0 | era->ti->type | 4096-ptr_max |
| PARAM_VALUE | 0 | era->wq | 0 |
| BUF_SIZE | 0 | era | 496 |
| BUF_SIZE | 0 | era->md | 552 |
| BUF_SIZE | 0 | era->wq | (-1),512,528-8720 |
| CAPPED_DATA | 0 | era->md->block_size | 1 |
| CAPPED_DATA | 0 | era->ti->begin | 1 |
| DATA_SOURCE | 0 | era | r _kzalloc_noprof |
| STR_LEN | 0 | era->ti->error | 13 |
| TERMINATED | 0 | era->ti->error | 1 |
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | era->ti->begin | |
| NO_OVERFLOW_SIMPLE | 0 | era->ti->len | |
| HALF_LOCKED2 | &md->type_lock |
drivers/md/dm-era-target.c era_dtr() -> era_destroy()
| Type | Parameter | Key | Value |
|---|---|---|---|
| BUF_SIZE | 0 | era | 16,40-s32max |
| NOCHECK_CALL |