ubi_io_read identifier - Linux source code next-20260811

Projects

linux

Versions

FIXME
- FIXME
  - next-20260811

Documented in 1 files:

drivers/mtd/ubi/io.c, line 91

Defined in 1 files as a prototype:

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

Defined in 1 files as a function:

drivers/mtd/ubi/io.c, line 113 (as a function)

Referenced in 4 files:

Smatch caller information:

287600322642ac2d ubi_io_read_data() -> ubi_io_read()

Type	Parameter	Key	Value
PARAM_VALUE	0	ubi	4096-ptr_max
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->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->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->debugfs	0
PARAM_VALUE	0	ubi->dev.dma_io_tlb_mem->defpool.vaddr	0
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.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.ktype->child_ns_type	0,2344685749105987584,4089303432171261952,6274457576243130368,8186263191508828160
PARAM_VALUE	0	ubi->dev.kobj.ktype->get_ownership	0,754295003445952512,1770093955000758272,2031763320308453376,9073032014207823872,9089295143347961856
PARAM_VALUE	0	ubi->dev.kobj.ktype->namespace	0,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->fm_protect.first_waiter->list.next	2624917664208203776
PARAM_VALUE	0	ubi->fm_protect.first_waiter->list.prev	2624917664208203776
PARAM_VALUE	0	ubi->fm_protect.first_waiter->type	0-1
PARAM_VALUE	0	ubi->fm_protect.osq.tail.counter	0-s32max
PARAM_VALUE	0	ubi->fm_protect.wait_lock.dep_map->name	0-255
PARAM_VALUE	0	ubi->fm_protect.wait_lock.owner	(-1)
PARAM_VALUE	0	ubi->fm_protect.wait_lock.owner_cpu	u32max
PARAM_VALUE	1	buf	4096-ptr_max
PARAM_VALUE	2	pnum	0-s32max
PARAM_VALUE	4	len	312
BUF_SIZE	0	ubi->dev.class	(-1),96
BUF_SIZE	0	ubi->dev.groups	(-1),16
BUF_SIZE	0	ubi->dev.parent	(-1),1616
BUF_SIZE	0	ubi->mtd	s32min,(-1),1-s32max
BUF_SIZE	0	ubi->peb_buf	s32min-(-1),1-s32max
BUF_SIZE	1	buf	312
BUF_SIZE	1	buf	312
DATA_SOURCE	0	ubi	$0
DATA_SOURCE	1	buf	$1
DATA_SOURCE	2	pnum	$2
DATA_SOURCE	4	len	$4
STR_LEN	0	ubi->dev.parent->driver_data	(-1)
STR_LEN	0	ubi->mtd	(-1),18
STR_LEN	0	ubi->mtd->dev.driver_data	(-1)
STR_LEN	0	ubi->mtd->name	(-1)
MEM_ZERO	0	ubi->fm_buf
RX_PATH
TASK_NOT_RUNNING
USER_DATA	0	ubi->ubi_num	0-31
USER_DATA	0	ubi->vid_hdr_aloffset	0-s32max[c]
USER_DATA	0	ubi->vid_hdr_offset	1-s32max[c]
USER_DATA	0	*ubi->peb_buf	0-255
NO_OVERFLOW_SIMPLE	0	ubi->mtd->erasesize
NO_OVERFLOW_SIMPLE	0	ubi->peb_size
UNITS	3	offset	unit_byte
UNITS	4	len	unit_byte
LOCK2		global &ubi_devices_mutex
LOCK2	0	&ubi->fm_protect
HALF_LOCKED2		global &mtd_table_mutex
TYPE_LOCK		(struct ubi_device)->fm_protect

drivers/mtd/ubi/vtbl.c ubi_io_read_data() -> ubi_io_read()

Type	Parameter	Key	Value
PARAM_VALUE	0	ubi	4096-ptr_max
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->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->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->debugfs	0
PARAM_VALUE	0	ubi->dev.dma_io_tlb_mem->defpool.vaddr	0
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.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.ktype->child_ns_type	0,2344685749105987584,4089303432171261952,6274457576243130368,8186263191508828160
PARAM_VALUE	0	ubi->dev.kobj.ktype->get_ownership	0,754295003445952512,1770093955000758272,2031763320308453376,9073032014207823872,9089295143347961856
PARAM_VALUE	0	ubi->dev.kobj.ktype->namespace	0,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->leb_size	s32min-(-1),172-s32max
PARAM_VALUE	0	ubi->vtbl_size	0-s32max
PARAM_VALUE	0	ubi->vtbl_slots	1-128
PARAM_VALUE	1	buf	1-u64max
PARAM_VALUE	1	*buf	(-4611686018427387904)-s32max
PARAM_VALUE	4	len	0-s32max
CAPPED_DATA	0	ubi->vtbl_size	1
CAPPED_DATA	4	len	1
DATA_SOURCE	0	ubi	$0
DATA_SOURCE	1	buf	$1
DATA_SOURCE	2	pnum	$2
DATA_SOURCE	4	len	$4
FUZZY_MAX	0	ubi->leb_size	172
FUZZY_MAX	0	ubi->vtbl_slots	128
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)
HARD_MAX	0	ubi->vtbl_slots	128
RX_PATH
TASK_NOT_RUNNING
USER_DATA	0	*ubi->peb_buf	0-255
NO_OVERFLOW_SIMPLE	0	ubi->mtd->erasesize
NO_OVERFLOW_SIMPLE	0	ubi->peb_size
UNITS	3	offset	unit_byte
UNITS	4	len	unit_byte
LOCK2		global &ubi_devices_mutex
HALF_LOCKED2		global &mtd_table_mutex

drivers/mtd/ubi/io.c self_check_peb_ec_hdr() -> ubi_io_read()

