ubi_io_write identifier - Linux source code next-20260811

Projects

linux

Versions

FIXME
- FIXME
  - next-20260811

Documented in 1 files:

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

Defined in 1 files as a prototype:

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

Defined in 1 files as a function:

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

Referenced in 2 files:

Smatch caller information:

287600322642ac2d ubi_io_write_data() -> ubi_io_write()

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_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->dbg.emulate_io_failures	0
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.p->deferred_probe_reason	0-s64max
PARAM_VALUE	0	ubi->fm_buf	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->list.next	2624917664208203776
PARAM_VALUE	0	ubi->fm_eba_sem.first_waiter->list.prev	2624917664208203776
PARAM_VALUE	0	ubi->fm_eba_sem.first_waiter->type	0-1
PARAM_VALUE	0	ubi->fm_pool.size	0-u16max
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->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_wl_pool.size	0-u16max
PARAM_VALUE	0	ubi->free.rb_node	0,4096-ptr_max
PARAM_VALUE	0	ubi->ltree_lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	ubi->pq	4096-ptr_max
PARAM_VALUE	0	ubi->ro_mode	0
PARAM_VALUE	0	ubi->scrub.rb_node	0,4096-ptr_max
PARAM_VALUE	0	ubi->used.rb_node	0,4096-ptr_max
PARAM_VALUE	0	ubi->vid_hdr_alsize	0-4000000
PARAM_VALUE	0	ubi->volumes	4096-ptr_max
PARAM_VALUE	0	ubi->volumes_lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	ubi->wl_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
PARAM_VALUE	0	*ubi->fm_pool->pebs	s32min-s32max
PARAM_VALUE	0	*ubi->fm_wl_pool->pebs	s32min-s32max
CAPPED_DATA	0	ubi->fm_pool.size	1
CAPPED_DATA	0	ubi->fm_wl_pool.size	1
CAPPED_DATA	0	ubi->leb_start	1
CAPPED_DATA	3	offset	1
DATA_SOURCE	0	ubi	$0
DATA_SOURCE	1	buf	$1
DATA_SOURCE	2	pnum	$2
DATA_SOURCE	4	len	$4
MEM_ZERO	0	ubi->fm_buf
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE	0	ubi->bgt_thread->dl.pi_se->dl_runtime
NO_OVERFLOW_SIMPLE	0	ubi->vid_hdr_aloffset
UNITS	3	offset	unit_byte
UNITS	4	len	unit_byte
LOCK2	0	&ubi->fm_eba_sem
LOCK2	0	&ubi->fm_protect
LOCK2	0	&ubi->work_sem
HALF_LOCKED2		&le->mutex
HALF_LOCKED2		global &ubi_devices_mutex
HALF_LOCKED2	0	&ubi->device_mutex
TYPE_LOCK		(struct ubi_device)->fm_eba_sem
TYPE_LOCK		(struct ubi_device)->fm_protect
TYPE_LOCK		(struct ubi_device)->work_sem

drivers/mtd/ubi/vtbl.c ubi_io_write_data() -> ubi_io_write()

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->task->blocked_on	(-1)-0
PARAM_VALUE	0	ubi->ckvol_mutex.dep_map->name	0-255
PARAM_VALUE	0	ubi->dbg.emulate_io_failures	0
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->can_grow	0
PARAM_VALUE	0	ubi->dev.dma_io_tlb_mem->debugfs	0
PARAM_VALUE	0	ubi->dev.dma_io_tlb_mem->defpool.areas	0
PARAM_VALUE	0	ubi->dev.dma_io_tlb_mem->defpool.end	0
PARAM_VALUE	0	ubi->dev.dma_io_tlb_mem->defpool.nareas	0
PARAM_VALUE	0	ubi->dev.dma_io_tlb_mem->defpool.nslabs	0
PARAM_VALUE	0	ubi->dev.dma_io_tlb_mem->defpool.slots	0
PARAM_VALUE	0	ubi->dev.dma_io_tlb_mem->defpool.start	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->for_alloc	0
PARAM_VALUE	0	ubi->dev.dma_io_tlb_mem->force_bounce	0
PARAM_VALUE	0	ubi->dev.dma_io_tlb_mem->nslabs	0
PARAM_VALUE	0	ubi->dev.dma_io_tlb_mem->phys_limit	0
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
PARAM_VALUE	0	ubi->dev.kobj.ktype->get_ownership	9073032014207823872
PARAM_VALUE	0	ubi->dev.kobj.ktype->namespace	4142580293989273600
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->used_blocks	0-1
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->ro_mode	0
PARAM_VALUE	1	buf	0,4096-ptr_max
BUF_SIZE	1	buf	(-1)-s32max
BUF_SIZE	1	buf	(-1)-s32max
CAPPED_DATA	0	ubi->leb_start	1
CAPPED_DATA	3	offset	1
DATA_SOURCE	0	ubi	$0
DATA_SOURCE	1	buf	$1
DATA_SOURCE	2	pnum	$2
DATA_SOURCE	4	len	$4
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
NO_OVERFLOW_SIMPLE	0	ubi->vid_hdr_aloffset
NO_OVERFLOW_SIMPLE	2	pnum
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 torture_peb() -> ubi_io_write()

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->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_write_ec_hdr() -> ubi_io_write()

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->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->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	4096-ptr_max
PARAM_VALUE	3	offset	0
DATA_SOURCE	0	ubi	$0
DATA_SOURCE	1	buf	$2
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->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_aloffset
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
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_write_vid_hdr() -> ubi_io_write()

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	1	buf	s32min-(-2),1-s32max
BUF_SIZE	1	buf	s32min-(-2),1-s32max
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->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
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/eba.c ubi_io_write_data() -> ubi_io_write()

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
DATA_SOURCE	0	ubi	$0
DATA_SOURCE	1	buf	$1
DATA_SOURCE	2	pnum	$2
DATA_SOURCE	4	len	$4
NOSPEC	4	len
NOSPEC	4	len
RX_PATH
TASK_NOT_RUNNING
HOST_DATA	4	len	3-s32max[c]
USER_DATA	0	*ubi->peb_buf	0-255
USER_DATA	1	*buf	s64min-s64max
USER_DATA	4	len	s32min-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_aloffset
NO_OVERFLOW_SIMPLE	0	ubi->vid_hdr_alsize
NO_OVERFLOW_SIMPLE	0	ubi->vtbl_size
NO_OVERFLOW_SIMPLE	1	buf
NO_OVERFLOW_SIMPLE	1	buf->hash_algo
NO_OVERFLOW_SIMPLE	1	buf->lpt_offs
NO_OVERFLOW_SIMPLE	1	buf->lsave_offs
NO_OVERFLOW_SIMPLE	1	buf->ltab_offs
NO_OVERFLOW_SIMPLE	2	pnum
NO_OVERFLOW_SIMPLE	4	len
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->device_mutex
HALF_LOCKED2	0	&ubi->fm_eba_sem
HALF_LOCKED2	0	&ubi->move_mutex
HALF_LOCKED2	0	&ubi->work_sem