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