Open Menu /

Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 5 files:

Smatch caller information:

drivers/mtd/ubi/kapi.c ubi_leb_erase() -> ubi_eba_unmap_leb()

Type Parameter Key Value
PARAM_VALUE 1 vol 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
CAPPED_DATA 1 vol->reserved_pebs 1
CAPPED_DATA 2 lnum 1
DATA_SOURCE 2 lnum $1
PARAM_COMPARE 2 lnum < $1->reserved_pebs
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &dev->lock
HALF_LOCKED2 &ftl->mutex
HALF_LOCKED2 &master->master.chrdev_lock
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 global &mtd_table_mutex

drivers/mtd/ubi/kapi.c ubi_leb_unmap() -> ubi_eba_unmap_leb()

Type Parameter Key Value
PARAM_VALUE 1 vol 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
CAPPED_DATA 1 vol->reserved_pebs 1
CAPPED_DATA 2 lnum 1
DATA_SOURCE 2 lnum $1
PARAM_COMPARE 2 lnum < $1->reserved_pebs
RX_PATH
TASK_NOT_RUNNING
USER_DATA 2 lnum 0-2147483646[c]
UNITS 2 lnum unit_byte

drivers/mtd/ubi/vmt.c ubi_remove_volume() -> ubi_eba_unmap_leb()

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->delays->lock.dep_map->name 0-255
PARAM_VALUE 0 ubi->bgt_thread->delays->lock.raw_lock.val.counter 0-s32max
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.dl_timer.entry.pprev 0
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->sched_task_group->autogroup 0
PARAM_VALUE 0 ubi->bgt_thread->sched_task_group->cfs_rq 0
PARAM_VALUE 0 ubi->bgt_thread->sched_task_group->idle s32min-s32max
PARAM_VALUE 0 ubi->bgt_thread->sched_task_group->rt_rq 0
PARAM_VALUE 0 ubi->bgt_thread->sched_task_group->rt_se 0
PARAM_VALUE 0 ubi->bgt_thread->sched_task_group->shares 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.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_right 0,4096-ptr_max
PARAM_VALUE 0 ubi->fm_anchor->u.rb.rb_left 0,4096-ptr_max
PARAM_VALUE 0 ubi->fm_anchor->u.rb.rb_right 0,4096-ptr_max
PARAM_VALUE 0 ubi->fm_buf->magic 2064766623
PARAM_VALUE 0 ubi->fm_buf->sqnum 0
PARAM_VALUE 0 ubi->fm_buf->used_blocks 0-32,2147483648-4294967295
PARAM_VALUE 0 ubi->fm_buf->version 1
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_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->ltree_lock.rlock.dep_map->name 0-255
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.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->e 0
PARAM_VALUE 0 *ubi->fm_buf->block_ec 0-4294967295
PARAM_VALUE 0 *ubi->fm_buf->block_loc 0-4294967295
PARAM_VALUE 0 *ubi->fm_pool->pebs s32min-s32max
PARAM_VALUE 0 *ubi->fm_wl_pool->pebs s32min-s32max
PARAM_VALUE 1 vol 4096-ptr_max
PARAM_VALUE 1 vol->is_dead 1
PARAM_VALUE 1 vol->ref_count s32min-1
PARAM_VALUE 1 vol->reserved_pebs 1-s32max
PARAM_VALUE 1 vol->ubi 4096-ptr_max
PARAM_VALUE 1 vol->ubi->bgt_thread->delays->blkio_count 0-4294967295
PARAM_VALUE 1 vol->ubi->bgt_thread->delays->blkio_delay_max 0-s64max
PARAM_VALUE 1 vol->ubi->bgt_thread->delays->blkio_delay_min 0-s64max
PARAM_VALUE 1 vol->ubi->bgt_thread->delays->lock.dep_map->name 0-255
PARAM_VALUE 1 vol->ubi->bgt_thread->delays->lock.raw_lock.val.counter 0-s32max
PARAM_VALUE 1 vol->ubi->bgt_thread->dl.dl_timer.base->cpu_base->expires_next 0-s64max
PARAM_VALUE 1 vol->ubi->bgt_thread->dl.dl_timer.base->cpu_base->softirq_expires_next 0-s64max
PARAM_VALUE 1 vol->ubi->bgt_thread->dl.rb_node.__rb_parent_color 1
PARAM_VALUE 1 vol->ubi->bgt_thread->dl.rb_node.rb_left 4096-ptr_max
PARAM_VALUE 1 vol->ubi->bgt_thread->sched_task_group->idle s32min-s32max
PARAM_VALUE 1 vol->ubi->bgt_thread->sched_task_group->shares 0-s64max
PARAM_VALUE 1 vol->ubi->bgt_thread->se.cfs_rq->rq->fair_server.inactive_timer.flags 0-4294967295
PARAM_VALUE 1 vol->ubi->fm_buf->magic 2064766623
PARAM_VALUE 1 vol->ubi->fm_buf->used_blocks 0-32,2147483648-4294967295
PARAM_VALUE 1 vol->ubi->fm_buf->version 1
PARAM_VALUE 1 vol->ubi->fm_eba_sem.dep_map->name 0-255
PARAM_VALUE 1 vol->ubi->fm_eba_sem.first_waiter->handoff_set 0-1
PARAM_VALUE 1 vol->ubi->fm_eba_sem.first_waiter->list.next 2624917664208203776
PARAM_VALUE 1 vol->ubi->fm_eba_sem.first_waiter->list.prev 2624917664208203776
PARAM_VALUE 1 vol->ubi->fm_eba_sem.first_waiter->type 0-1
PARAM_VALUE 1 vol->ubi->fm_protect.dep_map->name 0-255
PARAM_VALUE 1 vol->ubi->fm_protect.first_waiter->handoff_set 0-1
PARAM_VALUE 1 vol->ubi->fm_protect.first_waiter->list.next 2624917664208203776
PARAM_VALUE 1 vol->ubi->fm_protect.first_waiter->list.prev 2624917664208203776
PARAM_VALUE 1 vol->ubi->fm_protect.first_waiter->type 0-1
PARAM_VALUE 1 vol->ubi->ltree_lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 vol->ubi->volumes 4096-ptr_max
PARAM_VALUE 1 vol->ubi->volumes_lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 vol->ubi->wl_lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 vol->ubi->work_sem.dep_map->name 0-255
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->ubi->fm_buf->block_ec 0-4294967295
PARAM_VALUE 1 *vol->ubi->fm_buf->block_loc 0-4294967295
PARAM_VALUE 1 *vol->ubi->fm_pool->pebs s32min-s32max
PARAM_VALUE 1 *vol->ubi->fm_wl_pool->pebs s32min-s32max
PARAM_VALUE 2 lnum 0-s32max
CAPPED_DATA 1 vol 1
CAPPED_DATA 2 lnum 1
FUZZY_MAX 1 vol->ref_count 1
CAPABLE 0 24
PARAM_COMPARE 2 lnum < $1->reserved_pebs
HARD_MAX 1 vol->ref_count 1
UNITS 2 lnum unit_array_size
LOCK2 &ubi->device_mutex
TYPE_LOCK (struct ubi_device)->device_mutex