Type	Parameter	Key	Value
PARAM_VALUE	0	ubi	4096-ptr_max
PARAM_VALUE	0	ubi->bgt_thread->sched_class->set_cpus_allowed	0,1927640468783054848,5094656021401329664,7127180339355369472
PARAM_VALUE	0	ubi->dbg.chk_io	1
PARAM_VALUE	0	ubi->dev.dma_io_tlb_mem->phys_limit	0-s64max
PARAM_VALUE	0	ubi->dev.kobj.parent->sd->attr.open->nr_mmapped	0-4294967295
PARAM_VALUE	0	ubi->dev.kobj.sd->attr.open->nr_mmapped	0-4294967295
PARAM_VALUE	0	ubi->dev.power.wakeirq->status	0-4294967295
PARAM_VALUE	0	ubi->ec_hdr_alsize	0-4000000
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->work_sem.first_waiter->handoff_set	0-1
PARAM_VALUE	0	ubi->work_sem.first_waiter->type	0-1
PARAM_VALUE	1	buf	16,4096-ptr_max
PARAM_VALUE	3	offset	0
PARAM_VALUE	4	len	64
BUF_SIZE	0	ubi	(-1),128
BUF_SIZE	0	ubi	(-1),128
BUF_SIZE	0	ubi->dev.class	(-1),96
BUF_SIZE	0	ubi->dev.groups	(-1),16
BUF_SIZE	0	ubi->dev.parent	(-1),1616
BUF_SIZE	0	ubi->lookuptbl	(-1),8
BUF_SIZE	0	ubi->peb_buf	s32min-(-1),1-s32max
BUF_SIZE	1	buf	0-s32max,18446744071562067968-u64max
DATA_SOURCE	0	ubi	$0
DATA_SOURCE	1	buf	r _kzalloc_noprof
DATA_SOURCE	2	pnum	$1
RX_PATH
TASK_NOT_RUNNING
USER_DATA	0	ubi->ubi_num	0-31
USER_DATA	0	ubi->vid_hdr_aloffset	0-s32max[c]
USER_DATA	0	ubi->vid_hdr_offset	1-s32max[c]
USER_DATA	0	*ubi->peb_buf	0-255
NO_OVERFLOW_SIMPLE	0	ubi->bgt_thread->dl.pi_se->dl_runtime
NO_OVERFLOW_SIMPLE	0	ubi->cdev.count
NO_OVERFLOW_SIMPLE	0	ubi->ec_hdr_alsize
NO_OVERFLOW_SIMPLE	0	ubi->fm_size
NO_OVERFLOW_SIMPLE	0	ubi->leb_size
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_alsize
NO_OVERFLOW_SIMPLE	0	ubi->vtbl_size
NO_OVERFLOW_SIMPLE	2	pnum
UNITS	4	len	unit_byte
HALF_LOCKED2		&le->mutex
HALF_LOCKED2		global &ubi_devices_mutex
HALF_LOCKED2	0	&ubi->buf_mutex
HALF_LOCKED2	0	&ubi->device_mutex
HALF_LOCKED2	0	&ubi->fm_eba_sem
HALF_LOCKED2	0	&ubi->fm_protect
HALF_LOCKED2	0	&ubi->move_mutex
HALF_LOCKED2	0	&ubi->work_sem

drivers/mtd/ubi/io.c self_check_peb_vid_hdr() -> ubi_io_read()

Type	Parameter	Key	Value
PARAM_VALUE	0	ubi	4096-ptr_max
PARAM_VALUE	0	ubi->bgt_thread->sched_class->set_cpus_allowed	0,1927640468783054848,5094656021401329664,7127180339355369472
PARAM_VALUE	0	ubi->dbg.chk_io	1
PARAM_VALUE	0	ubi->dev.dma_io_tlb_mem->phys_limit	0-s64max
PARAM_VALUE	0	ubi->dev.kobj.parent->sd->attr.open->nr_mmapped	0-4294967295
PARAM_VALUE	0	ubi->dev.kobj.sd->attr.open->nr_mmapped	0-4294967295
PARAM_VALUE	0	ubi->dev.power.wakeirq->status	0-4294967295
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->ro_mode	0
PARAM_VALUE	0	ubi->vid_hdr_alsize	0-4000000
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	1	buf	16,4096-ptr_max
PARAM_VALUE	4	len	0-4000000
BUF_SIZE	0	ubi	(-1),128
BUF_SIZE	0	ubi	(-1),128
BUF_SIZE	0	ubi->lookuptbl	(-1),8
BUF_SIZE	1	buf	s32min-(-2),1-s32max
BUF_SIZE	1	buf	s32min-(-2),1-s32max
CAPPED_DATA	0	ubi->leb_start	1
DATA_SOURCE	0	ubi	$0
DATA_SOURCE	2	pnum	$1
RX_PATH
TASK_NOT_RUNNING
USER_DATA	0	*ubi->peb_buf	0-255
NO_OVERFLOW_SIMPLE	0	ubi->bgt_thread->dl.pi_se->dl_runtime
NO_OVERFLOW_SIMPLE	0	ubi->cdev.count
NO_OVERFLOW_SIMPLE	0	ubi->ec_hdr_alsize
NO_OVERFLOW_SIMPLE	0	ubi->fm_size
NO_OVERFLOW_SIMPLE	0	ubi->leb_size
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
NO_OVERFLOW_SIMPLE	0	ubi->vid_hdr_alsize
NO_OVERFLOW_SIMPLE	0	ubi->vtbl_size
NO_OVERFLOW_SIMPLE	2	pnum
NO_OVERFLOW_SIMPLE	3	offset
NO_OVERFLOW_SIMPLE	4	len
UNITS	4	len	unit_byte
HALF_LOCKED2		&le->mutex
HALF_LOCKED2		global &ubi_devices_mutex
HALF_LOCKED2	0	&ubi->buf_mutex
HALF_LOCKED2	0	&ubi->device_mutex
HALF_LOCKED2	0	&ubi->fm_eba_sem
HALF_LOCKED2	0	&ubi->fm_protect
HALF_LOCKED2	0	&ubi->move_mutex
HALF_LOCKED2	0	&ubi->work_sem

