ubi_eba_replace_table identifier - Linux source code next-20260811

Projects

linux

Versions

FIXME
- FIXME
  - next-20260811

Documented in 1 files:

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

Defined in 1 files as a prototype:

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

Defined in 1 files as a function:

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

Referenced in 3 files:

Smatch caller information:

drivers/mtd/ubi/vmt.c ubi_create_volume() -> ubi_eba_replace_table()

Type	Parameter	Key	Value
PARAM_VALUE	0	vol	4096-ptr_max
PARAM_VALUE	0	vol->alignment	1-s32max
PARAM_VALUE	0	vol->data_pad	1-s32max
PARAM_VALUE	0	vol->dev.class	2254474035406569472
PARAM_VALUE	0	vol->dev.devres_head.next	4096-ptr_max
PARAM_VALUE	0	vol->dev.devres_head.next->next	4096-ptr_max
PARAM_VALUE	0	vol->dev.devres_head.prev	4096-ptr_max
PARAM_VALUE	0	vol->dev.devres_head.prev->next	4096-ptr_max
PARAM_VALUE	0	vol->dev.devres_head.prev->prev	4096-ptr_max
PARAM_VALUE	0	vol->dev.dma_io_tlb_mem	1473117533515866112
PARAM_VALUE	0	vol->dev.dma_io_tlb_mem->defpool.nareas	0-s32max
PARAM_VALUE	0	vol->dev.dma_io_tlb_mem->dyn_alloc.data.counter	0,9007199250546704
PARAM_VALUE	0	vol->dev.dma_io_tlb_mem->pools.next	0
PARAM_VALUE	0	vol->dev.dma_io_tlb_mem->pools.prev	0,1473117533515866408
PARAM_VALUE	0	vol->dev.dma_io_tlb_pools.next	4096-ptr_max
PARAM_VALUE	0	vol->dev.dma_io_tlb_pools.next->next	4096-ptr_max
PARAM_VALUE	0	vol->dev.dma_io_tlb_pools.prev	4096-ptr_max
PARAM_VALUE	0	vol->dev.dma_io_tlb_pools.prev->next	4096-ptr_max
PARAM_VALUE	0	vol->dev.dma_io_tlb_pools.prev->prev	4096-ptr_max
PARAM_VALUE	0	vol->dev.dma_pools.next	4096-ptr_max
PARAM_VALUE	0	vol->dev.dma_pools.next->next	4096-ptr_max
PARAM_VALUE	0	vol->dev.dma_pools.prev	4096-ptr_max
PARAM_VALUE	0	vol->dev.dma_pools.prev->next	4096-ptr_max
PARAM_VALUE	0	vol->dev.dma_pools.prev->prev	4096-ptr_max
PARAM_VALUE	0	vol->dev.dma_uses_io_tlb	0
PARAM_VALUE	0	vol->dev.flags	4096-ptr_max
PARAM_VALUE	0	vol->dev.fwnode	0,4096-ptr_max
PARAM_VALUE	0	vol->dev.groups	1227913279070584832
PARAM_VALUE	0	vol->dev.kobj.entry.next	4096-ptr_max
PARAM_VALUE	0	vol->dev.kobj.entry.next->next	4096-ptr_max
PARAM_VALUE	0	vol->dev.kobj.entry.prev	4096-ptr_max
PARAM_VALUE	0	vol->dev.kobj.entry.prev->next	4096-ptr_max
PARAM_VALUE	0	vol->dev.kobj.entry.prev->prev	4096-ptr_max
PARAM_VALUE	0	vol->dev.kobj.kref.refcount.refs.counter	1
PARAM_VALUE	0	vol->dev.kobj.kset	0,4096-ptr_max
PARAM_VALUE	0	vol->dev.kobj.ktype	5399513539053756416
PARAM_VALUE	0	vol->dev.kobj.state_add_uevent_sent	0
PARAM_VALUE	0	vol->dev.kobj.state_in_sysfs	0
PARAM_VALUE	0	vol->dev.kobj.state_initialized	1
PARAM_VALUE	0	vol->dev.kobj.state_remove_uevent_sent	0
PARAM_VALUE	0	vol->dev.links.consumers.next	4096-ptr_max
PARAM_VALUE	0	vol->dev.links.consumers.next->next	4096-ptr_max
PARAM_VALUE	0	vol->dev.links.consumers.prev	4096-ptr_max
PARAM_VALUE	0	vol->dev.links.consumers.prev->next	4096-ptr_max
PARAM_VALUE	0	vol->dev.links.consumers.prev->prev	4096-ptr_max
PARAM_VALUE	0	vol->dev.links.defer_sync.next	4096-ptr_max
PARAM_VALUE	0	vol->dev.links.defer_sync.next->next	4096-ptr_max
PARAM_VALUE	0	vol->dev.links.defer_sync.prev	4096-ptr_max
PARAM_VALUE	0	vol->dev.links.defer_sync.prev->next	4096-ptr_max
PARAM_VALUE	0	vol->dev.links.defer_sync.prev->prev	4096-ptr_max
PARAM_VALUE	0	vol->dev.links.status	0
PARAM_VALUE	0	vol->dev.links.suppliers.next	4096-ptr_max
PARAM_VALUE	0	vol->dev.links.suppliers.next->next	4096-ptr_max
PARAM_VALUE	0	vol->dev.links.suppliers.prev	4096-ptr_max
PARAM_VALUE	0	vol->dev.links.suppliers.prev->next	4096-ptr_max
PARAM_VALUE	0	vol->dev.links.suppliers.prev->prev	4096-ptr_max
PARAM_VALUE	0	vol->dev.numa_node	(-1)
PARAM_VALUE	0	vol->dev.of_node	0,4096-ptr_max
PARAM_VALUE	0	vol->dev.parent	4096-ptr_max
PARAM_VALUE	0	vol->dev.power.child_count.counter	0
PARAM_VALUE	0	vol->dev.power.deferred_resume	0
PARAM_VALUE	0	vol->dev.power.disable_depth	1
PARAM_VALUE	0	vol->dev.power.early_init	1
PARAM_VALUE	0	vol->dev.power.entry.next	4096-ptr_max
PARAM_VALUE	0	vol->dev.power.entry.next->next	4096-ptr_max
PARAM_VALUE	0	vol->dev.power.entry.prev	4096-ptr_max
PARAM_VALUE	0	vol->dev.power.entry.prev->next	4096-ptr_max
PARAM_VALUE	0	vol->dev.power.entry.prev->prev	4096-ptr_max
PARAM_VALUE	0	vol->dev.power.idle_notification	0
PARAM_VALUE	0	vol->dev.power.ignore_children	0
PARAM_VALUE	0	vol->dev.power.is_late_suspended	0
PARAM_VALUE	0	vol->dev.power.is_noirq_suspended	0
PARAM_VALUE	0	vol->dev.power.is_prepared	0
PARAM_VALUE	0	vol->dev.power.is_suspended	0
PARAM_VALUE	0	vol->dev.power.last_status	(-1)
PARAM_VALUE	0	vol->dev.power.needs_force_resume	0
PARAM_VALUE	0	vol->dev.power.qos	0
PARAM_VALUE	0	vol->dev.power.request	0
PARAM_VALUE	0	vol->dev.power.request_pending	0
PARAM_VALUE	0	vol->dev.power.runtime_auto	1
PARAM_VALUE	0	vol->dev.power.runtime_error	0
PARAM_VALUE	0	vol->dev.power.runtime_status	2
PARAM_VALUE	0	vol->dev.power.timer_expires	0
PARAM_VALUE	0	vol->dev.power.usage_count.counter	0
PARAM_VALUE	0	vol->dev.power.wait_queue.head.next	4096-ptr_max
PARAM_VALUE	0	vol->dev.power.wait_queue.head.next->next	4096-ptr_max
PARAM_VALUE	0	vol->dev.power.wait_queue.head.prev	4096-ptr_max
PARAM_VALUE	0	vol->dev.power.wait_queue.head.prev->next	4096-ptr_max
PARAM_VALUE	0	vol->dev.power.wait_queue.head.prev->prev	4096-ptr_max
PARAM_VALUE	0	vol->dev.release	3440284224248336384
PARAM_VALUE	0	vol->name_len	1-127
PARAM_VALUE	0	vol->ubi	4096-ptr_max
PARAM_VALUE	0	vol->ubi->device_mutex.first_waiter	0,4096-ptr_max
PARAM_VALUE	0	vol->ubi->device_mutex.osq.tail.counter	0-s32max
PARAM_VALUE	0	vol->ubi->device_mutex.wait_lock.owner	(-1)
PARAM_VALUE	0	vol->ubi->device_mutex.wait_lock.owner_cpu	u32max
PARAM_VALUE	0	vol->ubi->is_dead	0
PARAM_VALUE	0	vol->ubi->leb_size	1-s32max
PARAM_VALUE	0	vol->ubi->ro_mode	0
PARAM_VALUE	0	vol->usable_leb_size	0-2147483646
PARAM_VALUE	0	vol->vol_id	0-s32max
PARAM_VALUE	0	vol->vol_type	3-4
PARAM_VALUE	1	tbl	4096-ptr_max
BUF_SIZE	0	vol	2168
BUF_SIZE	0	vol->dev.class	96
BUF_SIZE	0	vol->dev.groups	16
BUF_SIZE	0	vol->dev.parent	1616
BUF_SIZE	1	tbl	8
BUF_SIZE	1	tbl	8
CAPPED_DATA	0	vol->name_len	1
CAPPED_DATA	0	vol->reserved_pebs	1
CAPPED_DATA	0	vol->ubi->vtbl_slots	1
CAPPED_DATA	0	vol->vol_id	1
DATA_SOURCE	0	vol	r _kzalloc_noprof
DATA_SOURCE	1	tbl	r ubi_eba_create_table
CAPABLE	0	24
NOSPEC	0	vol->alignment
NOSPEC	0	vol->name_len
NOSPEC	0	vol->vol_id
MEM_ZERO	0	&vol->dev.power.suspend_timer
NOCHECK_CALL
USER_DATA	0	vol->alignment	1-s32max[c]
USER_DATA	0	vol->data_pad	1-s32max[c]
USER_DATA	0	vol->name_len	1-127[c]
USER_DATA	0	vol->usable_leb_size	0-2147483646[c]
USER_DATA	0	vol->vol_id	0-2147483646[c]
USER_DATA	0	vol->vol_type	3-4
USER_DATA	0	*vol->name	0-255
NO_OVERFLOW_SIMPLE	0	vol->reserved_pebs
USER_PTR	0	vol->name
LOCK2		&ubi->device_mutex
TYPE_LOCK		(struct ubi_device)->device_mutex

