Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/md/md.c __md_set_array_info() -> md_set_array_info()

Type Parameter Key Value
PARAM_VALUE 0 mddev 4096-ptr_max
PARAM_VALUE 0 mddev->disks.next 4096-ptr_max
PARAM_VALUE 0 mddev->pers 0
PARAM_VALUE 0 mddev->raid_disks 0
PARAM_VALUE 1 info 273661551750713344
CAPPED_DATA 0 &mddev->disks 1
DATA_SOURCE 0 mddev $0
PARAM_COMPARE 0 &mddev->disks == $0->disks.next
USER_DATA 1 info->active_disks s32min-s32max
USER_DATA 1 info->chunk_size s32min-s32max
USER_DATA 1 info->ctime 0-u32max
USER_DATA 1 info->failed_disks s32min-s32max
USER_DATA 1 info->layout s32min-s32max
USER_DATA 1 info->level s32min-s32max
USER_DATA 1 info->major_version s32min-s32max
USER_DATA 1 info->md_minor s32min-s32max
USER_DATA 1 info->minor_version s32min-s32max
USER_DATA 1 info->not_persistent s32min-s32max
USER_DATA 1 info->nr_disks s32min-s32max
USER_DATA 1 info->patch_version s32min-s32max
USER_DATA 1 info->raid_disks s32min-s32max
USER_DATA 1 info->size s32min-s32max
USER_DATA 1 info->spare_disks s32min-s32max
USER_DATA 1 info->state s32min-s32max
USER_DATA 1 info->utime 0-u32max
USER_DATA 1 info->working_disks s32min-s32max

drivers/md/md-autodetect.c md_setup_drive() -> md_set_array_info()

