ubi_add_to_av identifier - Linux source code next-20260811

Projects

linux

Versions

FIXME
- FIXME
  - next-20260811

Documented in 1 files:

drivers/mtd/ubi/attach.c, line 547

Defined in 1 files as a prototype:

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

Defined in 1 files as a function:

drivers/mtd/ubi/attach.c, line 563 (as a function)

Referenced in 2 files:

Smatch caller information:

drivers/mtd/ubi/vtbl.c create_vtbl() -> ubi_add_to_av()

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->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->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->ro_mode	0
PARAM_VALUE	1	ai	4096-ptr_max
PARAM_VALUE	1	ai->alien.next->next	4096-ptr_max
PARAM_VALUE	1	ai->alien.prev->next	4096-ptr_max
PARAM_VALUE	1	ai->alien.prev->prev	4096-ptr_max
PARAM_VALUE	1	ai->corr.next->next	4096-ptr_max
PARAM_VALUE	1	ai->corr.prev->next	4096-ptr_max
PARAM_VALUE	1	ai->corr.prev->prev	4096-ptr_max
PARAM_VALUE	1	ai->erase.next->next	4096-ptr_max
PARAM_VALUE	1	ai->erase.prev->next	4096-ptr_max
PARAM_VALUE	1	ai->erase.prev->prev	4096-ptr_max
PARAM_VALUE	1	ai->fastmap.next->next	4096-ptr_max
PARAM_VALUE	1	ai->fastmap.prev->next	4096-ptr_max
PARAM_VALUE	1	ai->fastmap.prev->prev	4096-ptr_max
PARAM_VALUE	1	ai->free.next->next	4096-ptr_max
PARAM_VALUE	1	ai->free.prev->next	4096-ptr_max
PARAM_VALUE	1	ai->free.prev->prev	4096-ptr_max
PARAM_VALUE	4	vid_hdr	4096-ptr_max
PARAM_VALUE	4	vid_hdr->compat	5
PARAM_VALUE	4	vid_hdr->data_pad	0
PARAM_VALUE	4	vid_hdr->data_size	0
PARAM_VALUE	4	vid_hdr->lnum	0-1
PARAM_VALUE	4	vid_hdr->used_ebs	0
PARAM_VALUE	4	vid_hdr->vol_id	2147479551
PARAM_VALUE	4	vid_hdr->vol_type	1
PARAM_VALUE	5	bitflips	0
BUF_SIZE	1	ai	(-1),192
BUF_SIZE	1	ai	(-1),192
CAPPED_DATA	0	ubi->leb_start	1
DATA_SOURCE	0	ubi	$0
DATA_SOURCE	1	ai	$1
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)
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	2	pnum
UNITS	4	vid_hdr	unit_byte
LOCK2		global &ubi_devices_mutex
HALF_LOCKED2		global &mtd_table_mutex

drivers/mtd/ubi/attach.c scan_peb() -> ubi_add_to_av()

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->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->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.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
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	ai	4096-ptr_max
PARAM_VALUE	1	ai->alien.next->next	4096-ptr_max
PARAM_VALUE	1	ai->alien.prev->next	4096-ptr_max
PARAM_VALUE	1	ai->alien.prev->prev	4096-ptr_max
PARAM_VALUE	1	ai->corr.next->next	4096-ptr_max
PARAM_VALUE	1	ai->corr.prev->next	4096-ptr_max
PARAM_VALUE	1	ai->corr.prev->prev	4096-ptr_max
PARAM_VALUE	1	ai->ech	16,4096-ptr_max
PARAM_VALUE	1	ai->erase.next->next	4096-ptr_max
PARAM_VALUE	1	ai->erase.prev->next	4096-ptr_max
PARAM_VALUE	1	ai->erase.prev->prev	4096-ptr_max
PARAM_VALUE	1	ai->fastmap.next->next	4096-ptr_max
PARAM_VALUE	1	ai->fastmap.prev->next	4096-ptr_max
PARAM_VALUE	1	ai->fastmap.prev->prev	4096-ptr_max
PARAM_VALUE	1	ai->free.next->next	4096-ptr_max
PARAM_VALUE	1	ai->free.prev->next	4096-ptr_max
PARAM_VALUE	1	ai->free.prev->prev	4096-ptr_max
PARAM_VALUE	1	ai->vidb	4096-ptr_max
PARAM_VALUE	1	ai->vidb->buffer	16,4096-ptr_max
PARAM_VALUE	1	ai->vidb->hdr	4096-ptr_max
PARAM_VALUE	1	*ai->vidb->buffer	0-255
PARAM_VALUE	2	pnum	0-2147483646
PARAM_VALUE	3	ec	(-1)-s32max
PARAM_VALUE	4	vid_hdr	4096-ptr_max
PARAM_VALUE	4	vid_hdr->compat	0-2,4-5
PARAM_VALUE	4	vid_hdr->copy_flag	0-1
PARAM_VALUE	4	vid_hdr->data_pad	0-2147483646
PARAM_VALUE	4	vid_hdr->data_size	0-s32max
PARAM_VALUE	4	vid_hdr->lnum	0-s32max
PARAM_VALUE	4	vid_hdr->magic	1430407457
PARAM_VALUE	4	vid_hdr->used_ebs	0-s32max
PARAM_VALUE	4	vid_hdr->vol_id	0-127,2147479551,2147479554-s32max
PARAM_VALUE	4	vid_hdr->vol_type	1-2
PARAM_VALUE	5	bitflips	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->mtd	s32min,(-1),1-s32max
BUF_SIZE	0	ubi->peb_buf	s32min-(-1),1-s32max
BUF_SIZE	1	ai	(-1),192
BUF_SIZE	1	ai	(-1),192
BUF_SIZE	1	ai->vidb	16
CAPPED_DATA	1	ai	1
CAPPED_DATA	2	pnum	1
DATA_SOURCE	0	ubi	$0
DATA_SOURCE	1	ai	$1
DATA_SOURCE	2	pnum	$2
FUZZY_MAX	2	pnum	63
FUZZY_MAX	5	bitflips	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
HARD_MAX	5	bitflips	1
MEM_ZERO	0	&ubi->dev.power.suspend_timer
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	1	*ai->vidb->buffer	0-255
NO_OVERFLOW_SIMPLE	0	ubi->mtd->erasesize
NO_OVERFLOW_SIMPLE	0	ubi->peb_count
NO_OVERFLOW_SIMPLE	0	ubi->peb_size
NO_OVERFLOW_SIMPLE	1	ai->aeb_slab_cache->object_size
NO_OVERFLOW_SIMPLE	2	pnum
UNITS	4	vid_hdr	unit_byte
LOCK2		global &ubi_devices_mutex
HALF_LOCKED2		global &mtd_table_mutex