ubi_eba_write_leb identifier - Linux source code next-20260811

Projects

linux

Versions

FIXME
- FIXME
  - next-20260811

Documented in 1 files:

drivers/mtd/ubi/eba.c, line 997

Defined in 1 files as a prototype:

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

Defined in 1 files as a function:

drivers/mtd/ubi/eba.c, line 1012 (as a function)

Referenced in 4 files:

Smatch caller information:

drivers/mtd/ubi/kapi.c ubi_leb_map() -> ubi_eba_write_leb()

Type	Parameter	Key	Value
PARAM_VALUE	1	vol	4096-ptr_max
PARAM_VALUE	1	vol->eba_tbl	4096-ptr_max
PARAM_VALUE	1	vol->eba_tbl->entries	4096-ptr_max
PARAM_VALUE	1	vol->reserved_pebs	1-s32max
PARAM_VALUE	1	vol->upd_marker	0
PARAM_VALUE	1	vol->vol_type	s32min-3,5-s32max
PARAM_VALUE	2	lnum	0-2147483646
PARAM_VALUE	3	buf	0
PARAM_VALUE	4	offset	0
PARAM_VALUE	5	len	0
CAPPED_DATA	1	vol->reserved_pebs	1
CAPPED_DATA	2	lnum	1
DATA_SOURCE	2	lnum	$1
PARAM_COMPARE	2	lnum	< $1->reserved_pebs
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
USER_DATA	2	lnum	0-2147483646[c]
UNITS	2	lnum	unit_byte
HALF_LOCKED2		&c->log_mutex
HALF_LOCKED2		&wbuf->io_mutex

drivers/mtd/ubi/kapi.c ubi_leb_write() -> ubi_eba_write_leb()

Type	Parameter	Key	Value
PARAM_VALUE	0	ubi	4096-ptr_max
PARAM_VALUE	0	ubi->vtbl_slots	1-s32max
PARAM_VALUE	1	vol	4096-ptr_max
PARAM_VALUE	1	vol->reserved_pebs	1-s32max
PARAM_VALUE	1	vol->ubi	4096-ptr_max
PARAM_VALUE	1	vol->ubi->vtbl_slots	1-s32max
PARAM_VALUE	1	vol->upd_marker	0
PARAM_VALUE	1	vol->vol_id	0-2147483646
PARAM_VALUE	1	vol->vol_type	s32min-3,5-s32max
PARAM_VALUE	2	lnum	0-2147483646
PARAM_VALUE	4	offset	0-s32max
PARAM_VALUE	5	len	1-s32max
BUF_SIZE	3	buf	(-1)-s32max
BUF_SIZE	3	buf	(-1)-s32max
CAPPED_DATA	1	vol->reserved_pebs	1
CAPPED_DATA	2	lnum	1
DATA_SOURCE	2	lnum	$1
DATA_SOURCE	3	buf	$2
DATA_SOURCE	4	offset	$3
DATA_SOURCE	5	len	$4
FUZZY_MAX	4	offset	0
PARAM_COMPARE	2	lnum	< $1->reserved_pebs
NOSPEC	2	lnum
NOSPEC	2	lnum
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HOST_DATA	2	lnum	0-2147483646[c]
HOST_DATA	4	offset	0-s32max[c]
HOST_DATA	5	len	3-s32max[c]
USER_DATA	2	lnum	0-2147483646[c]
USER_DATA	4	offset	0-s32max[c]
USER_DATA	5	len	3-s32max[c]
UNITS	2	lnum	unit_byte
UNITS	3	buf	unit_byte
UNITS	4	offset	unit_byte
UNITS	5	len	unit_byte
USER_PTR	3	buf

drivers/mtd/ubi/upd.c write_leb() -> ubi_eba_write_leb()