drivers/mtd/ubi/vmt.c ubi_resize_volume() -> ubi_eba_unmap_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->ro_mode 0
PARAM_VALUE 0 ubi->volumes_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 1 vol 4096-ptr_max
PARAM_VALUE 1 vol->ref_count s32min-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->ro_mode 0
PARAM_VALUE 1 vol->ubi->volumes_lock.rlock.dep_map->name 0-255
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
CAPPED_DATA 2 lnum 1
FUZZY_MAX 1 vol->ref_count 1
HARD_MAX 1 vol->ref_count 1
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 1 vol->reserved_pebs
HALF_LOCKED2 &ubi->device_mutex
HALF_LOCKED2 global &ubi_devices_mutex

drivers/mtd/ubi/upd.c ubi_start_update() -> ubi_eba_unmap_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->vtbl 4096-ptr_max
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->reserved_pebs 1-s32max
PARAM_VALUE 1 vol->upd_buf 1-u64max
PARAM_VALUE 1 vol->upd_marker 1
PARAM_VALUE 1 vol->updating 1
PARAM_VALUE 2 lnum 0-s32max
BUF_SIZE 1 vol->upd_buf 0-s32max,18446744071562067968-u64max
CAPPED_DATA 2 lnum 1
DATA_SOURCE 0 ubi $0
DATA_SOURCE 1 vol $1
CAPABLE 0 24
PARAM_COMPARE 2 lnum < $1->reserved_pebs
UNITS 2 lnum unit_array_size

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

Type Parameter Key Value
PARAM_VALUE 0 ubi 4096-ptr_max
PARAM_VALUE 0 ubi->dev.dma_io_tlb_mem->debugfs 0-s64max
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->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
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_ioctl() -> ubi_eba_unmap_leb()

Type Parameter Key Value
PARAM_VALUE 1 vol 4096-ptr_max
PARAM_VALUE 1 vol->reserved_pebs 1-s32max
PARAM_VALUE 1 vol->vol_type s32min-3,5-s32max
PARAM_VALUE 2 lnum 0-2147483646
CAPPED_DATA 1 vol->reserved_pebs 1
CAPPED_DATA 2 lnum 1
PARAM_COMPARE 2 lnum < $1->reserved_pebs
NOSPEC 2 lnum
USER_DATA 2 lnum 0-2147483646[c]