Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/md/dm-raid.c raid_ctr() -> rs_set_dev_and_array_sectors()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | rs | 4096-ptr_max |
| PARAM_VALUE | 0 | rs->delta_disks | 0 |
| PARAM_VALUE | 0 | rs->md.raid_disks | 1-253 |
| PARAM_VALUE | 0 | rs->raid_disks | 1-253 |
| PARAM_VALUE | 0 | rs->raid_type | 4096-3552064871263482015 |
| PARAM_VALUE | 0 | rs->raid_type->parity_devs | 0-2 |
| PARAM_VALUE | 0 | rs->ti | 4096-ptr_max |
| PARAM_VALUE | 0 | rs->ti->error | 6178336389065121792 |
| PARAM_VALUE | 1 | sectors | 1-u64max |
| PARAM_VALUE | 2 | use_mddev | 0 |
| BUF_SIZE | 0 | rs | 5776-201328 |
| BUF_SIZE | 0 | rs | 5776-201328 |
| 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 |
| 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 | |
| NO_OVERFLOW_SIMPLE | 1 | sectors | |
| UNITS | 1 | sectors | unit_byte |
| HALF_LOCKED2 | &md->type_lock |
drivers/md/dm-raid.c raid_ctr() -> rs_set_dev_and_array_sectors()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | rs | 4096-ptr_max |
| PARAM_VALUE | 0 | rs->delta_disks | 0 |
| PARAM_VALUE | 0 | rs->md.raid_disks | 1-253 |
| PARAM_VALUE | 0 | rs->raid_disks | 1-253 |
| PARAM_VALUE | 0 | rs->raid_type | 4096-3552064871263482015 |
| PARAM_VALUE | 0 | rs->raid_type->parity_devs | 0-2 |
| PARAM_VALUE | 0 | rs->ti | 4096-ptr_max |
| PARAM_VALUE | 0 | rs->ti->error | 6178336389065121792 |
| PARAM_VALUE | 2 | use_mddev | 0 |
| BUF_SIZE | 0 | rs | 5776-201328 |
| BUF_SIZE | 0 | rs | 5776-201328 |
| CAPPED_DATA | 0 | rs->md.layout | 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 | |
| UNITS | 1 | sectors | unit_byte |
| HALF_LOCKED2 | &md->type_lock |
drivers/md/dm-raid.c raid_ctr() -> rs_set_dev_and_array_sectors()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | rs | 4096-ptr_max |
| PARAM_VALUE | 0 | rs->delta_disks | 0 |
| PARAM_VALUE | 0 | rs->md.raid_disks | 1-253 |
| PARAM_VALUE | 0 | rs->raid_disks | 1-253 |
| PARAM_VALUE | 0 | rs->raid_type | 4096-3552064871263482015 |
| PARAM_VALUE | 0 | rs->raid_type->parity_devs | 0-2 |
| PARAM_VALUE | 0 | rs->ti | 4096-ptr_max |
| PARAM_VALUE | 0 | rs->ti->error | 6178336389065121792 |
| PARAM_VALUE | 1 | sectors | 1-u64max |
| PARAM_VALUE | 2 | use_mddev | 0 |
| BUF_SIZE | 0 | rs | 5776-201328 |
| BUF_SIZE | 0 | rs | 5776-201328 |
| CAPPED_DATA | 0 | rs->md.layout | 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 | |
| NO_OVERFLOW_SIMPLE | 1 | sectors | |
| UNITS | 1 | sectors | unit_byte |
| HALF_LOCKED2 | &md->type_lock |
drivers/md/dm-raid.c rs_setup_reshape() -> rs_set_dev_and_array_sectors()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | rs | 4096-ptr_max |
| PARAM_VALUE | 0 | rs->delta_disks | s32min-(-1) |
| PARAM_VALUE | 0 | rs->ti | 4096-ptr_max |
| PARAM_VALUE | 2 | use_mddev | 1 |
| BUF_SIZE | 0 | rs | 16,40-s32max |
| BUF_SIZE | 0 | rs | 16,40-s32max |
| DATA_SOURCE | 0 | rs | $0 |
| UNITS | 1 | sectors | unit_byte |
| LOCK2 | &md->suspend_lock | ||
| LOCK2 | &mddev->reconfig_mutex | ||
| TYPE_LOCK | (struct mapped_device)->suspend_lock | ||
| TYPE_LOCK | (struct mddev)->reconfig_mutex |