Type	Parameter	Key	Value
PARAM_VALUE	0	ubi	4096-ptr_max
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	vol	4096-ptr_max
PARAM_VALUE	1	vol->ubi->fm_eba_sem.first_waiter->handoff_set	0-1
PARAM_VALUE	1	vol->ubi->fm_eba_sem.first_waiter->type	0-1
PARAM_VALUE	1	vol->ubi->fm_protect.first_waiter->handoff_set	0-1
PARAM_VALUE	1	vol->ubi->fm_protect.first_waiter->type	0-1
PARAM_VALUE	1	vol->ubi->work_sem.first_waiter->handoff_set	0-1
PARAM_VALUE	1	vol->ubi->work_sem.first_waiter->type	0-1
PARAM_VALUE	1	vol->updating	1
PARAM_VALUE	1	vol->vol_type	3
PARAM_VALUE	4	offset	0
PARAM_VALUE	5	len	1-s32max
BUF_SIZE	3	buf	s32min-(-2),1-s32max
BUF_SIZE	3	buf	s32min-(-2),1-s32max
CAPPED_DATA	5	len	1
DATA_SOURCE	0	ubi	$0
DATA_SOURCE	1	vol	$1
DATA_SOURCE	2	lnum	$2
DATA_SOURCE	3	buf	$3
DATA_SOURCE	5	len	r ubi_calc_data_len
USER_DATA	1	*vol->upd_buf	s64min-s64max
USER_DATA	3	*buf	s64min-s64max
USER_DATA	5	len	1-1000000000[c]
NO_OVERFLOW_SIMPLE	1	vol->upd_buf
NO_OVERFLOW_SIMPLE	3	buf
UNITS	5	len	unit_byte
USER_PTR	1	vol->upd_buf
USER_PTR	3	buf

drivers/mtd/ubi/eba.c ubi_eba_atomic_leb_change() -> ubi_eba_write_leb()

