ubi_wl_close identifier - Linux source code next-20260811

Projects

linux

Versions

FIXME
- FIXME
  - next-20260811

Documented in 1 files:

drivers/mtd/ubi/wl.c, line 1981

Defined in 1 files as a prototype:

drivers/mtd/ubi/ubi.h, line 914 (as a prototype)

Defined in 1 files as a function:

drivers/mtd/ubi/wl.c, line 1985 (as a function)

Referenced in 2 files:

Smatch caller information:

drivers/mtd/ubi/attach.c ubi_attach() -> ubi_wl_close()

Type	Parameter	Key	Value
PARAM_VALUE	0	ubi	4096-ptr_max
PARAM_VALUE	0	ubi->alc_mutex.dep_map->name	0-255
PARAM_VALUE	0	ubi->buf_mutex->first_waiter->task->blocked_lock.owner	(-4611686018427387904)-4611686018427387903
PARAM_VALUE	0	ubi->buf_mutex.dep_map->name	0-255
PARAM_VALUE	0	ubi->buf_mutex.first_waiter->list.prev->next	5159360019465732096
PARAM_VALUE	0	ubi->buf_mutex.first_waiter->list.prev->prev	5159360019465732096
PARAM_VALUE	0	ubi->buf_mutex.first_waiter->task->blocked_lock.dep_map->name	0-255
PARAM_VALUE	0	ubi->buf_mutex.first_waiter->task->blocked_lock.owner	(-1)
PARAM_VALUE	0	ubi->buf_mutex.first_waiter->task->blocked_lock.owner_cpu	4294967295
PARAM_VALUE	0	ubi->buf_mutex.first_waiter->task->blocked_lock.raw_lock.val.counter	s32min-s32max
PARAM_VALUE	0	ubi->buf_mutex.first_waiter->task->blocked_on	(-1)-0
PARAM_VALUE	0	ubi->buf_mutex.first_waiter->task->usage.refs.counter	s32min-s32max
PARAM_VALUE	0	ubi->ckvol_mutex.dep_map->name	0-255
PARAM_VALUE	0	ubi->dev.devres_head.next->next	4096-ptr_max
PARAM_VALUE	0	ubi->dev.devres_head.prev->next	4096-ptr_max
PARAM_VALUE	0	ubi->dev.devres_head.prev->prev	4096-ptr_max
PARAM_VALUE	0	ubi->dev.dma_io_tlb_mem->dyn_alloc.data.counter	9007199250546704
PARAM_VALUE	0	ubi->dev.dma_io_tlb_mem->dyn_alloc.entry.prev	1473117533515866344
PARAM_VALUE	0	ubi->dev.dma_io_tlb_mem->dyn_alloc.func	1583282886040592384
PARAM_VALUE	0	ubi->dev.dma_io_tlb_mem->pools.prev	1473117533515866320
PARAM_VALUE	0	ubi->dev.dma_io_tlb_pools.next->next	4096-ptr_max
PARAM_VALUE	0	ubi->dev.dma_io_tlb_pools.prev->next	4096-ptr_max
PARAM_VALUE	0	ubi->dev.dma_io_tlb_pools.prev->prev	4096-ptr_max
PARAM_VALUE	0	ubi->dev.dma_pools.next->next	4096-ptr_max
PARAM_VALUE	0	ubi->dev.dma_pools.prev->next	4096-ptr_max
PARAM_VALUE	0	ubi->dev.dma_pools.prev->prev	4096-ptr_max
PARAM_VALUE	0	ubi->dev.flags	4096-ptr_max
PARAM_VALUE	0	ubi->dev.links.consumers.next->next	4096-ptr_max
PARAM_VALUE	0	ubi->dev.links.consumers.prev->next	4096-ptr_max
PARAM_VALUE	0	ubi->dev.links.consumers.prev->prev	4096-ptr_max
PARAM_VALUE	0	ubi->dev.links.defer_sync.next->next	4096-ptr_max
PARAM_VALUE	0	ubi->dev.links.defer_sync.prev->next	4096-ptr_max
PARAM_VALUE	0	ubi->dev.links.defer_sync.prev->prev	4096-ptr_max
PARAM_VALUE	0	ubi->dev.links.suppliers.next->next	4096-ptr_max
PARAM_VALUE	0	ubi->dev.links.suppliers.prev->next	4096-ptr_max
PARAM_VALUE	0	ubi->dev.links.suppliers.prev->prev	4096-ptr_max
PARAM_VALUE	0	ubi->dev.power.entry.next->next	4096-ptr_max
PARAM_VALUE	0	ubi->dev.power.entry.prev->next	4096-ptr_max
PARAM_VALUE	0	ubi->dev.power.entry.prev->prev	4096-ptr_max
PARAM_VALUE	0	ubi->dev.power.wait_queue.head.next->next	4096-ptr_max
PARAM_VALUE	0	ubi->dev.power.wait_queue.head.prev->next	4096-ptr_max
PARAM_VALUE	0	ubi->dev.power.wait_queue.head.prev->prev	4096-ptr_max
PARAM_VALUE	0	ubi->device_mutex.dep_map->name	0-255
PARAM_VALUE	0	ubi->fm_eba_sem.dep_map->name	0-255
PARAM_VALUE	0	ubi->fm_protect.dep_map->name	0-255
PARAM_VALUE	0	ubi->mtd->numeraseregions	0
PARAM_VALUE	0	ubi->mtd->parent	0
PARAM_VALUE	0	ubi->work_sem.first_waiter->handoff_set	0-1
PARAM_VALUE	0	ubi->work_sem.first_waiter->type	0-1
BUF_SIZE	0	ubi	7232
BUF_SIZE	0	ubi	7232
DATA_SOURCE	0	ubi	$0
STR_LEN	0	ubi->dev.parent->driver_data	(-1)
STR_LEN	0	ubi->mtd	(-1)
STR_LEN	0	ubi->mtd->dev.driver_data	(-1)
STR_LEN	0	ubi->mtd->name	(-1)
STR_LEN	0	ubi->mtd->parent	(-1)
MEM_ZERO	0	&ubi->dev.power.suspend_timer
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE	0	ubi->mtd->erasesize
NO_OVERFLOW_SIMPLE	0	ubi->peb_count
NO_OVERFLOW_SIMPLE	0	ubi->peb_size
NO_OVERFLOW_SIMPLE	0	ubi->vid_hdr_aloffset
LOCK2		global &ubi_devices_mutex
HALF_LOCKED2		global &mtd_table_mutex