drivers/mtd/ubi/io.c torture_peb() -> ubi_io_read()

Type	Parameter	Key	Value
PARAM_VALUE	0	ubi	4096-ptr_max
PARAM_VALUE	0	ubi->bgt_thread->delays->blkio_count	0-4294967295
PARAM_VALUE	0	ubi->bgt_thread->delays->blkio_delay_max	0-s64max
PARAM_VALUE	0	ubi->bgt_thread->delays->blkio_delay_min	0-s64max
PARAM_VALUE	0	ubi->bgt_thread->kcov->mode	0-4294967295
PARAM_VALUE	0	ubi->bgt_thread->kcov->remote	0-1
PARAM_VALUE	0	ubi->bgt_thread->kcov->remote_size	0-4294967295
PARAM_VALUE	0	ubi->bgt_thread->kcov_remote->mode	0-4294967295
PARAM_VALUE	0	ubi->bgt_thread->kcov_remote->remote	0-1
PARAM_VALUE	0	ubi->bgt_thread->kcov_remote->remote_size	0-4294967295
PARAM_VALUE	0	ubi->bgt_thread->ptracer_cred->process_keyring->user->qnbytes	s32min-s32max
PARAM_VALUE	0	ubi->bgt_thread->ptracer_cred->process_keyring->user->qnkeys	s32min-s32max
PARAM_VALUE	0	ubi->bgt_thread->ptracer_cred->request_key_auth->user->qnbytes	s32min-s32max
PARAM_VALUE	0	ubi->bgt_thread->ptracer_cred->request_key_auth->user->qnkeys	s32min-s32max
PARAM_VALUE	0	ubi->bgt_thread->ptracer_cred->session_keyring->user->qnbytes	s32min-s32max
PARAM_VALUE	0	ubi->bgt_thread->ptracer_cred->session_keyring->user->qnkeys	s32min-s32max
PARAM_VALUE	0	ubi->bgt_thread->ptracer_cred->thread_keyring->user->qnbytes	s32min-s32max
PARAM_VALUE	0	ubi->bgt_thread->ptracer_cred->thread_keyring->user->qnkeys	s32min-s32max
PARAM_VALUE	0	ubi->bgt_thread->sched_class->set_cpus_allowed	0,1927640468783054848,5094656021401329664,7127180339355369472
PARAM_VALUE	0	ubi->bgt_thread->sched_task_group->idle	s32min-s32max
PARAM_VALUE	0	ubi->bgt_thread->sched_task_group->parent	0-s64max
PARAM_VALUE	0	ubi->bgt_thread->thread_pid->attr->exit_code	s32min-s32max
PARAM_VALUE	0	ubi->buf_mutex.dep_map->name	0-255
PARAM_VALUE	0	ubi->buf_mutex.first_waiter	0,4096-ptr_max
PARAM_VALUE	0	ubi->buf_mutex.first_waiter->list.prev->next	5159360019465732096
PARAM_VALUE	0	ubi->buf_mutex.osq.tail.counter	0-s32max
PARAM_VALUE	0	ubi->buf_mutex.wait_lock.dep_map->name	0-255
PARAM_VALUE	0	ubi->buf_mutex.wait_lock.owner	(-1)
PARAM_VALUE	0	ubi->buf_mutex.wait_lock.owner_cpu	u32max
PARAM_VALUE	0	ubi->dbg.emulate_io_failures	0
PARAM_VALUE	0	ubi->dev.dma_io_tlb_mem->phys_limit	0-s64max
PARAM_VALUE	0	ubi->dev.iommu_group->owner_cnt	0-4294967295
PARAM_VALUE	0	ubi->dev.kobj.parent->kset->kobj.release.wq->dfl_pwq	0-s64max
PARAM_VALUE	0	ubi->dev.kobj.parent->kset->kobj.release.wq->saved_max_active	s32min-s32max
PARAM_VALUE	0	ubi->dev.kobj.parent->kset->kobj.release.wq->saved_min_active	s32min-s32max
PARAM_VALUE	0	ubi->dev.kobj.parent->release.wq->dfl_pwq	0-s64max
PARAM_VALUE	0	ubi->dev.kobj.parent->release.wq->saved_max_active	s32min-s32max
PARAM_VALUE	0	ubi->dev.kobj.parent->release.wq->saved_min_active	s32min-s32max
PARAM_VALUE	0	ubi->dev.kobj.parent->sd->attr.open->nr_mmapped	0-4294967295
PARAM_VALUE	0	ubi->dev.kobj.release.wq->dfl_pwq	0-s64max
PARAM_VALUE	0	ubi->dev.kobj.release.wq->saved_max_active	s32min-s32max
PARAM_VALUE	0	ubi->dev.kobj.release.wq->saved_min_active	s32min-s32max
PARAM_VALUE	0	ubi->dev.kobj.sd->attr.open->nr_mmapped	0-4294967295
PARAM_VALUE	0	ubi->dev.p->dead	0-1
PARAM_VALUE	0	ubi->dev.p->deferred_probe_reason	0-s64max
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.power.wakeirq->status	0-4294967295
PARAM_VALUE	0	ubi->ec_hdr_alsize	0-4000000
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->mtd	4096-ptr_max
PARAM_VALUE	0	ubi->ro_mode	0
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	3	offset	0
BUF_SIZE	0	ubi	(-1),128
BUF_SIZE	0	ubi	(-1),128
BUF_SIZE	0	ubi->dev.class	(-1),96
BUF_SIZE	0	ubi->dev.groups	(-1),16
BUF_SIZE	0	ubi->dev.parent	(-1),1616
BUF_SIZE	0	ubi->lookuptbl	(-1),8
BUF_SIZE	0	ubi->peb_buf	s32min-(-1),1-s32max
BUF_SIZE	1	buf	s32min-(-1),1-s32max
BUF_SIZE	1	buf	s32min-(-1),1-s32max
CAPPED_DATA	0	ubi->mtd	1
CAPPED_DATA	0	&ubi->buf_mutex	1
DATA_SOURCE	0	ubi	$0
DATA_SOURCE	2	pnum	$1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
USER_DATA	0	ubi->ubi_num	0-31
USER_DATA	0	ubi->vid_hdr_aloffset	0-s32max[c]
USER_DATA	0	ubi->vid_hdr_offset	1-s32max
USER_DATA	0	*ubi->peb_buf	0-255
USER_DATA	1	*buf	0-255
NO_OVERFLOW_SIMPLE	0	ubi->bgt_thread->dl.pi_se->dl_runtime
NO_OVERFLOW_SIMPLE	0	ubi->ec_hdr_alsize
NO_OVERFLOW_SIMPLE	0	ubi->fm_anchor->pnum
NO_OVERFLOW_SIMPLE	0	ubi->fm_size
NO_OVERFLOW_SIMPLE	0	ubi->leb_size
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_alsize
NO_OVERFLOW_SIMPLE	0	ubi->vtbl_size
NO_OVERFLOW_SIMPLE	2	pnum
NO_OVERFLOW_SIMPLE	4	len
UNITS	4	len	unit_byte
LOCK2	0	&ubi->buf_mutex
HALF_LOCKED2		global &ubi_devices_mutex
HALF_LOCKED2	0	&ubi->device_mutex
HALF_LOCKED2	0	&ubi->fm_eba_sem
HALF_LOCKED2	0	&ubi->fm_protect
HALF_LOCKED2	0	&ubi->move_mutex
HALF_LOCKED2	0	&ubi->work_sem
TYPE_LOCK		(struct ubi_device)->buf_mutex