Type	Parameter	Key	Value
PARAM_VALUE	0	ubi	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	1-s64max
PARAM_VALUE	0	ubi->bgt_thread->delays->blkio_delay_max_ts.tv_nsec	0-999999999
PARAM_VALUE	0	ubi->bgt_thread->delays->blkio_delay_min	1-s64max
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->dl_runtime	0
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->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->is_blocked	0
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->pushable_dl_tasks.__rb_parent_color	1
PARAM_VALUE	0	ubi->bgt_thread->pushable_dl_tasks.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->rseq.event.ids_changed	1
PARAM_VALUE	0	ubi->bgt_thread->rt.timeout	0
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->sched_task_group->shares	0-s64max
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->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->dl.inactive_timer.base->clockid	0-1,7,11
PARAM_VALUE	0	ubi->bgt_thread->se.cfs_rq->rq->donor->dl.inactive_timer.base->index	0-7
PARAM_VALUE	0	ubi->bgt_thread->se.cfs_rq->rq->donor->dl.rb_node.__rb_parent_color	1
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->se.run_node.rb_left->__rb_parent_color	4096-s64max
PARAM_VALUE	0	ubi->bgt_thread->se.cfs_rq->rq->donor->se.run_node.rb_right->__rb_parent_color	4096-s64max
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.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->se.my_q->prop_runnable_sum	0
PARAM_VALUE	0	ubi->bgt_thread->se.my_q->propagate	0
PARAM_VALUE	0	ubi->bgt_thread->se.parent	0,4096-ptr_max
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_left->rb_right	0
PARAM_VALUE	0	ubi->bgt_thread->se.run_node.rb_right	0,4096-ptr_max
PARAM_VALUE	0	ubi->bgt_thread->se.run_node.rb_right->rb_left	0
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->dev.dma_io_tlb_mem->debugfs	0-s64max
PARAM_VALUE	0	ubi->erroneous.rb_node	4096-ptr_max
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.rb_node	1-u64max
PARAM_VALUE	0	ubi->ltree_lock.rlock.dep_map->name	0-255
PARAM_VALUE	0	ubi->move_mutex.dep_map->name	0-255
PARAM_VALUE	0	ubi->move_mutex.first_waiter->list.prev->next	5159360019465732096
PARAM_VALUE	0	ubi->move_mutex.first_waiter->list.prev->prev	5159360019465732096
PARAM_VALUE	0	ubi->move_mutex.first_waiter->task->blocked_lock.dep_map->name	0-255
PARAM_VALUE	0	ubi->move_mutex.first_waiter->task->blocked_lock.owner	(-1)
PARAM_VALUE	0	ubi->move_mutex.first_waiter->task->blocked_lock.owner_cpu	4294967295
PARAM_VALUE	0	ubi->move_mutex.first_waiter->task->blocked_lock.raw_lock.val.counter	s32min-s32max
PARAM_VALUE	0	ubi->move_mutex.first_waiter->task->usage.refs.counter	s32min-s32max
PARAM_VALUE	0	ubi->move_to_put	1
PARAM_VALUE	0	ubi->ro_mode	0
PARAM_VALUE	0	ubi->scrub.rb_node	4096-ptr_max
PARAM_VALUE	0	ubi->used.rb_node	4096-ptr_max
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->list.prev	2212933610777083904
PARAM_VALUE	0	ubi->work_sem.first_waiter->type	0-1
PARAM_VALUE	0	ubi->works.prev	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->bgt_thread->delays->lock.owner	(-4611686018427387904)-4611686018427387903
PARAM_VALUE	1	vol	4096-ptr_max
PARAM_VALUE	1	vol->ubi->fm_eba_sem.first_waiter->handoff_set	0-1
PARAM_VALUE	1	vol->ubi->fm_eba_sem.first_waiter->type	0-1
PARAM_VALUE	1	vol->ubi->fm_protect.first_waiter->handoff_set	0-1
PARAM_VALUE	1	vol->ubi->fm_protect.first_waiter->type	0-1
PARAM_VALUE	1	vol->ubi->work_sem.first_waiter->handoff_set	0-1
PARAM_VALUE	1	vol->ubi->work_sem.first_waiter->type	0-1
PARAM_VALUE	3	buf	0
PARAM_VALUE	4	offset	0
PARAM_VALUE	5	len	0
DATA_SOURCE	0	ubi	$0
DATA_SOURCE	1	vol	$1
DATA_SOURCE	2	lnum	$2
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)
NOSPEC	2	lnum
NOSPEC	2	lnum
RX_PATH
TASK_NOT_RUNNING
USER_DATA	2	lnum	0-2147483646[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->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->vtbl_size
NO_OVERFLOW_SIMPLE	2	lnum->free
HALF_LOCKED2	0	&ubi->device_mutex

drivers/mtd/ubi/cdev.c vol_cdev_direct_write() -> ubi_eba_write_leb()

Type	Parameter	Key	Value
PARAM_VALUE	0	ubi	4096-ptr_max
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	vol	4096-ptr_max
PARAM_VALUE	1	vol->direct_writes	1
PARAM_VALUE	1	vol->ubi	4096-ptr_max
PARAM_VALUE	1	vol->ubi->fm_eba_sem.first_waiter->handoff_set	0-1
PARAM_VALUE	1	vol->ubi->fm_eba_sem.first_waiter->type	0-1
PARAM_VALUE	1	vol->ubi->fm_protect.first_waiter->handoff_set	0-1
PARAM_VALUE	1	vol->ubi->fm_protect.first_waiter->type	0-1
PARAM_VALUE	1	vol->ubi->work_sem.first_waiter->handoff_set	0-1
PARAM_VALUE	1	vol->ubi->work_sem.first_waiter->type	0-1
PARAM_VALUE	1	vol->vol_type	s32min-3,5-s32max
PARAM_VALUE	3	buf	1-u64max
PARAM_VALUE	5	len	0-s32max
BUF_SIZE	3	buf	0-s32max,18446744071562067968-u64max
CAPPED_DATA	5	len	1
DATA_SOURCE	3	buf	r vmalloc_noprof
NOSPEC	4	offset
NOSPEC	5	len
USER_DATA	2	lnum	0-1000000001[c]
USER_DATA	4	offset	0-1000000000[c]
USER_DATA	5	len	0-s32max[c]
UNITS	4	offset	unit_byte
UNITS	5	len	unit_byte
USER_PTR	3	buf