mddev_destroy identifier - Linux source code next-20260811

Projects

linux

Versions

FIXME
- FIXME
  - next-20260811

Defined in 1 files as a prototype:

drivers/md/md.h, line 946 (as a prototype)

Defined in 1 files as a function:

drivers/md/md.c, line 818 (as a function)

Referenced in 2 files:

Smatch caller information:

drivers/md/md.c mddev_alloc() -> mddev_destroy()

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	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->ref	4096-ptr_max
PARAM_VALUE	0	mddev->active_io.percpu_count_ptr	4096-18446744073709547523
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.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.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.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.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.osq.tail.counter	0
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->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.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.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.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->last_sync_action	6
PARAM_VALUE	0	mddev->level	(-1000000)
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->reconfig_mutex.dep_map->name	0-255
PARAM_VALUE	0	mddev->reconfig_mutex.first_waiter	0
PARAM_VALUE	0	mddev->reconfig_mutex.magic	4096-ptr_max
PARAM_VALUE	0	mddev->reconfig_mutex.osq.tail.counter	0
PARAM_VALUE	0	mddev->reconfig_mutex.owner.counter	0
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	4096-ptr_max
PARAM_VALUE	0	mddev->sb_wait.head.next->next	4096-ptr_max
PARAM_VALUE	0	mddev->sb_wait.head.prev	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
PARAM_VALUE	0	mddev->suspend_mutex.magic	4096-ptr_max
PARAM_VALUE	0	mddev->suspend_mutex.osq.tail.counter	0
PARAM_VALUE	0	mddev->suspend_mutex.owner.counter	0
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.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.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.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.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->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
BUF_SIZE	0	mddev	4112
DATA_SOURCE	0	mddev	r _kzalloc_noprof
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2		&disks_mutex

drivers/md/md.c mddev_free() -> mddev_destroy()

Type	Parameter	Key	Value
PARAM_VALUE	0	mddev	4096-ptr_max
BUF_SIZE	0	mddev	s32min-(-2),1-s32max
BUF_SIZE	0	mddev	s32min-(-2),1-s32max
BUF_SIZE	0	mddev->gendisk	(-1),2000
DATA_SOURCE	0	mddev	$0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA	0	mddev->md_minor	1-1048575[c]
USER_DATA	0	mddev->unit	1-u32max
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
UNITS	0	mddev	unit_byte
HALF_LOCKED2		&disks_mutex

drivers/md/dm-raid.c raid_set_free() -> mddev_destroy()

Type	Parameter	Key	Value
PARAM_VALUE	0	mddev	4096-ptr_max
PARAM_VALUE	0	mddev->can_decrease_events	0-1
PARAM_VALUE	0	mddev->deleting.next	4096-ptr_max
PARAM_VALUE	0	mddev->minor_version	90-91
PARAM_VALUE	0	mddev->pers	0
PARAM_VALUE	0	mddev->private	0
PARAM_VALUE	0	mddev->sync_set.rescue_work.entry.next	4096-ptr_max
NOCHECK_CALL
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