drivers/mtd/ubi/vmt.c vol_release() -> ubi_eba_replace_table()

Type	Parameter	Key	Value
PARAM_VALUE	0	vol	4096-ptr_max
PARAM_VALUE	1	tbl	0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2		global &ubi_devices_mutex

drivers/mtd/ubi/eba.c ubi_eba_init() -> ubi_eba_replace_table()

Type	Parameter	Key	Value
PARAM_VALUE	0	vol	4096-ptr_max
PARAM_VALUE	1	tbl	4096-ptr_max
PARAM_VALUE	1	tbl->entries	16,4096-ptr_max
BUF_SIZE	1	tbl	8
CAPPED_DATA	0	vol->reserved_pebs	1
DATA_SOURCE	1	tbl	r ubi_eba_create_table
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE	0	vol->reserved_pebs
LOCK2		global &ubi_devices_mutex
HALF_LOCKED2		global &mtd_table_mutex

drivers/mtd/ubi/eba.c ubi_eba_init() -> ubi_eba_replace_table()

Type	Parameter	Key	Value
PARAM_VALUE	0	vol	1-u64max
PARAM_VALUE	1	tbl	0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2		global &ubi_devices_mutex
HALF_LOCKED2		global &mtd_table_mutex

drivers/mtd/ubi/build.c ubi_free_volumes_from() -> ubi_eba_replace_table()

Type	Parameter	Key	Value
PARAM_VALUE	0	vol	4096-ptr_max
PARAM_VALUE	0	vol->is_dead	0
PARAM_VALUE	1	tbl	0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2		global &ubi_devices_mutex