Open Menu /

Defined in 1 files as a member:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/md/md.c md_add_new_disk() -> (struct md_cluster_operations)->add_new_disk()

Type Parameter Key Value
PARAM_VALUE 0 mddev 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->all_mddevs.next->next 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.bio_pool.wait.head.next->next 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.bvec_pool.wait.head.next->next 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.cpuhp_dead->pprev 4096-ptr_max
PARAM_VALUE 0 mddev->bitmap_info.mutex.dep_map->name 0-255
PARAM_VALUE 0 mddev->bitmap_info.nodes 2-s32max
PARAM_VALUE 0 mddev->cluster_info 1-u64max
PARAM_VALUE 0 mddev->cluster_ops 4096-ptr_max
PARAM_VALUE 0 mddev->deleting.next->next 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->next 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->bdi 4096-ptr_max
PARAM_VALUE 0 mddev->gendisk->bio_split.back_pad 0
PARAM_VALUE 0 mddev->gendisk->bio_split.bio_pool.min_nr 2
PARAM_VALUE 0 mddev->gendisk->bio_split.cache 0
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->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->io_clone_set.bio_pool.wait.head.next->next 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.bvec_pool.wait.head.next->next 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.cpuhp_dead->pprev 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->active.counter (-2147483647)
PARAM_VALUE 0 mddev->kobj.sd->attr.notify_next 0,426918848001064960
PARAM_VALUE 0 mddev->open_mutex.dep_map->name 0-255
PARAM_VALUE 0 mddev->pers 4096-ptr_max
PARAM_VALUE 0 mddev->pers->hot_add_disk 1-u64max
PARAM_VALUE 0 mddev->reconfig_mutex.dep_map->name 0-255
PARAM_VALUE 0 mddev->reconfig_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 0 mddev->reconfig_mutex.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 0 mddev->recovery_wait.head.next->next 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->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->list.prev->next 5159360019465732096
PARAM_VALUE 0 mddev->suspend_mutex.first_waiter->list.prev->prev 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->sync_set.bio_pool.wait.head.next->next 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.bvec_pool.wait.head.next->next 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.cpuhp_dead->pprev 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 1 rdev 4096-ptr_max
PARAM_VALUE 1 rdev->badblocks.dev 0
PARAM_VALUE 1 rdev->badblocks.page 4096-ptr_max
PARAM_VALUE 1 rdev->badblocks.shift (-1)-255
PARAM_VALUE 1 rdev->bb_page 0,4096-ptr_max
PARAM_VALUE 1 rdev->bb_page->_refcount.counter 1
PARAM_VALUE 1 rdev->bdev 4096-ptr_max
PARAM_VALUE 1 rdev->bdev_file 4096-ptr_max
PARAM_VALUE 1 rdev->bdev_file->__f_path.dentry 4096-ptr_max
PARAM_VALUE 1 rdev->bdev_file->__f_path.mnt 0
PARAM_VALUE 1 rdev->bdev_file->f_cred 0,4096-ptr_max
PARAM_VALUE 1 rdev->bdev_file->f_cred->process_keyring->user->qnbytes s32min-s32max
PARAM_VALUE 1 rdev->bdev_file->f_cred->process_keyring->user->qnkeys s32min-s32max
PARAM_VALUE 1 rdev->bdev_file->f_cred->request_key_auth->user->qnbytes s32min-s32max
PARAM_VALUE 1 rdev->bdev_file->f_cred->request_key_auth->user->qnkeys s32min-s32max
PARAM_VALUE 1 rdev->bdev_file->f_cred->session_keyring->user->qnbytes s32min-s32max
PARAM_VALUE 1 rdev->bdev_file->f_cred->session_keyring->user->qnkeys s32min-s32max
PARAM_VALUE 1 rdev->bdev_file->f_cred->thread_keyring->user->qnbytes s32min-s32max
PARAM_VALUE 1 rdev->bdev_file->f_cred->thread_keyring->user->qnkeys s32min-s32max
PARAM_VALUE 1 rdev->bdev_file->f_ep 0
PARAM_VALUE 1 rdev->bdev_file->f_flags 0,32768-u32max
PARAM_VALUE 1 rdev->bdev_file->f_inode 4096-ptr_max
PARAM_VALUE 1 rdev->bdev_file->f_iocb_flags 0,2,16,18,131072,131074,131088,131090
PARAM_VALUE 1 rdev->bdev_file->f_mapping 4096-ptr_max
PARAM_VALUE 1 rdev->bdev_file->f_mode 0,64-u32max
PARAM_VALUE 1 rdev->bdev_file->f_op 8212791493360840704
PARAM_VALUE 1 rdev->bdev_file->f_owner 0
PARAM_VALUE 1 rdev->bdev_file->f_pos 0
PARAM_VALUE 1 rdev->bdev_file->f_pos_lock.dep_map->name 0-255
PARAM_VALUE 1 rdev->bdev_file->f_pos_lock.first_waiter 0
PARAM_VALUE 1 rdev->bdev_file->f_pos_lock.magic 4096-ptr_max
PARAM_VALUE 1 rdev->bdev_file->f_pos_lock.osq.tail.counter 0
PARAM_VALUE 1 rdev->bdev_file->f_pos_lock.owner.counter 0
PARAM_VALUE 1 rdev->bdev_file->f_ra.async_size 0
PARAM_VALUE 1 rdev->bdev_file->f_ra.mmap_miss 0
PARAM_VALUE 1 rdev->bdev_file->f_ra.order 0
PARAM_VALUE 1 rdev->bdev_file->f_ra.prev_pos 0
PARAM_VALUE 1 rdev->bdev_file->f_ra.ra_pages 0
PARAM_VALUE 1 rdev->bdev_file->f_ra.size 0
PARAM_VALUE 1 rdev->bdev_file->f_ra.start 0
PARAM_VALUE 1 rdev->bdev_file->f_ref.refcnt.counter 0
PARAM_VALUE 1 rdev->bdev_file->f_sb_err 0
PARAM_VALUE 1 rdev->bdev_file->private_data 4096-ptr_max
PARAM_VALUE 1 rdev->blocked_wait.head.next 4096-ptr_max
PARAM_VALUE 1 rdev->blocked_wait.head.next->next 4096-ptr_max
PARAM_VALUE 1 rdev->blocked_wait.head.prev 4096-ptr_max
PARAM_VALUE 1 rdev->blocked_wait.head.prev->next 4096-ptr_max
PARAM_VALUE 1 rdev->blocked_wait.head.prev->prev 4096-ptr_max
PARAM_VALUE 1 rdev->flags 0
PARAM_VALUE 1 rdev->kobj.entry.next 4096-ptr_max
PARAM_VALUE 1 rdev->kobj.entry.next->next 4096-ptr_max
PARAM_VALUE 1 rdev->kobj.entry.prev 4096-ptr_max
PARAM_VALUE 1 rdev->kobj.entry.prev->next 4096-ptr_max
PARAM_VALUE 1 rdev->kobj.entry.prev->prev 4096-ptr_max
PARAM_VALUE 1 rdev->kobj.kref.refcount.refs.counter 1
PARAM_VALUE 1 rdev->kobj.ktype 1426636123003412480
PARAM_VALUE 1 rdev->kobj.state_add_uevent_sent 0
PARAM_VALUE 1 rdev->kobj.state_in_sysfs 0
PARAM_VALUE 1 rdev->kobj.state_initialized 1
PARAM_VALUE 1 rdev->kobj.state_remove_uevent_sent 0
PARAM_VALUE 1 rdev->last_read_error 0
PARAM_VALUE 1 rdev->nr_pending.counter 0
PARAM_VALUE 1 rdev->read_errors.counter 0
PARAM_VALUE 1 rdev->same_set.next 4096-ptr_max
PARAM_VALUE 1 rdev->same_set.next->next 4096-ptr_max
PARAM_VALUE 1 rdev->same_set.prev 4096-ptr_max
PARAM_VALUE 1 rdev->same_set.prev->next 4096-ptr_max
PARAM_VALUE 1 rdev->same_set.prev->prev 4096-ptr_max
PARAM_VALUE 1 rdev->sb_events 0
PARAM_VALUE 1 rdev->sb_loaded 0-1
PARAM_VALUE 1 rdev->sb_page 4096-ptr_max
PARAM_VALUE 1 rdev->sb_page->_refcount.counter 1
BUF_SIZE 0 mddev 4112
BUF_SIZE 1 rdev 760
CAPPED_DATA 1 rdev->bdev_file->f_cred 1
DATA_SOURCE 0 mddev $0
CONTAINER 0 -128-4072+0 $(-1)
NO_OVERFLOW_SIMPLE 0 mddev->bio_set.rescue_workqueue->rescuer->task->dl.pi_se->dl_runtime
NO_OVERFLOW_SIMPLE 0 mddev->sync_set.rescue_workqueue->rescuer->task->dl.pi_se->dl_runtime
NO_OVERFLOW_SIMPLE 1 rdev->bdev_file->f_inode->i_blkbits
NO_OVERFLOW_SIMPLE 1 rdev->bdev_file->f_inode->i_size
LOCK2 0 &mddev->reconfig_mutex
TYPE_LOCK (struct mddev)->reconfig_mutex