Type Parameter Key Value
PARAM_VALUE 0 mddev 4096-ptr_max
PARAM_VALUE 0 mddev->active.counter 1
PARAM_VALUE 0 mddev->active_io.data 0,4096-ptr_max
PARAM_VALUE 0 mddev->active_io.data->confirm_switch 0
PARAM_VALUE 0 mddev->active_io.data->count.counter s64min-(-9223372036854775807),0-s64max
PARAM_VALUE 0 mddev->active_io.data->rcu.func 1-u64max
PARAM_VALUE 0 mddev->active_io.data->rcu.next 0
PARAM_VALUE 0 mddev->active_io.data->ref 4096-ptr_max
PARAM_VALUE 0 mddev->active_io.percpu_count_ptr 1-u64max
PARAM_VALUE 0 mddev->all_mddevs.next 4096-ptr_max
PARAM_VALUE 0 mddev->all_mddevs.next->next 4096-ptr_max
PARAM_VALUE 0 mddev->all_mddevs.prev 4096-ptr_max
PARAM_VALUE 0 mddev->all_mddevs.prev->next 4096-ptr_max
PARAM_VALUE 0 mddev->all_mddevs.prev->prev 4096-ptr_max
PARAM_VALUE 0 mddev->bio_set.back_pad 0,64
PARAM_VALUE 0 mddev->bio_set.bio_pool.alloc 7276475779886346240
PARAM_VALUE 0 mddev->bio_set.bio_pool.curr_nr 1-s32max
PARAM_VALUE 0 mddev->bio_set.bio_pool.free 8263660038527102976
PARAM_VALUE 0 mddev->bio_set.bio_pool.min_nr 2
PARAM_VALUE 0 mddev->bio_set.bio_pool.pool_data 1-u64max
PARAM_VALUE 0 mddev->bio_set.bio_pool.wait.head.next 4096-ptr_max
PARAM_VALUE 0 mddev->bio_set.bio_pool.wait.head.next->next 4096-ptr_max
PARAM_VALUE 0 mddev->bio_set.bio_pool.wait.head.prev 4096-ptr_max
PARAM_VALUE 0 mddev->bio_set.bio_pool.wait.head.prev->next 4096-ptr_max
PARAM_VALUE 0 mddev->bio_set.bio_pool.wait.head.prev->prev 4096-ptr_max
PARAM_VALUE 0 mddev->bio_set.bio_slab 1-u64max
PARAM_VALUE 0 mddev->bio_set.bvec_pool.alloc 7276475779886346240
PARAM_VALUE 0 mddev->bio_set.bvec_pool.curr_nr 1-s32max
PARAM_VALUE 0 mddev->bio_set.bvec_pool.free 8263660038527102976
PARAM_VALUE 0 mddev->bio_set.bvec_pool.wait.head.next 4096-ptr_max
PARAM_VALUE 0 mddev->bio_set.bvec_pool.wait.head.next->next 4096-ptr_max
PARAM_VALUE 0 mddev->bio_set.bvec_pool.wait.head.prev 4096-ptr_max
PARAM_VALUE 0 mddev->bio_set.bvec_pool.wait.head.prev->next 4096-ptr_max
PARAM_VALUE 0 mddev->bio_set.bvec_pool.wait.head.prev->prev 4096-ptr_max
PARAM_VALUE 0 mddev->bio_set.cache 0,4096-ptr_max
PARAM_VALUE 0 mddev->bio_set.cpuhp_dead->pprev 4096-ptr_max
PARAM_VALUE 0 mddev->bio_set.cpuhp_dead.pprev 4096-ptr_max
PARAM_VALUE 0 mddev->bio_set.front_pad 0
PARAM_VALUE 0 mddev->bio_set.rescue_list.head 0
PARAM_VALUE 0 mddev->bio_set.rescue_list.tail 0
PARAM_VALUE 0 mddev->bio_set.rescue_workqueue 0,4096-ptr_max
PARAM_VALUE 0 mddev->bitmap_id 12
PARAM_VALUE 0 mddev->bitmap_info.mutex.dep_map->name 0-255
PARAM_VALUE 0 mddev->bitmap_info.mutex.first_waiter 0
PARAM_VALUE 0 mddev->bitmap_info.mutex.magic 4096-ptr_max
PARAM_VALUE 0 mddev->bitmap_info.mutex.owner.counter 0
PARAM_VALUE 0 mddev->deleting.next 4096-ptr_max
PARAM_VALUE 0 mddev->deleting.next->next 4096-ptr_max
PARAM_VALUE 0 mddev->deleting.prev 4096-ptr_max
PARAM_VALUE 0 mddev->deleting.prev->next 4096-ptr_max
PARAM_VALUE 0 mddev->deleting.prev->prev 4096-ptr_max
PARAM_VALUE 0 mddev->disks.next 4096-ptr_max
PARAM_VALUE 0 mddev->disks.next->next 4096-ptr_max
PARAM_VALUE 0 mddev->disks.prev 4096-ptr_max
PARAM_VALUE 0 mddev->disks.prev->next 4096-ptr_max
PARAM_VALUE 0 mddev->disks.prev->prev 4096-ptr_max
PARAM_VALUE 0 mddev->gendisk 4096-ptr_max
PARAM_VALUE 0 mddev->gendisk->bdi 4096-ptr_max
PARAM_VALUE 0 mddev->gendisk->bio_split.back_pad 0,64
PARAM_VALUE 0 mddev->gendisk->bio_split.bio_pool.alloc 7276475779886346240
PARAM_VALUE 0 mddev->gendisk->bio_split.bio_pool.curr_nr 1-s32max
PARAM_VALUE 0 mddev->gendisk->bio_split.bio_pool.free 8263660038527102976
PARAM_VALUE 0 mddev->gendisk->bio_split.bio_pool.min_nr 2
PARAM_VALUE 0 mddev->gendisk->bio_split.bio_pool.pool_data 1-u64max
PARAM_VALUE 0 mddev->gendisk->bio_split.bio_pool.wait.head.next 4096-ptr_max
PARAM_VALUE 0 mddev->gendisk->bio_split.bio_pool.wait.head.prev 4096-ptr_max
PARAM_VALUE 0 mddev->gendisk->bio_split.bio_slab 1-u64max
PARAM_VALUE 0 mddev->gendisk->bio_split.bvec_pool.alloc 7276475779886346240
PARAM_VALUE 0 mddev->gendisk->bio_split.bvec_pool.curr_nr 1-s32max
PARAM_VALUE 0 mddev->gendisk->bio_split.bvec_pool.free 8263660038527102976
PARAM_VALUE 0 mddev->gendisk->bio_split.bvec_pool.wait.head.next 4096-ptr_max
PARAM_VALUE 0 mddev->gendisk->bio_split.bvec_pool.wait.head.prev 4096-ptr_max
PARAM_VALUE 0 mddev->gendisk->bio_split.cache 0,4096-ptr_max
PARAM_VALUE 0 mddev->gendisk->bio_split.cpuhp_dead.pprev 4096-ptr_max
PARAM_VALUE 0 mddev->gendisk->bio_split.front_pad 0
PARAM_VALUE 0 mddev->gendisk->error_injection_list.next 4096-ptr_max
PARAM_VALUE 0 mddev->gendisk->error_injection_list.prev 4096-ptr_max
PARAM_VALUE 0 mddev->gendisk->error_injection_lock.magic 4096-ptr_max
PARAM_VALUE 0 mddev->gendisk->fops 4754119607517061120
PARAM_VALUE 0 mddev->gendisk->lockdep_map.cpu 0
PARAM_VALUE 0 mddev->gendisk->lockdep_map.lock_type 0
PARAM_VALUE 0 mddev->gendisk->major 0-4095
PARAM_VALUE 0 mddev->gendisk->minors 1,64
PARAM_VALUE 0 mddev->gendisk->node_id (-1)
PARAM_VALUE 0 mddev->gendisk->open_mutex.first_waiter 0
PARAM_VALUE 0 mddev->gendisk->open_mutex.magic 4096-ptr_max
PARAM_VALUE 0 mddev->gendisk->part0 4096-ptr_max
PARAM_VALUE 0 mddev->gendisk->part_tbl.xa_flags 0
PARAM_VALUE 0 mddev->gendisk->part_tbl.xa_head 0
PARAM_VALUE 0 mddev->gendisk->private_data 4096-ptr_max
PARAM_VALUE 0 mddev->gendisk->queue 4096-ptr_max
PARAM_VALUE 0 mddev->gendisk->queue_kobj.kref.refcount.refs.counter 1
PARAM_VALUE 0 mddev->gendisk->queue_kobj.ktype 8941777688397746176
PARAM_VALUE 0 mddev->gendisk->queue_kobj.state_initialized 1
PARAM_VALUE 0 mddev->gendisk->random 4096-ptr_max
PARAM_VALUE 0 mddev->gendisk->rqos_state_mutex.magic 4096-ptr_max
PARAM_VALUE 0 mddev->gendisk->slave_bdevs.next 4096-ptr_max
PARAM_VALUE 0 mddev->gendisk->slave_bdevs.prev 4096-ptr_max
PARAM_VALUE 0 mddev->gendisk->zone_wplugs_list.next 4096-ptr_max
PARAM_VALUE 0 mddev->gendisk->zone_wplugs_list.prev 4096-ptr_max
PARAM_VALUE 0 mddev->gendisk->zone_wplugs_worker_bio_done.wait.lock.magic 3735899821
PARAM_VALUE 0 mddev->gendisk->zone_wplugs_worker_bio_done.wait.lock.owner (-1)
PARAM_VALUE 0 mddev->gendisk->zone_wplugs_worker_bio_done.wait.lock.owner_cpu u32max
PARAM_VALUE 0 mddev->gendisk->zone_wplugs_worker_bio_done.wait.task_list.next 4096-ptr_max
PARAM_VALUE 0 mddev->gendisk->zone_wplugs_worker_bio_done.wait.task_list.prev 4096-ptr_max
PARAM_VALUE 0 mddev->hold_active 1-2
PARAM_VALUE 0 mddev->io_clone_set.back_pad 0,64
PARAM_VALUE 0 mddev->io_clone_set.bio_pool.alloc 7276475779886346240
PARAM_VALUE 0 mddev->io_clone_set.bio_pool.curr_nr 1-s32max
PARAM_VALUE 0 mddev->io_clone_set.bio_pool.free 8263660038527102976
PARAM_VALUE 0 mddev->io_clone_set.bio_pool.min_nr 2
PARAM_VALUE 0 mddev->io_clone_set.bio_pool.pool_data 1-u64max
PARAM_VALUE 0 mddev->io_clone_set.bio_pool.wait.head.next 4096-ptr_max
PARAM_VALUE 0 mddev->io_clone_set.bio_pool.wait.head.next->next 4096-ptr_max
PARAM_VALUE 0 mddev->io_clone_set.bio_pool.wait.head.prev 4096-ptr_max
PARAM_VALUE 0 mddev->io_clone_set.bio_pool.wait.head.prev->next 4096-ptr_max
PARAM_VALUE 0 mddev->io_clone_set.bio_pool.wait.head.prev->prev 4096-ptr_max
PARAM_VALUE 0 mddev->io_clone_set.bio_slab 1-u64max
PARAM_VALUE 0 mddev->io_clone_set.bvec_pool.alloc 7276475779886346240
PARAM_VALUE 0 mddev->io_clone_set.bvec_pool.curr_nr 1-s32max
PARAM_VALUE 0 mddev->io_clone_set.bvec_pool.free 8263660038527102976
PARAM_VALUE 0 mddev->io_clone_set.bvec_pool.wait.head.next 4096-ptr_max
PARAM_VALUE 0 mddev->io_clone_set.bvec_pool.wait.head.next->next 4096-ptr_max
PARAM_VALUE 0 mddev->io_clone_set.bvec_pool.wait.head.prev 4096-ptr_max
PARAM_VALUE 0 mddev->io_clone_set.bvec_pool.wait.head.prev->next 4096-ptr_max
PARAM_VALUE 0 mddev->io_clone_set.bvec_pool.wait.head.prev->prev 4096-ptr_max
PARAM_VALUE 0 mddev->io_clone_set.cache 0,4096-ptr_max
PARAM_VALUE 0 mddev->io_clone_set.cpuhp_dead->pprev 4096-ptr_max
PARAM_VALUE 0 mddev->io_clone_set.cpuhp_dead.pprev 4096-ptr_max
PARAM_VALUE 0 mddev->io_clone_set.front_pad 48
PARAM_VALUE 0 mddev->io_clone_set.rescue_list.head 0
PARAM_VALUE 0 mddev->io_clone_set.rescue_list.tail 0
PARAM_VALUE 0 mddev->io_clone_set.rescue_workqueue 0,4096-ptr_max
PARAM_VALUE 0 mddev->kobj.entry.next->next 4096-ptr_max
PARAM_VALUE 0 mddev->kobj.entry.prev->next 4096-ptr_max
PARAM_VALUE 0 mddev->kobj.entry.prev->prev 4096-ptr_max
PARAM_VALUE 0 mddev->kobj.kset->list.prev 4096-ptr_max
PARAM_VALUE 0 mddev->kobj.kset->list.prev->next 4096-ptr_max
PARAM_VALUE 0 mddev->kobj.kset->list.prev->next->next 4096-ptr_max
PARAM_VALUE 0 mddev->kobj.kset->list_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 mddev->kobj.sd 0,4096-ptr_max
PARAM_VALUE 0 mddev->last_sync_action 6
PARAM_VALUE 0 mddev->level (-1000000)
PARAM_VALUE 0 mddev->md_minor 0-1048575
PARAM_VALUE 0 mddev->noio_flag 0,524288
PARAM_VALUE 0 mddev->open_mutex.dep_map->name 0-255
PARAM_VALUE 0 mddev->open_mutex.first_waiter 0
PARAM_VALUE 0 mddev->open_mutex.magic 4096-ptr_max
PARAM_VALUE 0 mddev->open_mutex.osq.tail.counter 0
PARAM_VALUE 0 mddev->open_mutex.owner.counter 0
PARAM_VALUE 0 mddev->openers.counter 0
PARAM_VALUE 0 mddev->raid_disks 0
PARAM_VALUE 0 mddev->reconfig_mutex.dep_map->name 0-255
PARAM_VALUE 0 mddev->reconfig_mutex.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 mddev->reconfig_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 mddev->reconfig_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 mddev->recovery_wait.head.next 4096-ptr_max
PARAM_VALUE 0 mddev->recovery_wait.head.next->next 4096-ptr_max
PARAM_VALUE 0 mddev->recovery_wait.head.prev 4096-ptr_max
PARAM_VALUE 0 mddev->recovery_wait.head.prev->next 4096-ptr_max
PARAM_VALUE 0 mddev->recovery_wait.head.prev->prev 4096-ptr_max
PARAM_VALUE 0 mddev->reshape_backwards 0
PARAM_VALUE 0 mddev->reshape_position u64max
PARAM_VALUE 0 mddev->resync_max u64max
PARAM_VALUE 0 mddev->resync_min 0
PARAM_VALUE 0 mddev->safemode_timer.entry.pprev 0
PARAM_VALUE 0 mddev->safemode_timer.flags 0-4194302
PARAM_VALUE 0 mddev->safemode_timer.lockdep_map->name 0-255
PARAM_VALUE 0 mddev->sb_wait.head.next->next 4096-ptr_max
PARAM_VALUE 0 mddev->sb_wait.head.prev->next 4096-ptr_max
PARAM_VALUE 0 mddev->sb_wait.head.prev->prev 4096-ptr_max
PARAM_VALUE 0 mddev->suspend_mutex.dep_map->name 0-255
PARAM_VALUE 0 mddev->suspend_mutex.first_waiter 0,4096-ptr_max
PARAM_VALUE 0 mddev->suspend_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 mddev->suspend_mutex.first_waiter->task->blocked_lock.dep_map->name 0-255
PARAM_VALUE 0 mddev->suspend_mutex.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 0 mddev->suspend_mutex.first_waiter->task->blocked_lock.owner_cpu 4294967295
PARAM_VALUE 0 mddev->suspend_mutex.first_waiter->task->blocked_lock.raw_lock.val.counter s32min-s32max
PARAM_VALUE 0 mddev->suspend_mutex.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 0 mddev->suspend_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 mddev->suspended (-2147483647)-1
PARAM_VALUE 0 mddev->sync_seq.counter 0
PARAM_VALUE 0 mddev->sync_set.back_pad 0,64
PARAM_VALUE 0 mddev->sync_set.bio_pool.alloc 7276475779886346240
PARAM_VALUE 0 mddev->sync_set.bio_pool.curr_nr 1-s32max
PARAM_VALUE 0 mddev->sync_set.bio_pool.free 8263660038527102976
PARAM_VALUE 0 mddev->sync_set.bio_pool.min_nr 2
PARAM_VALUE 0 mddev->sync_set.bio_pool.pool_data 1-u64max
PARAM_VALUE 0 mddev->sync_set.bio_pool.wait.head.next 4096-ptr_max
PARAM_VALUE 0 mddev->sync_set.bio_pool.wait.head.next->next 4096-ptr_max
PARAM_VALUE 0 mddev->sync_set.bio_pool.wait.head.prev 4096-ptr_max
PARAM_VALUE 0 mddev->sync_set.bio_pool.wait.head.prev->next 4096-ptr_max
PARAM_VALUE 0 mddev->sync_set.bio_pool.wait.head.prev->prev 4096-ptr_max
PARAM_VALUE 0 mddev->sync_set.bio_slab 1-u64max
PARAM_VALUE 0 mddev->sync_set.bvec_pool.alloc 7276475779886346240
PARAM_VALUE 0 mddev->sync_set.bvec_pool.curr_nr 1-s32max
PARAM_VALUE 0 mddev->sync_set.bvec_pool.free 8263660038527102976
PARAM_VALUE 0 mddev->sync_set.bvec_pool.wait.head.next 4096-ptr_max
PARAM_VALUE 0 mddev->sync_set.bvec_pool.wait.head.next->next 4096-ptr_max
PARAM_VALUE 0 mddev->sync_set.bvec_pool.wait.head.prev 4096-ptr_max
PARAM_VALUE 0 mddev->sync_set.bvec_pool.wait.head.prev->next 4096-ptr_max
PARAM_VALUE 0 mddev->sync_set.bvec_pool.wait.head.prev->prev 4096-ptr_max
PARAM_VALUE 0 mddev->sync_set.cache 0,4096-ptr_max
PARAM_VALUE 0 mddev->sync_set.cpuhp_dead->pprev 4096-ptr_max
PARAM_VALUE 0 mddev->sync_set.cpuhp_dead.pprev 4096-ptr_max
PARAM_VALUE 0 mddev->sync_set.front_pad 0
PARAM_VALUE 0 mddev->sync_set.rescue_list.head 0
PARAM_VALUE 0 mddev->sync_set.rescue_list.tail 0
PARAM_VALUE 0 mddev->sync_set.rescue_workqueue 0,4096-ptr_max
PARAM_VALUE 0 mddev->sysfs_level 0,4096-ptr_max
PARAM_VALUE 0 mddev->sysfs_state 0,4096-ptr_max
PARAM_VALUE 0 mddev->unit 1-u32max
PARAM_VALUE 0 mddev->writes_pending.data 0,4096-ptr_max
PARAM_VALUE 0 mddev->writes_pending.data->count.counter s64min-(-9223372036854775807),0-s64max
PARAM_VALUE 0 mddev->writes_pending.data->ref 4096-ptr_max
PARAM_VALUE 0 mddev->writes_pending.percpu_count_ptr 3,7-u64max
PARAM_VALUE 1 info 6569028796068413440
PARAM_VALUE 1 info->ctime 0
PARAM_VALUE 1 info->layout 0
PARAM_VALUE 1 info->level (-1)-0
PARAM_VALUE 1 info->major_version 0
PARAM_VALUE 1 info->minor_version 0
PARAM_VALUE 1 info->not_persistent 0-1
PARAM_VALUE 1 info->nr_disks 0
PARAM_VALUE 1 info->patch_version 0
PARAM_VALUE 1 info->raid_disks 0-s32max
PARAM_VALUE 1 info->size 0
PARAM_VALUE 1 info->state 0-1
PARAM_VALUE 1 info->utime 0
BUF_SIZE 0 mddev 4112
CAPPED_DATA 0 &mddev->disks 1
DATA_SOURCE 0 mddev r md_alloc
PARAM_COMPARE 0 &mddev->disks == $0->disks.next
NO_OVERFLOW_SIMPLE 0 mddev->bio_set.bio_pool.min_nr
NO_OVERFLOW_SIMPLE 0 mddev->bio_set.bvec_pool.min_nr
NO_OVERFLOW_SIMPLE 0 mddev->bio_set.rescue_workqueue->rescuer->task->dl.pi_se->dl_runtime
NO_OVERFLOW_SIMPLE 0 mddev->gendisk->bio_split.bio_pool.min_nr
NO_OVERFLOW_SIMPLE 0 mddev->gendisk->bio_split.bvec_pool.min_nr
NO_OVERFLOW_SIMPLE 0 mddev->io_clone_set.bio_pool.min_nr
NO_OVERFLOW_SIMPLE 0 mddev->io_clone_set.bvec_pool.min_nr
NO_OVERFLOW_SIMPLE 0 mddev->io_clone_set.rescue_workqueue->rescuer->task->dl.pi_se->dl_runtime
NO_OVERFLOW_SIMPLE 0 mddev->sync_set.bio_pool.min_nr
NO_OVERFLOW_SIMPLE 0 mddev->sync_set.bvec_pool.min_nr
NO_OVERFLOW_SIMPLE 0 mddev->sync_set.rescue_workqueue->rescuer->task->dl.pi_se->dl_runtime
LOCK2 0 &mddev->reconfig_mutex
TYPE_LOCK (struct mddev)->reconfig_mutex