drivers/mtd/ubi/build.c ubi_attach_mtd_dev() -> ubi_wl_close()

Type	Parameter	Key	Value
PARAM_VALUE	0	ubi	4096-ptr_max
PARAM_VALUE	0	ubi->alc_mutex.dep_map->name	0-255
PARAM_VALUE	0	ubi->bgt_thread	(-12),(-4)
PARAM_VALUE	0	ubi->bgt_thread->delays->lock.dep_map->name	0-255
PARAM_VALUE	0	ubi->bgt_thread->delays->lock.owner	(-1)
PARAM_VALUE	0	ubi->bgt_thread->delays->lock.owner_cpu	4294967295
PARAM_VALUE	0	ubi->bgt_thread->dl.dl_timer.base->cpu_base->expires_next	0-s64max
PARAM_VALUE	0	ubi->bgt_thread->dl.dl_timer.base->cpu_base->softirq_expires_next	0-s64max
PARAM_VALUE	0	ubi->bgt_thread->dl.pi_se->pi_se	4096-ptr_max
PARAM_VALUE	0	ubi->bgt_thread->dl.rb_node.__rb_parent_color	1
PARAM_VALUE	0	ubi->bgt_thread->dl.rb_node.rb_left	4096-ptr_max
PARAM_VALUE	0	ubi->bgt_thread->pushable_tasks.node_list.next->next	4096-ptr_max
PARAM_VALUE	0	ubi->bgt_thread->pushable_tasks.node_list.next->prev	4096-ptr_max
PARAM_VALUE	0	ubi->bgt_thread->pushable_tasks.node_list.prev->next	4096-ptr_max
PARAM_VALUE	0	ubi->bgt_thread->pushable_tasks.node_list.prev->prev	4096-ptr_max
PARAM_VALUE	0	ubi->bgt_thread->pushable_tasks.prio_list.next->next	4096-ptr_max
PARAM_VALUE	0	ubi->bgt_thread->pushable_tasks.prio_list.next->prev	4096-ptr_max
PARAM_VALUE	0	ubi->bgt_thread->pushable_tasks.prio_list.prev->next	4096-ptr_max
PARAM_VALUE	0	ubi->bgt_thread->pushable_tasks.prio_list.prev->prev	4096-ptr_max
PARAM_VALUE	0	ubi->bgt_thread->se.cfs_rq->rq->donor->dl.dl_timer.base->cpu_base->expires_next	0-s64max
PARAM_VALUE	0	ubi->bgt_thread->se.cfs_rq->rq->donor->on_rq	0-1,3-255
PARAM_VALUE	0	ubi->bgt_thread->se.cfs_rq->rq->donor->wake_cpu	0-s32max
PARAM_VALUE	0	ubi->bgt_thread->se.cfs_rq->rq->fair_server.dl_timer.base->cpu_base->expires_next	0-s64max
PARAM_VALUE	0	ubi->bgt_thread->se.cfs_rq->rq->fair_server.inactive_timer.flags	0-4294967295
PARAM_VALUE	0	ubi->bgt_thread->se.rel_deadline	0
PARAM_VALUE	0	ubi->bgt_thread->se.run_node.rb_left	0,4096-ptr_max
PARAM_VALUE	0	ubi->bgt_thread->se.run_node.rb_right	0,4096-ptr_max
PARAM_VALUE	0	ubi->bgt_thread->throttle_node.next->next	4096-ptr_max
PARAM_VALUE	0	ubi->bgt_thread->throttle_node.next->prev	4096-ptr_max
PARAM_VALUE	0	ubi->bgt_thread->throttle_node.prev->next	4096-ptr_max
PARAM_VALUE	0	ubi->bgt_thread->throttle_node.prev->prev	4096-ptr_max
PARAM_VALUE	0	ubi->buf_mutex->first_waiter->task->blocked_lock.owner	(-4611686018427387904)-4611686018427387903
PARAM_VALUE	0	ubi->buf_mutex.dep_map->name	0-255
PARAM_VALUE	0	ubi->buf_mutex.first_waiter->list.prev->next	5159360019465732096
PARAM_VALUE	0	ubi->buf_mutex.first_waiter->list.prev->prev	5159360019465732096
PARAM_VALUE	0	ubi->buf_mutex.first_waiter->task->blocked_lock.dep_map->name	0-255
PARAM_VALUE	0	ubi->buf_mutex.first_waiter->task->blocked_lock.owner	(-1)
PARAM_VALUE	0	ubi->buf_mutex.first_waiter->task->blocked_lock.owner_cpu	4294967295
PARAM_VALUE	0	ubi->buf_mutex.first_waiter->task->blocked_lock.raw_lock.val.counter	s32min-s32max
PARAM_VALUE	0	ubi->buf_mutex.first_waiter->task->usage.refs.counter	s32min-s32max
PARAM_VALUE	0	ubi->cdev.kobj.release->timer->entry.pprev	4096-ptr_max
PARAM_VALUE	0	ubi->ckvol_mutex.dep_map->name	0-255
PARAM_VALUE	0	ubi->dbg.dfs_dir	0,4096-u64max
PARAM_VALUE	0	ubi->dbg.dfs_dir->d_inode->i_lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	ubi->dbg.dfs_dir->d_sb->s_fs_info->lookup_lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	ubi->dbg.dfs_dir->d_sib->next->pprev	1-u64max
PARAM_VALUE	0	ubi->dev->kobj.release.timer->entry.pprev	4096-ptr_max
PARAM_VALUE	0	ubi->dev.devres_head.next->next	4096-ptr_max
PARAM_VALUE	0	ubi->dev.devres_head.prev->next	4096-ptr_max
PARAM_VALUE	0	ubi->dev.devres_head.prev->prev	4096-ptr_max
PARAM_VALUE	0	ubi->dev.dma_io_tlb_mem->defpool.nareas	0-s32max
PARAM_VALUE	0	ubi->dev.dma_io_tlb_mem->dyn_alloc.data.counter	0,9007199250546704
PARAM_VALUE	0	ubi->dev.dma_io_tlb_mem->pools.next	0
PARAM_VALUE	0	ubi->dev.dma_io_tlb_mem->pools.prev	0,1473117533515866408
PARAM_VALUE	0	ubi->dev.dma_io_tlb_pools.next->next	4096-ptr_max
PARAM_VALUE	0	ubi->dev.dma_io_tlb_pools.prev->next	4096-ptr_max
PARAM_VALUE	0	ubi->dev.dma_io_tlb_pools.prev->prev	4096-ptr_max
PARAM_VALUE	0	ubi->dev.dma_pools.next->next	4096-ptr_max
PARAM_VALUE	0	ubi->dev.dma_pools.prev->next	4096-ptr_max
PARAM_VALUE	0	ubi->dev.dma_pools.prev->prev	4096-ptr_max
PARAM_VALUE	0	ubi->dev.driver_data->ops_mutex.first_waiter->task->blocked_lock.dep_map->name	0-255
PARAM_VALUE	0	ubi->dev.flags	4096-ptr_max
PARAM_VALUE	0	ubi->dev.iommu_group->mutex->first_waiter->task->blocked_lock.owner	(-4611686018427387904)-4611686018427387903
PARAM_VALUE	0	ubi->dev.iommu_group->mutex->wait_lock.owner	(-4611686018427387904)-4611686018427387903
PARAM_VALUE	0	ubi->dev.iommu_group->owner_cnt	0-4294967295
PARAM_VALUE	0	ubi->dev.kobj.entry.next->next	4096-ptr_max
PARAM_VALUE	0	ubi->dev.kobj.entry.prev->next	4096-ptr_max
PARAM_VALUE	0	ubi->dev.kobj.entry.prev->prev	4096-ptr_max
PARAM_VALUE	0	ubi->dev.kobj.parent->kset->kobj.release->timer->entry.pprev	4096-ptr_max
PARAM_VALUE	0	ubi->dev.kobj.parent->kset->list_lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	ubi->dev.kobj.release.work.flags	0-4294967295
PARAM_VALUE	0	ubi->dev.kobj.release.work.is_hard	0-1
PARAM_VALUE	0	ubi->dev.kobj.release.work.is_lazy	0-1
PARAM_VALUE	0	ubi->dev.kobj.release.work.is_queued	0-1
PARAM_VALUE	0	ubi->dev.kobj.release.work.is_soft	0-1
PARAM_VALUE	0	ubi->dev.links.consumers.next->next	4096-ptr_max
PARAM_VALUE	0	ubi->dev.links.consumers.prev->next	4096-ptr_max
PARAM_VALUE	0	ubi->dev.links.consumers.prev->prev	4096-ptr_max
PARAM_VALUE	0	ubi->dev.links.defer_sync.next->next	4096-ptr_max
PARAM_VALUE	0	ubi->dev.links.defer_sync.prev->next	4096-ptr_max
PARAM_VALUE	0	ubi->dev.links.defer_sync.prev->prev	4096-ptr_max
PARAM_VALUE	0	ubi->dev.links.suppliers.next->next	4096-ptr_max
PARAM_VALUE	0	ubi->dev.links.suppliers.prev->next	4096-ptr_max
PARAM_VALUE	0	ubi->dev.links.suppliers.prev->prev	4096-ptr_max
PARAM_VALUE	0	ubi->dev.parent->kobj.release.timer.is_hard	0-1
PARAM_VALUE	0	ubi->dev.parent->kobj.release.timer.is_lazy	0-1
PARAM_VALUE	0	ubi->dev.parent->kobj.release.timer.is_queued	0-1
PARAM_VALUE	0	ubi->dev.parent->kobj.release.timer.is_soft	0-1
PARAM_VALUE	0	ubi->dev.power.entry.next->next	4096-ptr_max
PARAM_VALUE	0	ubi->dev.power.entry.prev->next	4096-ptr_max
PARAM_VALUE	0	ubi->dev.power.entry.prev->prev	4096-ptr_max
PARAM_VALUE	0	ubi->dev.power.wait_queue.head.next->next	4096-ptr_max
PARAM_VALUE	0	ubi->dev.power.wait_queue.head.prev->next	4096-ptr_max
PARAM_VALUE	0	ubi->dev.power.wait_queue.head.prev->prev	4096-ptr_max
PARAM_VALUE	0	ubi->dev.power.wakeirq->status	0-4294967295
PARAM_VALUE	0	ubi->device_mutex.dep_map->name	0-255
PARAM_VALUE	0	ubi->fm_anchor->u.rb.rb_left	0,4096-ptr_max
PARAM_VALUE	0	ubi->fm_anchor->u.rb.rb_right	0,4096-ptr_max
PARAM_VALUE	0	ubi->fm_eba_sem.dep_map->name	0-255
PARAM_VALUE	0	ubi->fm_eba_sem.first_waiter->handoff_set	0-1
PARAM_VALUE	0	ubi->fm_eba_sem.first_waiter->type	0-1
PARAM_VALUE	0	ubi->fm_protect.dep_map->name	0-255
PARAM_VALUE	0	ubi->fm_protect.first_waiter->handoff_set	0-1
PARAM_VALUE	0	ubi->fm_protect.first_waiter->type	0-1
PARAM_VALUE	0	ubi->move_mutex.dep_map->name	0-255
PARAM_VALUE	0	ubi->wl_lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	ubi->work_sem.dep_map->name	0-255
PARAM_VALUE	0	ubi->work_sem.first_waiter->handoff_set	0-1
PARAM_VALUE	0	ubi->work_sem.first_waiter->list.next	2212933610777083904
PARAM_VALUE	0	ubi->work_sem.first_waiter->list.prev	2212933610777083904
PARAM_VALUE	0	ubi->work_sem.first_waiter->type	0-1
PARAM_VALUE	0	ubi->works.next->next	4096-ptr_max
PARAM_VALUE	0	ubi->works.prev->next	4096-ptr_max
PARAM_VALUE	0	ubi->works.prev->next->next	4096-ptr_max
PARAM_VALUE	0	ubi->works.prev->prev	4096-ptr_max
PARAM_VALUE	0	*ubi->buf_mutex.first_waiter->task->blocked_lock.owner	(-4611686018427387904)-4611686018427387903
PARAM_VALUE	0	*ubi->dbg->dfs_dir_name	0-255
PARAM_VALUE	0	*ubi->dbg.dfs_dir->d_inode->i_hash.next->pprev	1-u64max
PARAM_VALUE	0	*ubi->dbg.dfs_dir->d_inode->i_sb->s_fs_info->nm_info->nat_root.xa_head	(-4611686018427387904)-4611686018427387903
PARAM_VALUE	0	*ubi->dbg.dfs_dir->d_inode->i_sb->s_fs_info->wbuf_verify	0-255
PARAM_VALUE	0	*ubi->ubi_name	0-255
BUF_SIZE	0	ubi	7240
CAPPED_DATA	0	ubi->dbg.dfs_dir	1
DATA_SOURCE	0	ubi	r _kzalloc_noprof
MEM_ZERO	0	&ubi->dev.power.suspend_timer
NOCHECK_CALL
NO_OVERFLOW_SIMPLE	0	ubi->cdev.count
NO_OVERFLOW_SIMPLE	0	ubi->peb_count
NO_OVERFLOW_SIMPLE	0	ubi->peb_size