drivers/mtd/ubi/io.c torture_peb() -> ubi_io_read()

Type	Parameter	Key	Value
PARAM_VALUE	0	ubi	4096-ptr_max
PARAM_VALUE	0	ubi->bgt_thread->delays->blkio_count	0-4294967295
PARAM_VALUE	0	ubi->bgt_thread->delays->blkio_delay_max	0-s64max
PARAM_VALUE	0	ubi->bgt_thread->delays->blkio_delay_min	0-s64max
PARAM_VALUE	0	ubi->bgt_thread->kcov->mode	0-4294967295
PARAM_VALUE	0	ubi->bgt_thread->kcov->remote	0-1
PARAM_VALUE	0	ubi->bgt_thread->kcov->remote_size	0-4294967295
PARAM_VALUE	0	ubi->bgt_thread->kcov_remote->mode	0-4294967295
PARAM_VALUE	0	ubi->bgt_thread->kcov_remote->remote	0-1
PARAM_VALUE	0	ubi->bgt_thread->kcov_remote->remote_size	0-4294967295
PARAM_VALUE	0	ubi->bgt_thread->ptracer_cred->process_keyring->user->qnbytes	s32min-s32max
PARAM_VALUE	0	ubi->bgt_thread->ptracer_cred->process_keyring->user->qnkeys	s32min-s32max
PARAM_VALUE	0	ubi->bgt_thread->ptracer_cred->request_key_auth->user->qnbytes	s32min-s32max
PARAM_VALUE	0	ubi->bgt_thread->ptracer_cred->request_key_auth->user->qnkeys	s32min-s32max
PARAM_VALUE	0	ubi->bgt_thread->ptracer_cred->session_keyring->user->qnbytes	s32min-s32max
PARAM_VALUE	0	ubi->bgt_thread->ptracer_cred->session_keyring->user->qnkeys	s32min-s32max
PARAM_VALUE	0	ubi->bgt_thread->ptracer_cred->thread_keyring->user->qnbytes	s32min-s32max
PARAM_VALUE	0	ubi->bgt_thread->ptracer_cred->thread_keyring->user->qnkeys	s32min-s32max
PARAM_VALUE	0	ubi->bgt_thread->sched_class->set_cpus_allowed	0,1927640468783054848,5094656021401329664,7127180339355369472
PARAM_VALUE	0	ubi->bgt_thread->sched_task_group->idle	s32min-s32max
PARAM_VALUE	0	ubi->bgt_thread->sched_task_group->parent	0-s64max
PARAM_VALUE	0	ubi->bgt_thread->thread_pid->attr->exit_code	s32min-s32max
PARAM_VALUE	0	ubi->buf_mutex.dep_map->name	0-255
PARAM_VALUE	0	ubi->buf_mutex.first_waiter	0,4096-ptr_max
PARAM_VALUE	0	ubi->buf_mutex.first_waiter->list.prev->next	5159360019465732096
PARAM_VALUE	0	ubi->buf_mutex.osq.tail.counter	0-s32max
PARAM_VALUE	0	ubi->buf_mutex.wait_lock.dep_map->name	0-255
PARAM_VALUE	0	ubi->buf_mutex.wait_lock.owner	(-1)
PARAM_VALUE	0	ubi->buf_mutex.wait_lock.owner_cpu	u32max
PARAM_VALUE	0	ubi->dbg.emulate_bitflips	0
PARAM_VALUE	0	ubi->dbg.emulate_io_failures	0
PARAM_VALUE	0	ubi->dev.dma_io_tlb_mem->phys_limit	0-s64max
PARAM_VALUE	0	ubi->dev.iommu_group->owner_cnt	0-4294967295
PARAM_VALUE	0	ubi->dev.kobj.parent->kset->kobj.release.wq->dfl_pwq	0-s64max
PARAM_VALUE	0	ubi->dev.kobj.parent->kset->kobj.release.wq->saved_max_active	s32min-s32max
PARAM_VALUE	0	ubi->dev.kobj.parent->kset->kobj.release.wq->saved_min_active	s32min-s32max
PARAM_VALUE	0	ubi->dev.kobj.parent->release.wq->dfl_pwq	0-s64max
PARAM_VALUE	0	ubi->dev.kobj.parent->release.wq->saved_max_active	s32min-s32max
PARAM_VALUE	0	ubi->dev.kobj.parent->release.wq->saved_min_active	s32min-s32max
PARAM_VALUE	0	ubi->dev.kobj.parent->sd->attr.open->nr_mmapped	0-4294967295
PARAM_VALUE	0	ubi->dev.kobj.release.wq->dfl_pwq	0-s64max
PARAM_VALUE	0	ubi->dev.kobj.release.wq->saved_max_active	s32min-s32max
PARAM_VALUE	0	ubi->dev.kobj.release.wq->saved_min_active	s32min-s32max
PARAM_VALUE	0	ubi->dev.kobj.sd->attr.open->nr_mmapped	0-4294967295
PARAM_VALUE	0	ubi->dev.p->dead	0-1
PARAM_VALUE	0	ubi->dev.p->deferred_probe_reason	0-s64max
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.power.wakeirq->status	0-4294967295
PARAM_VALUE	0	ubi->ec_hdr_alsize	0-4000000
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->mtd	4096-ptr_max
PARAM_VALUE	0	ubi->ro_mode	0
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	3	offset	0
BUF_SIZE	0	ubi	(-1),128
BUF_SIZE	0	ubi	(-1),128
BUF_SIZE	0	ubi->dev.class	(-1),96
BUF_SIZE	0	ubi->dev.groups	(-1),16
BUF_SIZE	0	ubi->dev.parent	(-1),1616
BUF_SIZE	0	ubi->lookuptbl	(-1),8
BUF_SIZE	0	ubi->peb_buf	s32min-(-1),1-s32max
BUF_SIZE	1	buf	s32min-(-1),1-s32max
BUF_SIZE	1	buf	s32min-(-1),1-s32max
CAPPED_DATA	0	ubi->leb_start	1
CAPPED_DATA	0	ubi->mtd	1
CAPPED_DATA	0	ubi->peb_size	1
CAPPED_DATA	0	&ubi->buf_mutex	1
CAPPED_DATA	4	len	1
DATA_SOURCE	0	ubi	$0
DATA_SOURCE	2	pnum	$1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
USER_DATA	0	ubi->ubi_num	0-31
USER_DATA	0	ubi->vid_hdr_aloffset	0-s32max[c]
USER_DATA	0	ubi->vid_hdr_offset	1-s32max
USER_DATA	0	*ubi->peb_buf	0-255
USER_DATA	1	*buf	0-255
NO_OVERFLOW_SIMPLE	0	ubi->bgt_thread->dl.pi_se->dl_runtime
NO_OVERFLOW_SIMPLE	0	ubi->ec_hdr_alsize
NO_OVERFLOW_SIMPLE	0	ubi->fm_anchor->pnum
NO_OVERFLOW_SIMPLE	0	ubi->fm_size
NO_OVERFLOW_SIMPLE	0	ubi->leb_size
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_alsize
NO_OVERFLOW_SIMPLE	0	ubi->vtbl_size
NO_OVERFLOW_SIMPLE	2	pnum
NO_OVERFLOW_SIMPLE	4	len
UNITS	4	len	unit_byte
LOCK2	0	&ubi->buf_mutex
HALF_LOCKED2		global &ubi_devices_mutex
HALF_LOCKED2	0	&ubi->device_mutex
HALF_LOCKED2	0	&ubi->fm_eba_sem
HALF_LOCKED2	0	&ubi->fm_protect
HALF_LOCKED2	0	&ubi->move_mutex
HALF_LOCKED2	0	&ubi->work_sem
TYPE_LOCK		(struct ubi_device)->buf_mutex

