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 do_md_run() -> md_run()

Type Parameter Key Value
PARAM_VALUE 0 mddev 4096-ptr_max
BUF_SIZE 0 mddev (-1),4112
BUF_SIZE 0 mddev (-1),4112
DATA_SOURCE 0 mddev $0
RX_PATH
TASK_NOT_RUNNING
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
HALF_LOCKED2 &of->mutex
HALF_LOCKED2 0 &mddev->reconfig_mutex

drivers/md/dm-raid.c raid_ctr() -> md_run()

Type Parameter Key Value
PARAM_VALUE 0 mddev 4096-ptr_max
PARAM_VALUE 0 mddev->active.counter 1
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.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.elements 1-u64max
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.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.elements 1-u64max
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.prev 4096-ptr_max
PARAM_VALUE 0 mddev->bio_set.cpuhp_dead.pprev 4096-ptr_max
PARAM_VALUE 0 mddev->bitmap_id 12
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.osq.tail.counter 0
PARAM_VALUE 0 mddev->delta_disks 0
PARAM_VALUE 0 mddev->disks.next 4096-ptr_max
PARAM_VALUE 0 mddev->disks.prev 4096-ptr_max
PARAM_VALUE 0 mddev->external 0
PARAM_VALUE 0 mddev->in_sync 1
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.elements 1-u64max
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.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.elements 1-u64max
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.prev 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->kobj.parent 0
PARAM_VALUE 0 mddev->kobj.sd 0
PARAM_VALUE 0 mddev->kobj.state_in_sysfs 0
PARAM_VALUE 0 mddev->last_sync_action 6
PARAM_VALUE 0 mddev->major_version 2
PARAM_VALUE 0 mddev->noio_flag 0,524288
PARAM_VALUE 0 mddev->open_mutex.magic 4096-ptr_max
PARAM_VALUE 0 mddev->persistent 1
PARAM_VALUE 0 mddev->raid_disks 1-253
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.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->ro 1
PARAM_VALUE 0 mddev->safemode_timer.flags 0-4194302
PARAM_VALUE 0 mddev->suspend_mutex.osq.tail.counter 0-s32max
PARAM_VALUE 0 mddev->suspended (-2147483647)-1
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.elements 1-u64max
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.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.elements 1-u64max
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.prev 4096-ptr_max
PARAM_VALUE 0 mddev->sync_set.cpuhp_dead.pprev 4096-ptr_max
PARAM_VALUE 0 mddev->sync_super 8352573940155813888
PARAM_VALUE 0 mddev->sysfs_active 0
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->io_clone_set.bio_pool.min_nr
NO_OVERFLOW_SIMPLE 0 mddev->io_clone_set.bvec_pool.min_nr
NO_OVERFLOW_SIMPLE 0 mddev->sync_set.bio_pool.min_nr
NO_OVERFLOW_SIMPLE 0 mddev->sync_set.bvec_pool.min_nr
LOCK2 &rs->md.reconfig_mutex
HALF_LOCKED2 &md->type_lock
TYPE_LOCK (struct mddev)->reconfig_mutex