Defined in 1 files as a function:
Referenced in 3 files:
Smatch caller information:
287600322642ac2d ubi_write_fastmap() -> ubi_io_write_data()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ubi | 4096-ptr_max |
| PARAM_VALUE | 0 | ubi->dbg.emulate_io_failures | 0 |
| 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.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.next | 2212933610777083904,2624917664208203776 |
| PARAM_VALUE | 0 | ubi->work_sem.first_waiter->list.prev | 2212933610777083904,2624917664208203776 |
| 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 |
| PARAM_VALUE | 3 | offset | 0 |
| CAPPED_DATA | 0 | ubi->fm_pool.size | 1 |
| CAPPED_DATA | 0 | ubi->fm_wl_pool.size | 1 |
| CAPPED_DATA | 0 | &ubi->works | 1 |
| DATA_SOURCE | 0 | ubi | $0 |
| 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 | 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 create_vtbl() -> ubi_io_write_data()
| 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->mtd->parent | 0 |
| PARAM_VALUE | 0 | ubi->ro_mode | 0 |
| PARAM_VALUE | 1 | buf | 0,4096-ptr_max |
| PARAM_VALUE | 3 | offset | 0 |
| BUF_SIZE | 1 | buf | (-1)-s32max |
| BUF_SIZE | 1 | buf | (-1)-s32max |
| DATA_SOURCE | 0 | ubi | $0 |
| DATA_SOURCE | 1 | buf | $3 |
| 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 | |
| LOCK2 | global &ubi_devices_mutex | ||
| HALF_LOCKED2 | global &mtd_table_mutex |
drivers/mtd/ubi/eba.c try_recover_peb() -> ubi_io_write_data()
| 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->sched_task_group->idle | s32min-s32max |
| PARAM_VALUE | 0 | ubi->bgt_thread->sched_task_group->parent | 0-s64max |
| PARAM_VALUE | 0 | ubi->bgt_thread->sched_task_group->shares | 0-s64max |
| 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_io_failures | 0 |
| 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.first_waiter->handoff_set | 0-1 |
| 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 | 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->leb_size | 0-s32max |
| PARAM_VALUE | 0 | ubi->ltree_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | ubi->mtd->parent | 0 |
| PARAM_VALUE | 0 | ubi->ro_mode | 0 |
| 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_pool->pebs | s32min-s32max |
| PARAM_VALUE | 0 | *ubi->fm_wl_pool->pebs | s32min-s32max |
| PARAM_VALUE | 2 | pnum | 0-s32max |
| PARAM_VALUE | 3 | offset | 0 |
| BUF_SIZE | 1 | buf | s32min-(-2),1-s32max |
| CAPPED_DATA | 0 | &ubi->buf_mutex | 1 |
| DATA_SOURCE | 2 | pnum | r ubi_wl_get_peb |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | *ubi->peb_buf | 0-255 |
| USER_DATA | 1 | *buf | 0-255 |
| NO_OVERFLOW_SIMPLE | 2 | pnum | |
| UNITS | 4 | len | unit_byte |
| LOCK2 | &le->mutex | ||
| LOCK2 | 0 | &ubi->buf_mutex | |
| HALF_LOCKED2 | &ubi->device_mutex | ||
| TYPE_LOCK | (struct ubi_device)->buf_mutex |
drivers/mtd/ubi/eba.c try_write_vid_and_data() -> ubi_io_write_data()
| 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->sched_task_group->idle | s32min-s32max |
| PARAM_VALUE | 0 | ubi->bgt_thread->sched_task_group->parent | 0-s64max |
| PARAM_VALUE | 0 | ubi->bgt_thread->sched_task_group->shares | 0-s64max |
| PARAM_VALUE | 0 | ubi->dbg.emulate_io_failures | 0 |
| 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.first_waiter->handoff_set | 0-1 |
| 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 | 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->mtd->parent | 0 |
| PARAM_VALUE | 0 | ubi->ro_mode | 0 |
| 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_pool->pebs | s32min-s32max |
| PARAM_VALUE | 0 | *ubi->fm_wl_pool->pebs | s32min-s32max |
| PARAM_VALUE | 2 | pnum | 0-s32max |
| PARAM_VALUE | 4 | len | s32min-(-1),1-s32max |
| BUF_SIZE | 1 | buf | s32min-(-1),1-s32max |
| BUF_SIZE | 1 | buf | s32min-(-1),1-s32max |
| CAPPED_DATA | 4 | len | 1 |
| DATA_SOURCE | 1 | buf | $3 |
| DATA_SOURCE | 2 | pnum | r ubi_wl_get_peb |
| DATA_SOURCE | 3 | offset | $4 |
| DATA_SOURCE | 4 | len | $5 |
| NOSPEC | 3 | offset | |
| NOSPEC | 3 | offset | |
| NOSPEC | 4 | len | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HOST_DATA | 3 | offset | 0-s32max[c] |
| HOST_DATA | 4 | len | 3-s32max[c] |
| USER_DATA | 1 | *buf | s64min-s64max |
| USER_DATA | 3 | offset | 0-s32max[c] |
| USER_DATA | 4 | len | s32min-(-1),1-s32max[c] |
| 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 | &ubi->alc_mutex |
drivers/mtd/ubi/eba.c ubi_eba_copy_leb() -> ubi_io_write_data()
| 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->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->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_do_produce_anchor | 0 |
| 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 | 2212933610777083904 |
| PARAM_VALUE | 0 | ubi->fm_eba_sem.first_waiter->list.prev | 2212933610777083904 |
| PARAM_VALUE | 0 | ubi->fm_eba_sem.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | ubi->fm_eba_sem.wait_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | ubi->fm_eba_sem.wait_lock.owner | (-1) |
| PARAM_VALUE | 0 | ubi->fm_eba_sem.wait_lock.owner_cpu | u32max |
| 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->leb_size | 0-s32max |
| 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_from | 4096-ptr_max |
| PARAM_VALUE | 0 | ubi->move_from->u.rb.rb_left | 0,4096-ptr_max |
| PARAM_VALUE | 0 | ubi->move_from->u.rb.rb_right | 0,4096-ptr_max |
| PARAM_VALUE | 0 | ubi->move_mutex.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | ubi->move_mutex.first_waiter | 0,4096-ptr_max |
| 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.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | ubi->move_mutex.wait_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | ubi->move_mutex.wait_lock.owner | (-1) |
| PARAM_VALUE | 0 | ubi->move_mutex.wait_lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | ubi->move_to | 4096-ptr_max |
| PARAM_VALUE | 0 | ubi->ro_mode | 0 |
| 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 | 3 | offset | 0 |
| BUF_SIZE | 0 | ubi | (-1),128 |
| BUF_SIZE | 0 | ubi | (-1),128 |
| BUF_SIZE | 1 | buf | s32min-(-2),1-s32max |
| CAPPED_DATA | 0 | ubi->mtd | 1 |
| CAPPED_DATA | 0 | &ubi->buf_mutex | 1 |
| DATA_SOURCE | 0 | ubi | $0 |
| DATA_SOURCE | 2 | pnum | $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) |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| 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->vid_hdr_alsize | |
| NO_OVERFLOW_SIMPLE | 0 | ubi->vtbl_size | |
| NO_OVERFLOW_SIMPLE | 2 | pnum | |
| UNITS | 4 | len | unit_byte |
| LOCK2 | &le->mutex | ||
| LOCK2 | 0 | &ubi->buf_mutex | |
| LOCK2 | 0 | &ubi->fm_eba_sem | |
| LOCK2 | 0 | &ubi->move_mutex | |
| LOCK2 | 0 | &ubi->work_sem | |
| HALF_LOCKED2 | 0 | &ubi->device_mutex | |
| TYPE_LOCK | (struct ubi_device)->buf_mutex | ||
| TYPE_LOCK | (struct ubi_device)->fm_eba_sem | ||
| TYPE_LOCK | (struct ubi_device)->move_mutex | ||
| TYPE_LOCK | (struct ubi_device)->work_sem |
drivers/mtd/ubi/eba.c ubi_eba_write_leb() -> ubi_io_write_data()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ubi | 4096-ptr_max |
| 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->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->work_sem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | ubi->work_sem.first_waiter->type | 0-1 |
| PARAM_VALUE | 2 | pnum | 0-s32max |
| PARAM_VALUE | 4 | len | 0-s32max |
| BUF_SIZE | 1 | buf | s32min-s32max |
| CAPPED_DATA | 4 | len | 1 |
| DATA_SOURCE | 0 | ubi | $0 |
| DATA_SOURCE | 1 | buf | $3 |
| DATA_SOURCE | 3 | offset | $4 |
| DATA_SOURCE | 4 | len | $5 |
| FUZZY_MAX | 2 | pnum | 0 |
| NOSPEC | 3 | offset | |
| NOSPEC | 4 | len | |
| NOSPEC | 4 | len | |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HOST_DATA | 3 | offset | 0-s32max[c] |
| HOST_DATA | 4 | len | 3-s32max[c] |
| USER_DATA | 0 | *ubi->peb_buf | 0-255 |
| USER_DATA | 1 | *buf | s64min-s64max |
| USER_DATA | 3 | offset | 0-s32max[c] |
| USER_DATA | 4 | len | 0-s32max[c] |
| NO_OVERFLOW_SIMPLE | 0 | ubi->bgt_thread->dl.pi_se->dl_runtime | |
| 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 | 2 | pnum | |
| 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->device_mutex |