drivers/mtd/ubi/io.c ubi_io_read_ec_hdr() -> ubi_io_read()

Type	Parameter	Key	Value
PARAM_VALUE	0	ubi	4096-ptr_max
PARAM_VALUE	0	ubi->bgt_thread->sched_class->set_cpus_allowed	0,1927640468783054848,5094656021401329664,7127180339355369472
PARAM_VALUE	0	ubi->dev.dma_io_tlb_mem->debugfs	0-s64max
PARAM_VALUE	0	ubi->dev.dma_io_tlb_mem->phys_limit	0-s64max
PARAM_VALUE	0	ubi->dev.kobj.parent->sd->attr.open->nr_mmapped	0-4294967295
PARAM_VALUE	0	ubi->dev.kobj.sd->attr.open->nr_mmapped	0-4294967295
PARAM_VALUE	0	ubi->dev.power.wakeirq->status	0-4294967295
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->work_sem.first_waiter->handoff_set	0-1
PARAM_VALUE	0	ubi->work_sem.first_waiter->type	0-1
PARAM_VALUE	1	buf	16,4096-ptr_max
PARAM_VALUE	3	offset	0
PARAM_VALUE	4	len	64
BUF_SIZE	0	ubi	(-1),128
BUF_SIZE	0	ubi	(-1),128
BUF_SIZE	0	ubi->dev.class	(-1),96
BUF_SIZE	0	ubi->dev.groups	(-1),16
BUF_SIZE	0	ubi->dev.parent	(-1),1616
BUF_SIZE	0	ubi->lookuptbl	(-1),8
BUF_SIZE	0	ubi->mtd	s32min,(-1)-s32max
BUF_SIZE	0	ubi->peb_buf	s32min-(-1),1-s32max
DATA_SOURCE	0	ubi	$0
DATA_SOURCE	1	buf	$2
DATA_SOURCE	2	pnum	$1
STR_LEN	0	ubi->dev.parent->driver_data	(-1)
STR_LEN	0	ubi->mtd	(-1),18
STR_LEN	0	ubi->mtd->dev.driver_data	(-1)
STR_LEN	0	ubi->mtd->name	(-1)
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
USER_DATA	0	ubi->ubi_num	0-31
USER_DATA	0	ubi->vid_hdr_aloffset	0-s32max[c]
USER_DATA	0	ubi->vid_hdr_offset	1-s32max
USER_DATA	0	*ubi->peb_buf	0-255
NO_OVERFLOW_SIMPLE	0	ubi->bgt_thread->dl.pi_se->dl_runtime
NO_OVERFLOW_SIMPLE	0	ubi->ec_hdr_alsize
NO_OVERFLOW_SIMPLE	0	ubi->fm_anchor->pnum
NO_OVERFLOW_SIMPLE	0	ubi->fm_size
NO_OVERFLOW_SIMPLE	0	ubi->leb_size
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_alsize
NO_OVERFLOW_SIMPLE	0	ubi->vtbl_size
NO_OVERFLOW_SIMPLE	2	pnum
UNITS	4	len	unit_byte
HALF_LOCKED2		global &ubi_devices_mutex
HALF_LOCKED2	0	&ubi->device_mutex
HALF_LOCKED2	0	&ubi->fm_eba_sem
HALF_LOCKED2	0	&ubi->fm_protect
HALF_LOCKED2	0	&ubi->move_mutex
HALF_LOCKED2	0	&ubi->work_sem

