Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/md/dm-raid.c raid_ctr() -> rs_reshape_requested()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | rs | 4096-ptr_max |
| PARAM_VALUE | 0 | rs->delta_disks | 0 |
| PARAM_VALUE | 0 | rs->md.layout | 0-5,8-10,16-19 |
| PARAM_VALUE | 0 | rs->md.raid_disks | 1-253 |
| PARAM_VALUE | 0 | rs->raid_disks | 1-253 |
| BUF_SIZE | 0 | rs | 5776-201328 |
| BUF_SIZE | 0 | rs | 5776-201328 |
| CAPPED_DATA | 0 | rs->md.level | 1 |
| CAPPED_DATA | 0 | rs->md.new_level | 1 |
| CAPPED_DATA | 0 | rs->raid_disks | 1 |
| CAPPED_DATA | 0 | rs->raid_type->parity_devs | 1 |
| CAPPED_DATA | 0 | rs->ti->begin | 1 |
| DATA_SOURCE | 0 | rs | r raid_set_alloc |
| STR_LEN | 0 | rs->ti->error | 13 |
| PARAM_COMPARE | 0 | rs->md.dev_sectors | <= $0->md.resync_offset |
| PARAM_COMPARE | 0 | rs->md.level | == $0->md.new_level |
| TERMINATED | 0 | rs->ti->error | 1 |
| NO_OVERFLOW_SIMPLE | 0 | rs->md.bio_set.bio_pool.min_nr | |
| NO_OVERFLOW_SIMPLE | 0 | rs->md.bio_set.bvec_pool.min_nr | |
| NO_OVERFLOW_SIMPLE | 0 | rs->md.io_clone_set.bio_pool.min_nr | |
| NO_OVERFLOW_SIMPLE | 0 | rs->md.io_clone_set.bvec_pool.min_nr | |
| NO_OVERFLOW_SIMPLE | 0 | rs->md.sync_set.bio_pool.min_nr | |
| NO_OVERFLOW_SIMPLE | 0 | rs->md.sync_set.bvec_pool.min_nr | |
| NO_OVERFLOW_SIMPLE | 0 | rs->ti->begin | |
| NO_OVERFLOW_SIMPLE | 0 | rs->ti->len | |
| HALF_LOCKED2 | &md->type_lock |
drivers/md/dm-raid.c super_init_validation() -> rs_reshape_requested()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | rs | 4096-ptr_max |
| PARAM_VALUE | 0 | rs->delta_disks | 0 |
| PARAM_VALUE | 0 | rs->raid_disks | 1-253 |
| BUF_SIZE | 0 | rs | 5776-201328 |
| BUF_SIZE | 0 | rs | 5776-201328 |
| BUF_SIZE | 0 | rs->ti->error | 46 |
| CAPPED_DATA | 0 | rs->md.level | 1 |
| CAPPED_DATA | 0 | rs->md.new_level | 1 |
| CAPPED_DATA | 0 | rs->raid_disks | 1 |
| CAPPED_DATA | 0 | rs->raid_type->parity_devs | 1 |
| CAPPED_DATA | 0 | rs->ti->begin | 1 |
| DATA_SOURCE | 0 | rs | $0 |
| STR_LEN | 0 | rs->ti->error | 45 |
| PARAM_COMPARE | 0 | rs->md.level | == $0->md.new_level |
| TERMINATED | 0 | rs->ti->error | 1 |
| NO_OVERFLOW_SIMPLE | 0 | rs->md.bio_set.bio_pool.min_nr | |
| NO_OVERFLOW_SIMPLE | 0 | rs->md.bio_set.bvec_pool.min_nr | |
| NO_OVERFLOW_SIMPLE | 0 | rs->md.bio_set.rescue_workqueue->rescuer->task->dl.pi_se->dl_runtime | |
| NO_OVERFLOW_SIMPLE | 0 | rs->md.io_clone_set.bio_pool.min_nr | |
| NO_OVERFLOW_SIMPLE | 0 | rs->md.io_clone_set.bvec_pool.min_nr | |
| NO_OVERFLOW_SIMPLE | 0 | rs->md.io_clone_set.rescue_workqueue->rescuer->task->dl.pi_se->dl_runtime | |
| NO_OVERFLOW_SIMPLE | 0 | rs->md.sync_set.bio_pool.min_nr | |
| NO_OVERFLOW_SIMPLE | 0 | rs->md.sync_set.bvec_pool.min_nr | |
| NO_OVERFLOW_SIMPLE | 0 | rs->md.sync_set.rescue_workqueue->rescuer->task->dl.pi_se->dl_runtime | |
| NO_OVERFLOW_SIMPLE | 0 | rs->ti->begin | |
| NO_OVERFLOW_SIMPLE | 0 | rs->ti->len |