drivers/mtd/ubi/build.c ubi_detach_mtd_dev() -> ubi_wl_close()

Type	Parameter	Key	Value
PARAM_VALUE	0	ubi	4096-ptr_max
PARAM_VALUE	0	ubi->bgt_thread	0,4096-ptr_max
PARAM_VALUE	0	ubi->bgt_thread->__state	0,512
PARAM_VALUE	0	ubi->bgt_thread->blocked_on	0
PARAM_VALUE	0	ubi->bgt_thread->core_node.__rb_parent_color	1
PARAM_VALUE	0	ubi->bgt_thread->core_node.rb_left	4096-ptr_max
PARAM_VALUE	0	ubi->bgt_thread->core_node.rb_right	4096-ptr_max
PARAM_VALUE	0	ubi->bgt_thread->cpus_ptr	4096-ptr_max
PARAM_VALUE	0	ubi->bgt_thread->delays->blkio_count	0-4294967295
PARAM_VALUE	0	ubi->bgt_thread->delays->blkio_delay_max_ts.tv_nsec	0-999999999
PARAM_VALUE	0	ubi->bgt_thread->delays->lock.dep_map->name	0-255
PARAM_VALUE	0	ubi->bgt_thread->delays->lock.owner	(-1)
PARAM_VALUE	0	ubi->bgt_thread->delays->lock.owner_cpu	4294967295
PARAM_VALUE	0	ubi->bgt_thread->delays->lock.raw_lock.val.counter	0-s32max
PARAM_VALUE	0	ubi->bgt_thread->dl.inactive_timer.base->index	0-7
PARAM_VALUE	0	ubi->bgt_thread->dl.pi_se->pi_se	4096-ptr_max
PARAM_VALUE	0	ubi->bgt_thread->dl.rb_node.__rb_parent_color	1
PARAM_VALUE	0	ubi->bgt_thread->dl.rq->active_balance	s32min-s32max
PARAM_VALUE	0	ubi->bgt_thread->dl.rq->clock_update_flags	0-4294967295
PARAM_VALUE	0	ubi->bgt_thread->dl.rq->core_enabled	0-4294967295
PARAM_VALUE	0	ubi->bgt_thread->dl.rq->core_forceidle_count	0-4294967295
PARAM_VALUE	0	ubi->bgt_thread->dl.rq->core_forceidle_occupation	0-4294967295
PARAM_VALUE	0	ubi->bgt_thread->dl.rq->core_forceidle_seq	0-4294967295
PARAM_VALUE	0	ubi->bgt_thread->dl.rq->core_pick_seq	0-4294967295
PARAM_VALUE	0	ubi->bgt_thread->dl.rq->core_sched_seq	0-4294967295
PARAM_VALUE	0	ubi->bgt_thread->dl.rq->core_task_seq	0-4294967295
PARAM_VALUE	0	ubi->bgt_thread->dl.rq->cpu	s32min-s32max
PARAM_VALUE	0	ubi->bgt_thread->dl.rq->has_blocked_load	0-4294967295
PARAM_VALUE	0	ubi->bgt_thread->dl.rq->hrtick_sched	0-4294967295
PARAM_VALUE	0	ubi->bgt_thread->dl.rq->idle_balance	0-255
PARAM_VALUE	0	ubi->bgt_thread->dl.rq->membarrier_state	s32min-s32max
PARAM_VALUE	0	ubi->bgt_thread->dl.rq->nohz_idle_balance	0-255
PARAM_VALUE	0	ubi->bgt_thread->dl.rq->nohz_tick_stopped	0-4294967295
PARAM_VALUE	0	ubi->bgt_thread->dl.rq->nr_llc_running	0-4294967295
PARAM_VALUE	0	ubi->bgt_thread->dl.rq->nr_numa_running	0-4294967295
PARAM_VALUE	0	ubi->bgt_thread->dl.rq->nr_pinned	0-4294967295
PARAM_VALUE	0	ubi->bgt_thread->dl.rq->nr_pref_llc_running	0-4294967295
PARAM_VALUE	0	ubi->bgt_thread->dl.rq->nr_preferred_running	0-4294967295
PARAM_VALUE	0	ubi->bgt_thread->dl.rq->nr_running	0-4294967295
PARAM_VALUE	0	ubi->bgt_thread->dl.rq->numa_migrate_on	0-4294967295
PARAM_VALUE	0	ubi->bgt_thread->dl.rq->online	s32min-s32max
PARAM_VALUE	0	ubi->bgt_thread->dl.rq->push_busy	0-4294967295
PARAM_VALUE	0	ubi->bgt_thread->dl.rq->push_cpu	s32min-s32max
PARAM_VALUE	0	ubi->bgt_thread->dl.rq->sched_count	0-4294967295
PARAM_VALUE	0	ubi->bgt_thread->dl.rq->sched_goidle	0-4294967295
PARAM_VALUE	0	ubi->bgt_thread->dl.rq->ticks_without_resched	s32min-s32max
PARAM_VALUE	0	ubi->bgt_thread->dl.rq->ttwu_count	0-4294967295
PARAM_VALUE	0	ubi->bgt_thread->dl.rq->ttwu_local	0-4294967295
PARAM_VALUE	0	ubi->bgt_thread->dl.rq->ttwu_pending	0-4294967295
PARAM_VALUE	0	ubi->bgt_thread->dl.rq->uclamp_flags	0-4294967295
PARAM_VALUE	0	ubi->bgt_thread->dl.rq->yld_count	0-4294967295
PARAM_VALUE	0	ubi->bgt_thread->flags	0,67108864-u32max
PARAM_VALUE	0	ubi->bgt_thread->is_blocked	0
PARAM_VALUE	0	ubi->bgt_thread->migration_disabled	0-1
PARAM_VALUE	0	ubi->bgt_thread->mm->mm_cid.irq_work.node.a_flags.counter	0-s32max
PARAM_VALUE	0	ubi->bgt_thread->mm->mm_cid.max_cids	0-s32max
PARAM_VALUE	0	ubi->bgt_thread->mm->mm_cid.pcpu_thrs	1-1073741823
PARAM_VALUE	0	ubi->bgt_thread->mm->mm_cid.update_deferred	1
PARAM_VALUE	0	ubi->bgt_thread->on_rq	0-1,3-255
PARAM_VALUE	0	ubi->bgt_thread->pi_lock.dep_map->name	0-255
PARAM_VALUE	0	ubi->bgt_thread->pi_lock.owner	(-1)
PARAM_VALUE	0	ubi->bgt_thread->pi_lock.owner_cpu	u32max
PARAM_VALUE	0	ubi->bgt_thread->pushable_dl_tasks.__rb_parent_color	1
PARAM_VALUE	0	ubi->bgt_thread->pushable_tasks.node_list.next->next	4096-ptr_max
PARAM_VALUE	0	ubi->bgt_thread->pushable_tasks.node_list.next->prev	4096-ptr_max
PARAM_VALUE	0	ubi->bgt_thread->pushable_tasks.node_list.prev->next	4096-ptr_max
PARAM_VALUE	0	ubi->bgt_thread->pushable_tasks.node_list.prev->prev	4096-ptr_max
PARAM_VALUE	0	ubi->bgt_thread->pushable_tasks.prio_list.next->next	4096-ptr_max
PARAM_VALUE	0	ubi->bgt_thread->pushable_tasks.prio_list.next->prev	4096-ptr_max
PARAM_VALUE	0	ubi->bgt_thread->pushable_tasks.prio_list.prev->next	4096-ptr_max
PARAM_VALUE	0	ubi->bgt_thread->pushable_tasks.prio_list.prev->prev	4096-ptr_max
PARAM_VALUE	0	ubi->bgt_thread->rcu.func	1-u64max
PARAM_VALUE	0	ubi->bgt_thread->rcu.next	0
PARAM_VALUE	0	ubi->bgt_thread->rseq.event.ids_changed	1
PARAM_VALUE	0	ubi->bgt_thread->rt.run_list.next->next	4096-ptr_max
PARAM_VALUE	0	ubi->bgt_thread->rt.run_list.next->prev	4096-ptr_max
PARAM_VALUE	0	ubi->bgt_thread->rt.run_list.prev->next	4096-ptr_max
PARAM_VALUE	0	ubi->bgt_thread->rt.run_list.prev->prev	4096-ptr_max
PARAM_VALUE	0	ubi->bgt_thread->saved_state	0
PARAM_VALUE	0	ubi->bgt_thread->sched_migrated	1
PARAM_VALUE	0	ubi->bgt_thread->sched_task_group->idle	s32min-s32max
PARAM_VALUE	0	ubi->bgt_thread->se.avg.util_avg	0-u32max
PARAM_VALUE	0	ubi->bgt_thread->se.cfs_rq->pelt_clock_throttled	1
PARAM_VALUE	0	ubi->bgt_thread->se.cfs_rq->propagate	1
PARAM_VALUE	0	ubi->bgt_thread->se.cfs_rq->removed.lock.owner	(-1)
PARAM_VALUE	0	ubi->bgt_thread->se.cfs_rq->removed.lock.owner_cpu	4294967295
PARAM_VALUE	0	ubi->bgt_thread->se.cfs_rq->removed.lock.raw_lock.val.counter	0-s32max
PARAM_VALUE	0	ubi->bgt_thread->se.cfs_rq->rq->curr->mm->sc_stat.cpu	(-1)
PARAM_VALUE	0	ubi->bgt_thread->se.cfs_rq->rq->curr->pref_llc_queued	0-1
PARAM_VALUE	0	ubi->bgt_thread->se.cfs_rq->rq->donor->__state	0,512
PARAM_VALUE	0	ubi->bgt_thread->se.cfs_rq->rq->donor->core_node.__rb_parent_color	1
PARAM_VALUE	0	ubi->bgt_thread->se.cfs_rq->rq->donor->dl.dl_timer.base->cpu_base->expires_next	0-s64max
PARAM_VALUE	0	ubi->bgt_thread->se.cfs_rq->rq->donor->mm->mm_cid.irq_work.node.a_flags.counter	0-s32max
PARAM_VALUE	0	ubi->bgt_thread->se.cfs_rq->rq->donor->on_rq	0-1,3-255
PARAM_VALUE	0	ubi->bgt_thread->se.cfs_rq->rq->donor->pushable_dl_tasks.__rb_parent_color	1
PARAM_VALUE	0	ubi->bgt_thread->se.cfs_rq->rq->donor->rseq.event.ids_changed	1
PARAM_VALUE	0	ubi->bgt_thread->se.cfs_rq->rq->donor->sched_migrated	1
PARAM_VALUE	0	ubi->bgt_thread->se.cfs_rq->rq->donor->wake_cpu	0-s32max
PARAM_VALUE	0	ubi->bgt_thread->se.cfs_rq->rq->fair_server.dl_timer.base->cpu_base->expires_next	0-s64max
PARAM_VALUE	0	ubi->bgt_thread->se.cfs_rq->rq->fair_server.inactive_timer.flags	0-4294967295
PARAM_VALUE	0	ubi->bgt_thread->se.cfs_rq->rq->fair_server.rb_node.__rb_parent_color	1
PARAM_VALUE	0	ubi->bgt_thread->se.group_node.next->next	4096-ptr_max
PARAM_VALUE	0	ubi->bgt_thread->se.group_node.next->prev	4096-ptr_max
PARAM_VALUE	0	ubi->bgt_thread->se.group_node.prev->next	4096-ptr_max
PARAM_VALUE	0	ubi->bgt_thread->se.group_node.prev->prev	4096-ptr_max
PARAM_VALUE	0	ubi->bgt_thread->throttle_node.next->next	4096-ptr_max
PARAM_VALUE	0	ubi->bgt_thread->throttle_node.next->prev	4096-ptr_max
PARAM_VALUE	0	ubi->bgt_thread->throttle_node.prev->next	4096-ptr_max
PARAM_VALUE	0	ubi->bgt_thread->throttle_node.prev->prev	4096-ptr_max
PARAM_VALUE	0	ubi->bgt_thread->wake_cpu	0-s32max
PARAM_VALUE	0	ubi->bgt_thread->worker_private	4096-ptr_max
PARAM_VALUE	0	ubi->bgt_thread->worker_private->exited.done	0-4294967293,4294967295
PARAM_VALUE	0	ubi->bgt_thread->worker_private->exited.wait.lock.dep_map->name	0-255
PARAM_VALUE	0	ubi->bgt_thread->worker_private->exited.wait.lock.owner	(-1)
PARAM_VALUE	0	ubi->bgt_thread->worker_private->exited.wait.lock.owner_cpu	4294967295
PARAM_VALUE	0	ubi->cdev.kobj.release->timer->entry.pprev	4096-ptr_max
PARAM_VALUE	0	ubi->cdev.kobj.release.work.entry.next->prev	4096-ptr_max
PARAM_VALUE	0	ubi->dbg.dfs_dir	0,4096-u64max
PARAM_VALUE	0	ubi->dbg.dfs_dir->d_inode->i_lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	ubi->dbg.dfs_dir->d_sb->s_fs_info->lookup_lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	ubi->dbg.dfs_dir->d_sib->next->pprev	1-u64max
PARAM_VALUE	0	ubi->dev->driver_data->cis_virt	(-4611686018427387904)-4611686018427387903
PARAM_VALUE	0	ubi->dev->driver_data->fake_cis	0-255
PARAM_VALUE	0	ubi->dev->driver_data->skt_mutex.first_waiter->task->blocked_lock.owner	(-4611686018427387904)-4611686018427387903
PARAM_VALUE	0	ubi->dev->kobj.parent->kset->kobj.release.timer->entry->next->pprev	1-u64max
PARAM_VALUE	0	ubi->dev->kobj.release.timer->entry->next->pprev	1-u64max
PARAM_VALUE	0	ubi->dev->kobj.release.timer->entry.pprev	4096-ptr_max
PARAM_VALUE	0	ubi->dev->p->knode_bus.n_klist	(-4611686018427387904)-4611686018427387903
PARAM_VALUE	0	ubi->dev->p->knode_class.n_klist	(-4611686018427387904)-4611686018427387903
PARAM_VALUE	0	ubi->dev->p->knode_driver.n_klist	(-4611686018427387904)-4611686018427387903
PARAM_VALUE	0	ubi->dev->p->knode_parent.n_klist	(-4611686018427387904)-4611686018427387903
PARAM_VALUE	0	ubi->dev.devres_lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	ubi->dev.driver_data->battery_dev->id	(-2)
PARAM_VALUE	0	ubi->dev.driver_data->callback->add	5235430000054906880
PARAM_VALUE	0	ubi->dev.driver_data->callback->early_resume	6956900869090054144
PARAM_VALUE	0	ubi->dev.driver_data->callback->remove	1719268733136482304
PARAM_VALUE	0	ubi->dev.driver_data->callback->requery	4713442613417914368
PARAM_VALUE	0	ubi->dev.driver_data->callback->resume	5068206944467017728
PARAM_VALUE	0	ubi->dev.driver_data->callback->suspend	2738892915008757760
PARAM_VALUE	0	ubi->dev.driver_data->callback->validate	4934365872137547776
PARAM_VALUE	0	ubi->dev.driver_data->cdev	0
PARAM_VALUE	0	ubi->dev.driver_data->cdev->kobj.release.timer.is_hard	0-1
PARAM_VALUE	0	ubi->dev.driver_data->cdev->kobj.release.timer.is_lazy	0-1
PARAM_VALUE	0	ubi->dev.driver_data->cdev->kobj.release.timer.is_queued	0-1
PARAM_VALUE	0	ubi->dev.driver_data->cdev->kobj.release.timer.is_soft	0-1
PARAM_VALUE	0	ubi->dev.driver_data->cis_mem.card_start	0-4294967295
PARAM_VALUE	0	ubi->dev.driver_data->cis_mem.flags	0,2-254
PARAM_VALUE	0	ubi->dev.driver_data->cis_mem.res	0
PARAM_VALUE	0	ubi->dev.driver_data->cis_virt	0
PARAM_VALUE	0	ubi->dev.driver_data->d_ref.refcount.refs.counter	s32min-s32max
PARAM_VALUE	0	ubi->dev.driver_data->detaching.counter	s32min-s32max
PARAM_VALUE	0	ubi->dev.driver_data->dev.kobj.kref.refcount.refs.counter	s32min-s32max
PARAM_VALUE	0	ubi->dev.driver_data->dev.kobj.release.cpu	s32min-s32max
PARAM_VALUE	0	ubi->dev.driver_data->dev.kobj.release.timer.flags	0-4294967295
PARAM_VALUE	0	ubi->dev.driver_data->dev.kobj.release.timer.is_hard	0-1
PARAM_VALUE	0	ubi->dev.driver_data->dev.kobj.release.timer.is_lazy	0-1
PARAM_VALUE	0	ubi->dev.driver_data->dev.kobj.release.timer.is_queued	0-1
PARAM_VALUE	0	ubi->dev.driver_data->dev.kobj.release.timer.is_soft	0-1
PARAM_VALUE	0	ubi->dev.driver_data->dev.kobj.release.work.flags	0-4294967295
PARAM_VALUE	0	ubi->dev.driver_data->dev.kobj.release.work.is_hard	0-1
PARAM_VALUE	0	ubi->dev.driver_data->dev.kobj.release.work.is_lazy	0-1
PARAM_VALUE	0	ubi->dev.driver_data->dev.kobj.release.work.is_queued	0-1
PARAM_VALUE	0	ubi->dev.driver_data->dev.kobj.release.work.is_soft	0-1
PARAM_VALUE	0	ubi->dev.driver_data->dev.parent->kobj.release.wq->dfl_pwq	0-s64max
PARAM_VALUE	0	ubi->dev.driver_data->dev.parent->kobj.release.wq->saved_max_active	s32min-s32max
PARAM_VALUE	0	ubi->dev.driver_data->dev.parent->kobj.release.wq->saved_min_active	s32min-s32max
PARAM_VALUE	0	ubi->dev.driver_data->device_count	0-1
PARAM_VALUE	0	ubi->dev.driver_data->functions	0-u16max
PARAM_VALUE	0	ubi->dev.driver_data->ops_mutex->first_waiter->task->blocked_lock.owner	(-4611686018427387904)-4611686018427387903
PARAM_VALUE	0	ubi->dev.driver_data->ops_mutex.dep_map->name	0-255
PARAM_VALUE	0	ubi->dev.driver_data->ops_mutex.first_waiter->list.prev->next	5159360019465732096
PARAM_VALUE	0	ubi->dev.driver_data->ops_mutex.first_waiter->list.prev->prev	0,5159360019465732096
PARAM_VALUE	0	ubi->dev.driver_data->ops_mutex.first_waiter->magic	5159360019465732096
PARAM_VALUE	0	ubi->dev.driver_data->ops_mutex.first_waiter->task->blocked_lock.dep_map->name	0-255
PARAM_VALUE	0	ubi->dev.driver_data->ops_mutex.first_waiter->task->blocked_lock.owner	(-1)
PARAM_VALUE	0	ubi->dev.driver_data->ops_mutex.first_waiter->task->blocked_lock.owner_cpu	4294967295
PARAM_VALUE	0	ubi->dev.driver_data->ops_mutex.first_waiter->task->blocked_on	(-1)-0
PARAM_VALUE	0	ubi->dev.driver_data->ops_mutex.first_waiter->task->usage.refs.counter	s32min-s32max
PARAM_VALUE	0	ubi->dev.driver_data->ops_mutex.osq.tail.counter	s32min-s32max
PARAM_VALUE	0	ubi->dev.driver_data->pcmcia_pfc	0-255
PARAM_VALUE	0	ubi->dev.driver_data->present.counter	s32min-s32max
PARAM_VALUE	0	ubi->dev.driver_data->resource_setup_done	0-255
PARAM_VALUE	0	ubi->dev.driver_data->sfd_lock.dep_map->name	0-255
PARAM_VALUE	0	ubi->dev.driver_data->sfd_lock.raw_lock.cnts.counter	s32min-s32max
PARAM_VALUE	0	ubi->dev.driver_data->skt_mutex.dep_map->name	0-255
PARAM_VALUE	0	ubi->dev.driver_data->skt_mutex.first_waiter->list.prev->next	5159360019465732096
PARAM_VALUE	0	ubi->dev.driver_data->skt_mutex.first_waiter->list.prev->prev	5159360019465732096
PARAM_VALUE	0	ubi->dev.driver_data->skt_mutex.first_waiter->task->blocked_lock.dep_map->name	0-255
PARAM_VALUE	0	ubi->dev.driver_data->skt_mutex.first_waiter->task->blocked_lock.owner	(-1)
PARAM_VALUE	0	ubi->dev.driver_data->skt_mutex.first_waiter->task->blocked_lock.owner_cpu	4294967295
PARAM_VALUE	0	ubi->dev.driver_data->skt_mutex.first_waiter->task->blocked_on	(-1)-0
PARAM_VALUE	0	ubi->dev.driver_data->skt_mutex.first_waiter->task->usage.refs.counter	s32min-s32max
PARAM_VALUE	0	ubi->dev.driver_data->skt_mutex.osq.tail.counter	0-s32max
PARAM_VALUE	0	ubi->dev.driver_data->state	0-4294967295
PARAM_VALUE	0	ubi->dev.driver_data->touch_dev->id	(-2)
PARAM_VALUE	0	ubi->dev.fwnode->dev	0
PARAM_VALUE	0	ubi->dev.groups	0,4096-ptr_max
PARAM_VALUE	0	ubi->dev.iommu_group->mutex->first_waiter->task->blocked_lock.owner	(-4611686018427387904)-4611686018427387903
PARAM_VALUE	0	ubi->dev.iommu_group->mutex->wait_lock.owner	(-4611686018427387904)-4611686018427387903
PARAM_VALUE	0	ubi->dev.iommu_group->owner_cnt	0-4294967295
PARAM_VALUE	0	ubi->dev.kobj.parent	0
PARAM_VALUE	0	ubi->dev.kobj.parent->kset->kobj.release->timer->entry.pprev	4096-ptr_max
PARAM_VALUE	0	ubi->dev.kobj.parent->kset->kobj.release.timer.is_hard	0-1
PARAM_VALUE	0	ubi->dev.kobj.parent->kset->kobj.release.timer.is_lazy	0-1
PARAM_VALUE	0	ubi->dev.kobj.parent->kset->kobj.release.timer.is_queued	0-1
PARAM_VALUE	0	ubi->dev.kobj.parent->kset->kobj.release.timer.is_soft	0-1
PARAM_VALUE	0	ubi->dev.kobj.parent->kset->list_lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	ubi->dev.kobj.parent->release.work.entry.next->prev	4096-ptr_max
PARAM_VALUE	0	ubi->dev.kobj.parent->sd	0
PARAM_VALUE	0	ubi->dev.kobj.parent->state_in_sysfs	0
PARAM_VALUE	0	ubi->dev.kobj.release->timer->entry.pprev	4096-ptr_max
PARAM_VALUE	0	ubi->dev.kobj.release.work.flags	0-4294967295
PARAM_VALUE	0	ubi->dev.kobj.release.work.is_hard	0-1
PARAM_VALUE	0	ubi->dev.kobj.release.work.is_lazy	0-1
PARAM_VALUE	0	ubi->dev.kobj.release.work.is_queued	0-1
PARAM_VALUE	0	ubi->dev.kobj.release.work.is_soft	0-1
PARAM_VALUE	0	ubi->dev.kobj.sd	0
PARAM_VALUE	0	ubi->dev.kobj.sd->__parent	0
PARAM_VALUE	0	ubi->dev.kobj.sd->dir.children.rb_node	0
PARAM_VALUE	0	ubi->dev.kobj.state_in_sysfs	0
PARAM_VALUE	0	ubi->dev.links.defer_sync.next	4096-ptr_max
PARAM_VALUE	0	ubi->dev.links.defer_sync.next->next	4096-ptr_max
PARAM_VALUE	0	ubi->dev.links.defer_sync.next->prev	4096-ptr_max
PARAM_VALUE	0	ubi->dev.links.defer_sync.prev	4096-ptr_max
PARAM_VALUE	0	ubi->dev.links.defer_sync.prev->next	4096-ptr_max
PARAM_VALUE	0	ubi->dev.links.defer_sync.prev->prev	4096-ptr_max
PARAM_VALUE	0	ubi->dev.links.status	0,3
PARAM_VALUE	0	ubi->dev.mutex->first_waiter->task->blocked_lock.owner	(-4611686018427387904)-4611686018427387903
PARAM_VALUE	0	ubi->dev.p	4096-ptr_max
PARAM_VALUE	0	ubi->dev.p->dead	0-1
PARAM_VALUE	0	ubi->dev.p->deferred_probe_reason	0
PARAM_VALUE	0	ubi->dev.p->knode_bus.n_ref.refcount.refs.counter	s32min-s32max
PARAM_VALUE	0	ubi->dev.p->knode_class->n_klist	(-4611686018427387904)-4611686018427387903
PARAM_VALUE	0	ubi->dev.p->knode_class.n_klist	0
PARAM_VALUE	0	ubi->dev.p->knode_driver.n_klist	0
PARAM_VALUE	0	ubi->dev.p->knode_driver.n_ref.refcount.refs.counter	s32min-s32max
PARAM_VALUE	0	ubi->dev.p->knode_parent->n_klist	(-4611686018427387904)-4611686018427387903
PARAM_VALUE	0	ubi->dev.p->knode_parent.n_klist	0
PARAM_VALUE	0	ubi->dev.parent->kobj.release->timer->entry.pprev	4096-ptr_max
PARAM_VALUE	0	ubi->dev.parent->kobj.release.timer.is_hard	0-1
PARAM_VALUE	0	ubi->dev.parent->kobj.release.timer.is_lazy	0-1
PARAM_VALUE	0	ubi->dev.parent->kobj.release.timer.is_queued	0-1
PARAM_VALUE	0	ubi->dev.parent->kobj.release.timer.is_soft	0-1
PARAM_VALUE	0	ubi->dev.parent->kobj.release.work.entry.next->prev	4096-ptr_max
PARAM_VALUE	0	ubi->dev.parent->kobj.release.work.flags	0-4294967295
PARAM_VALUE	0	ubi->dev.parent->kobj.release.work.is_hard	0-1
PARAM_VALUE	0	ubi->dev.parent->kobj.release.work.is_lazy	0-1
PARAM_VALUE	0	ubi->dev.parent->kobj.release.work.is_queued	0-1
PARAM_VALUE	0	ubi->dev.parent->kobj.release.work.is_soft	0-1
PARAM_VALUE	0	ubi->dev.parent->kobj.release.wq->dfl_pwq	0-s64max
PARAM_VALUE	0	ubi->dev.parent->kobj.release.wq->saved_max_active	s32min-s32max
PARAM_VALUE	0	ubi->dev.parent->kobj.release.wq->saved_min_active	s32min-s32max
PARAM_VALUE	0	ubi->dev.pm_domain	0,4096-ptr_max
PARAM_VALUE	0	ubi->dev.power.driver_flags	0
PARAM_VALUE	0	ubi->dev.power.entry.next->next	4096-ptr_max
PARAM_VALUE	0	ubi->dev.power.entry.prev->next	4096-ptr_max
PARAM_VALUE	0	ubi->dev.power.entry.prev->prev	4096-ptr_max
PARAM_VALUE	0	ubi->dev.power.in_dpm_list	0
PARAM_VALUE	0	ubi->dev.power.irq_safe	0
PARAM_VALUE	0	ubi->dev.power.needs_force_resume	0
PARAM_VALUE	0	ubi->dev.power.qos->flags_req	0
PARAM_VALUE	0	ubi->dev.power.subsys_data	0,4096-ptr_max
PARAM_VALUE	0	ubi->dev.power.subsys_data->domain_data	0
PARAM_VALUE	0	ubi->dev.power.use_autosuspend	0
PARAM_VALUE	0	ubi->dev.power.wakeirq->status	0-4294967295
PARAM_VALUE	0	ubi->dev.type	0,4096-ptr_max
PARAM_VALUE	0	ubi->dev.type->groups	0,4096-ptr_max
PARAM_VALUE	0	ubi->device_mutex.dep_map->name	0-255
PARAM_VALUE	0	ubi->device_mutex.first_waiter->list.prev->next	5159360019465732096
PARAM_VALUE	0	ubi->device_mutex.first_waiter->task->usage.refs.counter	s32min-s32max
PARAM_VALUE	0	ubi->fm_eba_sem.first_waiter->handoff_set	0-1
PARAM_VALUE	0	ubi->fm_eba_sem.first_waiter->type	0-1
PARAM_VALUE	0	ubi->fm_protect.first_waiter->handoff_set	0-1
PARAM_VALUE	0	ubi->fm_protect.first_waiter->type	0-1
PARAM_VALUE	0	ubi->fm_work.lockdep_map->name	0-255
PARAM_VALUE	0	ubi->work_sem.first_waiter->handoff_set	0-1
PARAM_VALUE	0	ubi->work_sem.first_waiter->type	0-1
PARAM_VALUE	0	*ubi->dbg.dfs_dir->d_inode->i_hash.next->pprev	1-u64max
PARAM_VALUE	0	*ubi->dbg.dfs_dir->d_inode->i_sb->s_fs_info->nm_info->nat_root.xa_head	(-4611686018427387904)-4611686018427387903
PARAM_VALUE	0	*ubi->dbg.dfs_dir->d_inode->i_sb->s_fs_info->wbuf_verify	0-255
CAPPED_DATA	0	ubi->bgt_thread	1
CAPPED_DATA	0	ubi->dbg.dfs_dir	1
CAPPED_DATA	0	ubi->dev.physical_location	1
CAPPED_DATA	0	ubi->vtbl_slots	1
CAPPED_DATA	0	&ubi->fm_work	1
DATA_SOURCE	0	ubi	r ubi_get_device
NOCHECK_CALL
LOCK2		global &ubi_devices_mutex