drivers/mtd/ubi/io.c ubi_io_read_vid_hdr() -> ubi_io_read()

Type	Parameter	Key	Value
PARAM_VALUE	0	ubi	4096-ptr_max
PARAM_VALUE	0	ubi->bgt_thread->sched_class->set_cpus_allowed	0,1927640468783054848,5094656021401329664,7127180339355369472
PARAM_VALUE	0	ubi->dev.dma_io_tlb_mem->can_grow	0-1
PARAM_VALUE	0	ubi->dev.dma_io_tlb_mem->debugfs	0-s64max
PARAM_VALUE	0	ubi->dev.dma_io_tlb_mem->for_alloc	0-1
PARAM_VALUE	0	ubi->dev.dma_io_tlb_mem->force_bounce	0-1
PARAM_VALUE	0	ubi->dev.dma_io_tlb_mem->nslabs	0-s64max
PARAM_VALUE	0	ubi->dev.dma_io_tlb_mem->phys_limit	0-s64max
PARAM_VALUE	0	ubi->dev.kobj.parent->sd->attr.open->nr_mmapped	0-4294967295
PARAM_VALUE	0	ubi->dev.kobj.sd->attr.open->nr_mmapped	0-4294967295
PARAM_VALUE	0	ubi->dev.power.wakeirq->status	0-4294967295
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->work_sem.first_waiter->handoff_set	0-1
PARAM_VALUE	0	ubi->work_sem.first_waiter->type	0-1
PARAM_VALUE	1	buf	16,4096-ptr_max
BUF_SIZE	0	ubi	(-1),128
BUF_SIZE	0	ubi	(-1),128
BUF_SIZE	0	ubi->dev.class	(-1),96
BUF_SIZE	0	ubi->dev.groups	(-1),16
BUF_SIZE	0	ubi->dev.parent	(-1),1616
BUF_SIZE	0	ubi->lookuptbl	(-1),8
BUF_SIZE	0	ubi->mtd	s32min,(-1)-s32max
BUF_SIZE	0	ubi->peb_buf	s32min-(-1),1-s32max
BUF_SIZE	1	buf	s32min-(-2),1-s32max
BUF_SIZE	1	buf	s32min-(-2),1-s32max
DATA_SOURCE	0	ubi	$0
DATA_SOURCE	2	pnum	$1
STR_LEN	0	ubi->dev.parent->driver_data	(-1)
STR_LEN	0	ubi->mtd	(-1),18
STR_LEN	0	ubi->mtd->dev.driver_data	(-1)
STR_LEN	0	ubi->mtd->name	(-1)
NOSPEC	0	ubi->vid_hdr_offset
RX_PATH
TASK_NOT_RUNNING
USER_DATA	0	ubi->ubi_num	0-31
USER_DATA	0	ubi->vid_hdr_aloffset	0-s32max[c]
USER_DATA	0	ubi->vid_hdr_offset	1-s32max
USER_DATA	0	*ubi->peb_buf	0-255
USER_DATA	3	offset	0-s32max[c]
NO_OVERFLOW_SIMPLE	0	ubi->bgt_thread->dl.pi_se->dl_runtime
NO_OVERFLOW_SIMPLE	0	ubi->ec_hdr_alsize
NO_OVERFLOW_SIMPLE	0	ubi->fm_size
NO_OVERFLOW_SIMPLE	0	ubi->leb_size
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_alsize
NO_OVERFLOW_SIMPLE	0	ubi->vtbl_size
NO_OVERFLOW_SIMPLE	2	pnum
UNITS	4	len	unit_byte
HALF_LOCKED2		&le->mutex
HALF_LOCKED2		global &ubi_devices_mutex
HALF_LOCKED2	0	&ubi->buf_mutex
HALF_LOCKED2	0	&ubi->ckvol_mutex
HALF_LOCKED2	0	&ubi->device_mutex
HALF_LOCKED2	0	&ubi->fm_eba_sem
HALF_LOCKED2	0	&ubi->fm_protect
HALF_LOCKED2	0	&ubi->move_mutex
HALF_LOCKED2	0	&ubi->work_sem

drivers/mtd/ubi/wl.c ubi_bitflip_check() -> ubi_io_read()

