drbd_debugfs_device_cleanup identifier - Linux source code next-20260811

Projects

linux

Versions

FIXME
- FIXME
  - next-20260811

Defined in 1 files as a prototype:

drivers/block/drbd/drbd_debugfs.h, line 19 (as a prototype)

Defined in 2 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/block/drbd/drbd_debugfs.c drbd_debugfs_device_add() -> drbd_debugfs_device_cleanup()

Type	Parameter	Key	Value
PARAM_VALUE	0	device	4096-ptr_max
PARAM_VALUE	0	device->active_ee.next	4096-ptr_max
PARAM_VALUE	0	device->active_ee.next->next	4096-ptr_max
PARAM_VALUE	0	device->active_ee.prev	4096-ptr_max
PARAM_VALUE	0	device->active_ee.prev->next	4096-ptr_max
PARAM_VALUE	0	device->active_ee.prev->prev	4096-ptr_max
PARAM_VALUE	0	device->al_wait.head.next	4096-ptr_max
PARAM_VALUE	0	device->al_wait.head.next->next	4096-ptr_max
PARAM_VALUE	0	device->al_wait.head.prev	4096-ptr_max
PARAM_VALUE	0	device->al_wait.head.prev->next	4096-ptr_max
PARAM_VALUE	0	device->al_wait.head.prev->prev	4096-ptr_max
PARAM_VALUE	0	device->ap_actlog_cnt.counter	0
PARAM_VALUE	0	device->ap_bio_cnt.counter	0
PARAM_VALUE	0	device->ap_in_flight.counter	0
PARAM_VALUE	0	device->ap_pending_cnt.counter	0
PARAM_VALUE	0	device->bitmap	4096-ptr_max
PARAM_VALUE	0	device->bitmap->bm_change.first_waiter	0
PARAM_VALUE	0	device->bitmap->bm_change.owner.counter	0
PARAM_VALUE	0	device->bm_io_work.w.cb	5995182792091209728
PARAM_VALUE	0	device->bm_io_work.w.list.next	4096-ptr_max
PARAM_VALUE	0	device->bm_io_work.w.list.next->next	4096-ptr_max
PARAM_VALUE	0	device->bm_io_work.w.list.prev	4096-ptr_max
PARAM_VALUE	0	device->bm_io_work.w.list.prev->next	4096-ptr_max
PARAM_VALUE	0	device->bm_io_work.w.list.prev->prev	4096-ptr_max
PARAM_VALUE	0	device->debugfs_vol	4096-u64max
PARAM_VALUE	0	device->done_ee.next	4096-ptr_max
PARAM_VALUE	0	device->done_ee.next->next	4096-ptr_max
PARAM_VALUE	0	device->done_ee.prev	4096-ptr_max
PARAM_VALUE	0	device->done_ee.prev->next	4096-ptr_max
PARAM_VALUE	0	device->done_ee.prev->prev	4096-ptr_max
PARAM_VALUE	0	device->ee_wait.head.next	4096-ptr_max
PARAM_VALUE	0	device->ee_wait.head.next->next	4096-ptr_max
PARAM_VALUE	0	device->ee_wait.head.prev	4096-ptr_max
PARAM_VALUE	0	device->ee_wait.head.prev->next	4096-ptr_max
PARAM_VALUE	0	device->ee_wait.head.prev->prev	4096-ptr_max
PARAM_VALUE	0	device->local_cnt.counter	0
PARAM_VALUE	0	device->local_max_bio_size	4096
PARAM_VALUE	0	device->md_io.in_use.counter	0
PARAM_VALUE	0	device->md_io.page	4096-ptr_max
PARAM_VALUE	0	device->md_io.page->_refcount.counter	1
PARAM_VALUE	0	device->md_sync_timer.entry.pprev	0
PARAM_VALUE	0	device->md_sync_timer.flags	0-4194302
PARAM_VALUE	0	device->md_sync_timer.lockdep_map->name	0-255
PARAM_VALUE	0	device->minor	0-1048575
PARAM_VALUE	0	device->misc_wait.head.next	4096-ptr_max
PARAM_VALUE	0	device->misc_wait.head.next->next	4096-ptr_max
PARAM_VALUE	0	device->misc_wait.head.prev	4096-ptr_max
PARAM_VALUE	0	device->misc_wait.head.prev->next	4096-ptr_max
PARAM_VALUE	0	device->misc_wait.head.prev->prev	4096-ptr_max
PARAM_VALUE	0	device->own_state_mutex.dep_map->name	0-255
PARAM_VALUE	0	device->own_state_mutex.first_waiter	0
PARAM_VALUE	0	device->own_state_mutex.magic	4096-ptr_max
PARAM_VALUE	0	device->own_state_mutex.owner.counter	0
PARAM_VALUE	0	device->peer_devices.next	4096-ptr_max
PARAM_VALUE	0	device->peer_devices.next->next	4096-ptr_max
PARAM_VALUE	0	device->peer_devices.prev	4096-ptr_max
PARAM_VALUE	0	device->peer_devices.prev->next	4096-ptr_max
PARAM_VALUE	0	device->peer_devices.prev->prev	4096-ptr_max
PARAM_VALUE	0	device->peer_max_bio_size	4096
PARAM_VALUE	0	device->pending_bitmap_io.next	4096-ptr_max
PARAM_VALUE	0	device->pending_bitmap_io.next->next	4096-ptr_max
PARAM_VALUE	0	device->pending_bitmap_io.prev	4096-ptr_max
PARAM_VALUE	0	device->pending_bitmap_io.prev->next	4096-ptr_max
PARAM_VALUE	0	device->pending_bitmap_io.prev->prev	4096-ptr_max
PARAM_VALUE	0	device->pp_in_use_by_net.counter	0
PARAM_VALUE	0	device->read_ee.next	4096-ptr_max
PARAM_VALUE	0	device->read_ee.next->next	4096-ptr_max
PARAM_VALUE	0	device->read_ee.prev	4096-ptr_max
PARAM_VALUE	0	device->read_ee.prev->next	4096-ptr_max
PARAM_VALUE	0	device->read_ee.prev->prev	4096-ptr_max
PARAM_VALUE	0	device->request_timer.entry.pprev	0
PARAM_VALUE	0	device->request_timer.flags	0-4194302
PARAM_VALUE	0	device->request_timer.lockdep_map->name	0-255
PARAM_VALUE	0	device->resource	4096-ptr_max
PARAM_VALUE	0	device->resource->adm_mutex.osq.tail.counter	0-s32max
PARAM_VALUE	0	device->resource->adm_mutex.wait_lock.owner	(-1)
PARAM_VALUE	0	device->resource->adm_mutex.wait_lock.owner_cpu	u32max
PARAM_VALUE	0	device->resource->debugfs_res_volumes	1-u64max
PARAM_VALUE	0	device->resource->debugfs_res_volumes->d_children->first->pprev	1-u64max
PARAM_VALUE	0	device->resource->debugfs_res_volumes->d_children.first	4096-ptr_max
PARAM_VALUE	0	device->resource->debugfs_res_volumes->d_inode->i_rwsem.dep_map->name	0-255
PARAM_VALUE	0	device->resource->debugfs_res_volumes->d_inode->i_rwsem.first_waiter->handoff_set	0-1
PARAM_VALUE	0	device->resource->debugfs_res_volumes->d_inode->i_rwsem.first_waiter->list.next	2624917664208203776
PARAM_VALUE	0	device->resource->debugfs_res_volumes->d_inode->i_rwsem.first_waiter->list.prev	2624917664208203776
PARAM_VALUE	0	device->resource->debugfs_res_volumes->d_inode->i_rwsem.first_waiter->type	0-1
PARAM_VALUE	0	device->resource->debugfs_res_volumes->d_sb	4096-ptr_max
PARAM_VALUE	0	device->resource->debugfs_res_volumes->d_sb->s_fs_info->s_bmap_bits	0-4294967295
PARAM_VALUE	0	device->resource->debugfs_res_volumes->d_sb->s_fs_info->s_bmap_count	0-4294967295
PARAM_VALUE	0	device->resource->debugfs_res_volumes->d_sb->s_fs_info->s_data_blksize	0-4294967295
PARAM_VALUE	0	device->resource->debugfs_res_volumes->d_sb->s_fs_info->s_hashsize	s32min-s32max
PARAM_VALUE	0	device->resource->debugfs_res_volumes->d_sb->s_fs_info->s_last_bmap	0-4294967295
PARAM_VALUE	0	device->resource->debugfs_res_volumes->d_sb->s_fs_info->s_mode	0-u16max
PARAM_VALUE	0	device->resource->debugfs_res_volumes->d_sb->s_fs_info->s_partition_size	s32min-s32max
PARAM_VALUE	0	device->resource->debugfs_res_volumes->d_sb->s_fs_info->s_reserved	s32min-s32max
PARAM_VALUE	0	device->resource->debugfs_res_volumes->d_sb->s_fs_info->s_root_block	0-4294967295
PARAM_VALUE	0	device->resource->debugfs_res_volumes->d_sb->s_fs_info->work_queued	s32min-s32max
PARAM_VALUE	0	device->resync_reads.next	4096-ptr_max
PARAM_VALUE	0	device->resync_reads.next->next	4096-ptr_max
PARAM_VALUE	0	device->resync_reads.prev	4096-ptr_max
PARAM_VALUE	0	device->resync_reads.prev->next	4096-ptr_max
PARAM_VALUE	0	device->resync_reads.prev->prev	4096-ptr_max
PARAM_VALUE	0	device->resync_timer.entry.pprev	0
PARAM_VALUE	0	device->resync_timer.flags	0-4194302
PARAM_VALUE	0	device->resync_timer.lockdep_map->name	0-255
PARAM_VALUE	0	device->resync_wenr	u32max
PARAM_VALUE	0	device->resync_work.cb	7319914262612688896
PARAM_VALUE	0	device->resync_work.list.next	4096-ptr_max
PARAM_VALUE	0	device->resync_work.list.next->next	4096-ptr_max
PARAM_VALUE	0	device->resync_work.list.prev	4096-ptr_max
PARAM_VALUE	0	device->resync_work.list.prev->next	4096-ptr_max
PARAM_VALUE	0	device->resync_work.list.prev->prev	4096-ptr_max
PARAM_VALUE	0	device->rq_queue	4096-ptr_max
PARAM_VALUE	0	device->rq_queue->blkg_list.next	4096-ptr_max
PARAM_VALUE	0	device->rq_queue->root_blkg	4096-ptr_max
PARAM_VALUE	0	device->rs_pending_cnt.counter	0
PARAM_VALUE	0	device->rs_sect_ev.counter	0
PARAM_VALUE	0	device->rs_sect_in.counter	0
PARAM_VALUE	0	device->seq_wait.head.next	4096-ptr_max
PARAM_VALUE	0	device->seq_wait.head.next->next	4096-ptr_max
PARAM_VALUE	0	device->seq_wait.head.prev	4096-ptr_max
PARAM_VALUE	0	device->seq_wait.head.prev->next	4096-ptr_max
PARAM_VALUE	0	device->seq_wait.head.prev->prev	4096-ptr_max
PARAM_VALUE	0	device->start_resync_timer.entry.pprev	0
PARAM_VALUE	0	device->start_resync_timer.flags	0-4194302
PARAM_VALUE	0	device->start_resync_timer.lockdep_map->name	0-255
PARAM_VALUE	0	device->state_mutex	4096-ptr_max
PARAM_VALUE	0	device->state_mutex->first_waiter	0
PARAM_VALUE	0	device->state_mutex->magic	4096-ptr_max
PARAM_VALUE	0	device->state_mutex->osq.tail.counter	0
PARAM_VALUE	0	device->state_mutex->owner.counter	0
PARAM_VALUE	0	device->state_wait.head.next	4096-ptr_max
PARAM_VALUE	0	device->state_wait.head.next->next	4096-ptr_max
PARAM_VALUE	0	device->state_wait.head.prev	4096-ptr_max
PARAM_VALUE	0	device->state_wait.head.prev->next	4096-ptr_max
PARAM_VALUE	0	device->state_wait.head.prev->prev	4096-ptr_max
PARAM_VALUE	0	device->submit.wq	4096-ptr_max
PARAM_VALUE	0	device->sync_ee.next	4096-ptr_max
PARAM_VALUE	0	device->sync_ee.next->next	4096-ptr_max
PARAM_VALUE	0	device->sync_ee.prev	4096-ptr_max
PARAM_VALUE	0	device->sync_ee.prev->next	4096-ptr_max
PARAM_VALUE	0	device->sync_ee.prev->prev	4096-ptr_max
PARAM_VALUE	0	device->unacked_cnt.counter	0
PARAM_VALUE	0	device->unplug_work.cb	3454243166815907840
PARAM_VALUE	0	device->unplug_work.list.next	4096-ptr_max
PARAM_VALUE	0	device->unplug_work.list.next->next	4096-ptr_max
PARAM_VALUE	0	device->unplug_work.list.prev	4096-ptr_max
PARAM_VALUE	0	device->unplug_work.list.prev->next	4096-ptr_max
PARAM_VALUE	0	device->unplug_work.list.prev->prev	4096-ptr_max
PARAM_VALUE	0	device->vdisk	4096-ptr_max
PARAM_VALUE	0	device->vdisk->bdi	4096-ptr_max
PARAM_VALUE	0	device->vdisk->bio_split.back_pad	0,64
PARAM_VALUE	0	device->vdisk->bio_split.bio_pool.alloc	7276475779886346240
PARAM_VALUE	0	device->vdisk->bio_split.bio_pool.curr_nr	1-s32max
PARAM_VALUE	0	device->vdisk->bio_split.bio_pool.free	8263660038527102976
PARAM_VALUE	0	device->vdisk->bio_split.bio_pool.min_nr	2
PARAM_VALUE	0	device->vdisk->bio_split.bio_pool.pool_data	1-u64max
PARAM_VALUE	0	device->vdisk->bio_split.bio_pool.wait.head.next	4096-ptr_max
PARAM_VALUE	0	device->vdisk->bio_split.bio_pool.wait.head.prev	4096-ptr_max
PARAM_VALUE	0	device->vdisk->bio_split.bio_slab	1-u64max
PARAM_VALUE	0	device->vdisk->bio_split.bvec_pool.alloc	7276475779886346240
PARAM_VALUE	0	device->vdisk->bio_split.bvec_pool.curr_nr	1-s32max
PARAM_VALUE	0	device->vdisk->bio_split.bvec_pool.free	8263660038527102976
PARAM_VALUE	0	device->vdisk->bio_split.bvec_pool.wait.head.next	4096-ptr_max
PARAM_VALUE	0	device->vdisk->bio_split.bvec_pool.wait.head.prev	4096-ptr_max
PARAM_VALUE	0	device->vdisk->bio_split.cache	0,4096-ptr_max
PARAM_VALUE	0	device->vdisk->bio_split.cpuhp_dead.pprev	4096-ptr_max
PARAM_VALUE	0	device->vdisk->bio_split.front_pad	0
PARAM_VALUE	0	device->vdisk->error_injection_list.next	4096-ptr_max
PARAM_VALUE	0	device->vdisk->error_injection_list.prev	4096-ptr_max
PARAM_VALUE	0	device->vdisk->error_injection_lock.magic	4096-ptr_max
PARAM_VALUE	0	device->vdisk->lockdep_map.cpu	0
PARAM_VALUE	0	device->vdisk->lockdep_map.lock_type	0
PARAM_VALUE	0	device->vdisk->node_id	(-1)
PARAM_VALUE	0	device->vdisk->open_mutex.first_waiter	0
PARAM_VALUE	0	device->vdisk->open_mutex.magic	4096-ptr_max
PARAM_VALUE	0	device->vdisk->open_mutex.owner.counter	0
PARAM_VALUE	0	device->vdisk->part0	4096-ptr_max
PARAM_VALUE	0	device->vdisk->part_tbl.xa_flags	0
PARAM_VALUE	0	device->vdisk->part_tbl.xa_head	0
PARAM_VALUE	0	device->vdisk->queue	4096-ptr_max
PARAM_VALUE	0	device->vdisk->queue_kobj.kref.refcount.refs.counter	1
PARAM_VALUE	0	device->vdisk->queue_kobj.ktype	8941777688397746176
PARAM_VALUE	0	device->vdisk->queue_kobj.state_initialized	1
PARAM_VALUE	0	device->vdisk->random	4096-ptr_max
PARAM_VALUE	0	device->vdisk->rqos_state_mutex.magic	4096-ptr_max
PARAM_VALUE	0	device->vdisk->slave_bdevs.next	4096-ptr_max
PARAM_VALUE	0	device->vdisk->slave_bdevs.prev	4096-ptr_max
PARAM_VALUE	0	device->vdisk->zone_wplugs_list.next	4096-ptr_max
PARAM_VALUE	0	device->vdisk->zone_wplugs_list.prev	4096-ptr_max
PARAM_VALUE	0	device->vdisk->zone_wplugs_worker_bio_done.wait.lock.magic	3735899821
PARAM_VALUE	0	device->vdisk->zone_wplugs_worker_bio_done.wait.lock.owner	(-1)
PARAM_VALUE	0	device->vdisk->zone_wplugs_worker_bio_done.wait.lock.owner_cpu	u32max
PARAM_VALUE	0	device->vdisk->zone_wplugs_worker_bio_done.wait.task_list.next	4096-ptr_max
PARAM_VALUE	0	device->vdisk->zone_wplugs_worker_bio_done.wait.task_list.prev	4096-ptr_max
PARAM_VALUE	0	device->vnr	0-65534
BUF_SIZE	0	device	2136
BUF_SIZE	0	device->debugfs_vol	s32min-(-1),1-s32max
BUF_SIZE	0	device->vdisk	2000
DATA_SOURCE	0	device	$0
BIT_INFO	0	device->read_requests	0x0,0x7fffffffffffffff
BIT_INFO	0	device->write_requests	0x0,0x7fffffffffffffff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA	0	device->minor	0-1048575
NO_OVERFLOW_SIMPLE	0	device->rq_queue->async_depth
NO_OVERFLOW_SIMPLE	0	device->rq_queue->limits.max_discard_sectors
NO_OVERFLOW_SIMPLE	0	device->rq_queue->limits.max_open_zones
NO_OVERFLOW_SIMPLE	0	device->rq_queue->nr_requests
NO_OVERFLOW_SIMPLE	0	device->vdisk->bio_split.bio_pool.min_nr
NO_OVERFLOW_SIMPLE	0	device->vdisk->bio_split.bvec_pool.min_nr
LOCK2		&adm_ctx->resource->adm_mutex
HALF_LOCKED2		&dev->lock
HALF_LOCKED2		&devlink->lock
HALF_LOCKED2		&net->xfrm.xfrm_cfg_mutex
HALF_LOCKED2		global &audit_cmd_mutex.lock
HALF_LOCKED2		global &cb_lock
HALF_LOCKED2		global &crypto_cfg_mutex
HALF_LOCKED2		global &dpll_lock
HALF_LOCKED2		global &hwsim_phys_lock
HALF_LOCKED2		global &net_dm_mutex
HALF_LOCKED2		global &rtnl_mutex
HALF_LOCKED2		global &rx_queue_mutex
HALF_LOCKED2		rcu_read
TYPE_LOCK		(struct drbd_resource)->adm_mutex

drivers/block/drbd/drbd_main.c drbd_delete_device() -> drbd_debugfs_device_cleanup()

Type	Parameter	Key	Value
PARAM_VALUE	0	device	4096-ptr_max
PARAM_VALUE	0	device->vdisk->part0->bd_device.kobj.parent->sd->attr.open->nr_mmapped	0-4294967295
PARAM_VALUE	0	device->vdisk->part0->bd_device.kobj.sd->attr.open->nr_mmapped	0-4294967295
PARAM_VALUE	0	device->vdisk->part0->bd_device.power.wakeirq->status	0-4294967295
PARAM_VALUE	0	device->vdisk->queue->mq_kobj->sd->attr.open->nr_mmapped	0-4294967295
PARAM_VALUE	0	device->vdisk->queue_kobj.sd->attr.open->nr_mmapped	0-4294967295
CAPPED_DATA	0	&device->peer_devices	1
DATA_SOURCE	0	device	$0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL