Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/md/dm-raid.c __load_dirty_region_bitmap() -> rs_is_raid0()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | rs | 4096-ptr_max |
| BUF_SIZE | 0 | rs | 16,40-s32max |
| BUF_SIZE | 0 | rs | 16,40-s32max |
| DATA_SOURCE | 0 | rs | $0 |
| LOCK2 | &md->suspend_lock | ||
| TYPE_LOCK | (struct mapped_device)->suspend_lock |
drivers/md/dm-raid.c analyse_superblocks() -> rs_is_raid0()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | rs | 4096-ptr_max |
| 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 | $1 |
| 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.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 | |
| HALF_LOCKED2 | &md->type_lock |
drivers/md/dm-raid.c rs_get_progress() -> rs_is_raid0()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | rs | 4096-ptr_max |
| BUF_SIZE | 0 | rs | 16,40-s32max |
| BUF_SIZE | 0 | rs | 16,40-s32max |
| CAPPED_DATA | 0 | rs->md.level | 1 |
| DATA_SOURCE | 0 | rs | $0 |
| LOCK2 | &md->io_barrier | ||
| TYPE_LOCK | (struct mapped_device)->io_barrier |
drivers/md/dm-raid.c rs_reshape_requested() -> rs_is_raid0()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | rs | 4096-ptr_max |
| BUF_SIZE | 0 | rs | 5776-201328 |
| BUF_SIZE | 0 | rs | 5776-201328 |
| BUF_SIZE | 0 | rs->ti->error | (-1),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->ti->begin | 1 |
| DATA_SOURCE | 0 | rs | $0 |
| STR_LEN | 0 | rs->ti->error | (-1),13,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 | |
| HALF_LOCKED2 | &md->type_lock |
drivers/md/dm-raid.c rs_setup_recovery() -> rs_is_raid0()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | rs | 4096-ptr_max |
| BUF_SIZE | 0 | rs | 5776-201328 |
| BUF_SIZE | 0 | rs | 5776-201328 |
| CAPPED_DATA | 0 | rs->raid_disks | 1 |
| CAPPED_DATA | 0 | rs->ti->begin | 1 |
| DATA_SOURCE | 0 | rs | $0 |
| STR_LEN | 0 | rs->ti->error | (-1),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.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 | |
| HALF_LOCKED2 | &md->type_lock |
drivers/md/dm-raid.c rs_setup_takeover() -> rs_is_raid0()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | rs | 4096-ptr_max |
| PARAM_VALUE | 0 | rs->md.level | 0-1,4-6,10 |
| BUF_SIZE | 0 | rs | 5776-201328 |
| BUF_SIZE | 0 | rs | 5776-201328 |
| CAPPED_DATA | 0 | rs->md.dev_sectors | 1 |
| CAPPED_DATA | 0 | rs->raid_disks | 1 |
| CAPPED_DATA | 0 | rs->ti->begin | 1 |
| DATA_SOURCE | 0 | rs | $0 |
| STR_LEN | 0 | rs->ti->error | (-1),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.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 | |
| HALF_LOCKED2 | &md->type_lock |
drivers/md/dm-raid.c super_init_validation() -> rs_is_raid0()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | rs | 4096-ptr_max |
| BUF_SIZE | 0 | rs | 5776-201328 |
| BUF_SIZE | 0 | rs | 5776-201328 |
| BUF_SIZE | 0 | rs->ti->error | 46 |
| CAPPED_DATA | 0 | rs->raid_disks | 1 |
| CAPPED_DATA | 0 | rs->raid_type->algorithm | 1 |
| CAPPED_DATA | 0 | rs->ti->begin | 1 |
| DATA_SOURCE | 0 | rs | $0 |
| STR_LEN | 0 | rs->ti->error | 45 |
| 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 |
drivers/md/dm-raid.c super_validate() -> rs_is_raid0()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | rs | 4096-ptr_max |
| BUF_SIZE | 0 | rs | 5776-201328 |
| BUF_SIZE | 0 | rs | 5776-201328 |
| BUF_SIZE | 0 | rs->ti->error | 46 |
| 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 |
| TERMINATED | 0 | rs->ti->error | 1 |
| NO_OVERFLOW_SIMPLE | 0 | rs->ti->begin | |
| NO_OVERFLOW_SIMPLE | 0 | rs->ti->len | |
| HALF_LOCKED2 | &md->type_lock |
drivers/md/dm-raid.c validate_region_size() -> rs_is_raid0()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | rs | 4096-ptr_max |
| BUF_SIZE | 0 | rs | 5776-201328 |
| BUF_SIZE | 0 | rs | 5776-201328 |
| CAPPED_DATA | 0 | rs->md.raid_disks | 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 | 13 |
| TERMINATED | 0 | rs->ti->error | 1 |
| USER_DATA | 0 | rs->data_offset | 0,32-s32max |
| USER_DATA | 0 | rs->delta_disks | s32min-s32max |
| USER_DATA | 0 | rs->md.bitmap_info.daemon_sleep | 0-s32max |
| USER_DATA | 0 | rs->md.bitmap_info.max_write_behind | 0-1073741823 |
| USER_DATA | 0 | rs->md.chunk_sectors | 8-s32max |
| USER_DATA | 0 | rs->md.sync_speed_max | 0-s32max |
| USER_DATA | 0 | rs->md.sync_speed_min | 0-s32max |
| USER_DATA | 0 | rs->requested_bitmap_chunk_sectors | s32min-s32max |
| USER_DATA | 0 | rs->stripe_cache_entries | 0-s32max |
| NO_OVERFLOW_SIMPLE | 0 | rs->ti->begin | |
| NO_OVERFLOW_SIMPLE | 0 | rs->ti->len | |
| HALF_LOCKED2 | &md->type_lock |