Type	Parameter	Key	Value
PARAM_VALUE	0	ubi	4096-ptr_max
PARAM_VALUE	0	ubi->buf_mutex.dep_map->name	0-255
PARAM_VALUE	0	ubi->buf_mutex.first_waiter	0,4096-ptr_max
PARAM_VALUE	0	ubi->buf_mutex.first_waiter->list.prev->next	5159360019465732096
PARAM_VALUE	0	ubi->buf_mutex.osq.tail.counter	0-s32max
PARAM_VALUE	0	ubi->buf_mutex.wait_lock.dep_map->name	0-255
PARAM_VALUE	0	ubi->buf_mutex.wait_lock.owner	(-1)
PARAM_VALUE	0	ubi->buf_mutex.wait_lock.owner_cpu	u32max
PARAM_VALUE	0	ubi->is_dead	0
PARAM_VALUE	0	ubi->lookuptbl	4096-ptr_max
PARAM_VALUE	0	ubi->peb_count	1-s32max
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->list.next	2624917664208203776
PARAM_VALUE	0	ubi->work_sem.first_waiter->list.prev	2624917664208203776
PARAM_VALUE	0	ubi->work_sem.first_waiter->type	0-1
PARAM_VALUE	0	ubi->work_sem.osq.tail.counter	0-s32max
PARAM_VALUE	0	ubi->work_sem.wait_lock.dep_map->name	0-255
PARAM_VALUE	0	ubi->work_sem.wait_lock.owner	(-1)
PARAM_VALUE	0	ubi->work_sem.wait_lock.owner_cpu	u32max
PARAM_VALUE	2	pnum	0-2147483646
PARAM_VALUE	3	offset	0
BUF_SIZE	1	buf	s32min-(-2),1-s32max
CAPPED_DATA	0	&ubi->buf_mutex	1
CAPPED_DATA	0	&ubi->work_sem	1
CAPPED_DATA	2	pnum	1
DATA_SOURCE	0	ubi	$0
DATA_SOURCE	2	pnum	$1
CAPABLE	0	24
PARAM_COMPARE	2	pnum	< $0->peb_count
NOSPEC	2	pnum
NOSPEC	2	pnum
USER_DATA	2	pnum	0-2147483646[c]
UNITS	4	len	unit_byte
LOCK2	0	&ubi->buf_mutex
LOCK2	0	&ubi->work_sem
TYPE_LOCK		(struct ubi_device)->buf_mutex
TYPE_LOCK		(struct ubi_device)->work_sem

drivers/mtd/ubi/eba.c ubi_io_read_data() -> ubi_io_read()

Type	Parameter	Key	Value
PARAM_VALUE	0	ubi	4096-ptr_max
PARAM_VALUE	0	ubi->bgt_thread->sched_class->set_cpus_allowed	0,1927640468783054848,5094656021401329664,7127180339355369472
PARAM_VALUE	0	ubi->dev.dma_io_tlb_mem->can_grow	0-1
PARAM_VALUE	0	ubi->dev.dma_io_tlb_mem->debugfs	0-s64max
PARAM_VALUE	0	ubi->dev.dma_io_tlb_mem->for_alloc	0-1
PARAM_VALUE	0	ubi->dev.dma_io_tlb_mem->force_bounce	0-1
PARAM_VALUE	0	ubi->dev.dma_io_tlb_mem->nslabs	0-s64max
PARAM_VALUE	0	ubi->dev.dma_io_tlb_mem->phys_limit	0-s64max
PARAM_VALUE	0	ubi->dev.kobj.parent->sd->attr.open->nr_mmapped	0-4294967295
PARAM_VALUE	0	ubi->dev.kobj.sd->attr.open->nr_mmapped	0-4294967295
PARAM_VALUE	0	ubi->dev.power.wakeirq->status	0-4294967295
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->ltree_lock.rlock.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->type	0-1
BUF_SIZE	0	ubi	(-1),128
BUF_SIZE	0	ubi	(-1),128
BUF_SIZE	1	buf	s32min-(-1),1-s32max
BUF_SIZE	1	buf	s32min-(-1),1-s32max
CAPPED_DATA	2	pnum	1
DATA_SOURCE	0	ubi	$0
DATA_SOURCE	1	buf	$1
DATA_SOURCE	2	pnum	$2
DATA_SOURCE	4	len	$4
NOSPEC	4	len
RX_PATH
TASK_NOT_RUNNING
HOST_DATA	4	len	1-s32max[c]
USER_DATA	1	*buf	0-255
USER_DATA	4	len	0-s32max[c]
NO_OVERFLOW_SIMPLE	0	ubi->bgt_thread->dl.pi_se->dl_runtime
NO_OVERFLOW_SIMPLE	0	ubi->ec_hdr_alsize
NO_OVERFLOW_SIMPLE	0	ubi->fm_size
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
NO_OVERFLOW_SIMPLE	0	ubi->vid_hdr_alsize
NO_OVERFLOW_SIMPLE	0	ubi->vtbl_size
UNITS	1	buf	unit_byte
UNITS	3	offset	unit_byte
UNITS	4	len	unit_byte
USER_PTR	1	buf
LOCK2		&le->mutex
HALF_LOCKED2	0	&ubi->buf_mutex
HALF_LOCKED2	0	&ubi->ckvol_mutex
HALF_LOCKED2	0	&ubi->device_mutex
HALF_LOCKED2	0	&ubi->fm_eba_sem
HALF_LOCKED2	0	&ubi->move_mutex
HALF_LOCKED2	0	&ubi->work_sem

drivers/mtd/ubi/attach.c check_corruption() -> ubi_io_read()

Type	Parameter	Key	Value
PARAM_VALUE	0	ubi	4096-ptr_max
PARAM_VALUE	0	ubi->buf_mutex.dep_map->name	0-255
PARAM_VALUE	0	ubi->buf_mutex.first_waiter	0,4096-ptr_max
PARAM_VALUE	0	ubi->buf_mutex.first_waiter->list.prev->next	5159360019465732096
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->buf_mutex.osq.tail.counter	0-s32max
PARAM_VALUE	0	ubi->buf_mutex.wait_lock.dep_map->name	0-255
PARAM_VALUE	0	ubi->buf_mutex.wait_lock.owner	(-1)
PARAM_VALUE	0	ubi->buf_mutex.wait_lock.owner_cpu	u32max
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->debugfs	0
PARAM_VALUE	0	ubi->dev.dma_io_tlb_mem->defpool.vaddr	0
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.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.ktype->child_ns_type	0,2344685749105987584,4089303432171261952,6274457576243130368,8186263191508828160
PARAM_VALUE	0	ubi->dev.kobj.ktype->get_ownership	0,754295003445952512,1770093955000758272,2031763320308453376,9073032014207823872,9089295143347961856
PARAM_VALUE	0	ubi->dev.kobj.ktype->namespace	0,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->leb_size	0-s32max,18446744071562067968-u64max
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
PARAM_VALUE	2	pnum	0-2147483646
PARAM_VALUE	4	len	0-s32max,18446744071562067968-u64max
BUF_SIZE	0	ubi->dev.class	(-1),96
BUF_SIZE	0	ubi->dev.groups	(-1),16
BUF_SIZE	0	ubi->dev.parent	(-1),1616
BUF_SIZE	0	ubi->mtd	s32min,(-1),1-s32max
BUF_SIZE	0	ubi->peb_buf	s32min-(-1),1-s32max
BUF_SIZE	1	buf	s32min-(-1),1-s32max
BUF_SIZE	1	buf	s32min-(-1),1-s32max
CAPPED_DATA	0	ubi->leb_start	1
CAPPED_DATA	0	ubi->vid_hdr_offset	1
CAPPED_DATA	0	&ubi->buf_mutex	1
CAPPED_DATA	2	pnum	1
CAPPED_DATA	3	offset	1
DATA_SOURCE	0	ubi	$0
DATA_SOURCE	2	pnum	$2
FUZZY_MAX	2	pnum	63
STR_LEN	0	ubi->dev.parent->driver_data	(-1)
STR_LEN	0	ubi->mtd	(-1),18
STR_LEN	0	ubi->mtd->dev.driver_data	(-1)
STR_LEN	0	ubi->mtd->name	(-1)
NOSPEC	0	ubi->vid_hdr_offset
MEM_ZERO	0	ubi->peb_buf
MEM_ZERO	1	buf
RX_PATH
TASK_NOT_RUNNING
USER_DATA	0	ubi->ubi_num	0-31
USER_DATA	0	ubi->vid_hdr_aloffset	0-s32max[c]
USER_DATA	0	ubi->vid_hdr_offset	1-s32max[c]
USER_DATA	0	*ubi->peb_buf	0-255
USER_DATA	1	*buf	0-255
NO_OVERFLOW_SIMPLE	0	ubi->bgt_thread->dl.pi_se->dl_runtime
NO_OVERFLOW_SIMPLE	0	ubi->mtd->erasesize
NO_OVERFLOW_SIMPLE	0	ubi->peb_count
NO_OVERFLOW_SIMPLE	0	ubi->peb_size
NO_OVERFLOW_SIMPLE	2	pnum
UNITS	3	offset	unit_byte
UNITS	4	len	unit_byte
LOCK2		global &ubi_devices_mutex
LOCK2	0	&ubi->buf_mutex
HALF_LOCKED2		global &mtd_table_mutex
TYPE_LOCK		(struct ubi_device)->buf_mutex

drivers/mtd/ubi/attach.c ubi_io_read_data() -> ubi_io_read()

Type	Parameter	Key	Value
PARAM_VALUE	0	ubi	4096-ptr_max
PARAM_VALUE	0	ubi->buf_mutex.dep_map->name	0-255
PARAM_VALUE	0	ubi->buf_mutex.first_waiter	0,4096-ptr_max
PARAM_VALUE	0	ubi->buf_mutex.first_waiter->list.prev->next	5159360019465732096
PARAM_VALUE	0	ubi->buf_mutex.osq.tail.counter	0-s32max
PARAM_VALUE	0	ubi->buf_mutex.wait_lock.dep_map->name	0-255
PARAM_VALUE	0	ubi->buf_mutex.wait_lock.owner	(-1)
PARAM_VALUE	0	ubi->buf_mutex.wait_lock.owner_cpu	u32max
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->leb_size	0-s32max
PARAM_VALUE	0	ubi->mtd->parent	0
PARAM_VALUE	0	ubi->vid_hdr_alsize	0-4000000
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->dev.class	(-1),96
BUF_SIZE	0	ubi->dev.groups	(-1),16
BUF_SIZE	0	ubi->dev.parent	(-1),1616
BUF_SIZE	0	ubi->peb_buf	s32min-(-1),1-s32max
BUF_SIZE	1	buf	s32min-(-1),1-s32max
BUF_SIZE	1	buf	s32min-(-1),1-s32max
DATA_SOURCE	0	ubi	$0
DATA_SOURCE	1	buf	$1
DATA_SOURCE	2	pnum	$2
DATA_SOURCE	4	len	$4
NOSPEC	0	ubi->vid_hdr_offset
RX_PATH
TASK_NOT_RUNNING
USER_DATA	0	ubi->ubi_num	0-31
USER_DATA	0	ubi->vid_hdr_aloffset	0-s32max[c]
USER_DATA	0	ubi->vid_hdr_offset	1-s32max
USER_DATA	0	*ubi->peb_buf	0-255
USER_DATA	1	*buf	0-255
NO_OVERFLOW_SIMPLE	0	ubi->bgt_thread->dl.pi_se->dl_runtime
NO_OVERFLOW_SIMPLE	0	ubi->ec_hdr_alsize
NO_OVERFLOW_SIMPLE	0	ubi->fm_size
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->vtbl_size
NO_OVERFLOW_SIMPLE	2	pnum
UNITS	3	offset	unit_byte
UNITS	4	len	unit_byte
LOCK2	0	&ubi->buf_mutex
HALF_LOCKED2		global &ubi_devices_mutex
TYPE_LOCK		(struct ubi_device)->buf_mutex