Documented in 1 files:
Defined in 1 files as a function:
Referenced in 2 files:
Smatch caller information:
drivers/mtd/ubi/wl.c ensure_wear_leveling() -> __schedule_ubi_work()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ubi | 4096-ptr_max |
| PARAM_VALUE | 0 | ubi->bgt_thread->sched_class->set_cpus_allowed | 0,1927640468783054848,5094656021401329664,7127180339355369472 |
| 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_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->wl_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | ubi->wl_scheduled | 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 | wrk | 4096-ptr_max |
| PARAM_VALUE | 1 | wrk->func | 8015941357320593408 |
| BUF_SIZE | 0 | ubi | (-1),128 |
| BUF_SIZE | 0 | ubi | (-1),128 |
| BUF_SIZE | 1 | wrk | 48 |
| BUF_SIZE | 1 | wrk->func | 8 |
| DATA_SOURCE | 0 | ubi | $0 |
| DATA_SOURCE | 1 | wrk | r _kmalloc_noprof |
| 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 | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | *ubi->peb_buf | 0-255 |
| 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->fm_size | |
| 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 | |
| LOCK2 | 0 | &ubi->work_sem | |
| HALF_LOCKED2 | 0 | &ubi->device_mutex | |
| HALF_LOCKED2 | 0 | &ubi->fm_eba_sem | |
| HALF_LOCKED2 | 0 | &ubi->move_mutex | |
| TYPE_LOCK | (struct ubi_device)->work_sem |
drivers/mtd/ubi/wl.c schedule_erase() -> __schedule_ubi_work()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ubi | 4096-ptr_max |
| PARAM_VALUE | 0 | ubi->bgt_thread->sched_class->set_cpus_allowed | 0,1927640468783054848,5094656021401329664,7127180339355369472 |
| 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_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->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 | 1 | wrk | 4096-ptr_max |
| PARAM_VALUE | 1 | wrk->e | 1-u64max |
| PARAM_VALUE | 1 | wrk->func | 4947894616899207168 |
| BUF_SIZE | 0 | ubi | (-1),128 |
| BUF_SIZE | 0 | ubi | (-1),128 |
| BUF_SIZE | 1 | wrk | 48 |
| BUF_SIZE | 1 | wrk->func | 8 |
| DATA_SOURCE | 0 | ubi | $0 |
| DATA_SOURCE | 1 | wrk | r _kmalloc_noprof |
| 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 | 1 | wrk->lnum | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 1 | wrk->lnum | 0-2147483646[c] |
| USER_DATA | 0 | *ubi->peb_buf | 0-255 |
| USER_DATA | 1 | wrk->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->fm_size | |
| NO_OVERFLOW_SIMPLE | 0 | ubi->leb_size | |
| 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 | |
| HALF_LOCKED2 | 0 | &ubi->device_mutex | |
| HALF_LOCKED2 | 0 | &ubi->fm_eba_sem | |
| HALF_LOCKED2 | 0 | &ubi->fm_protect | |
| HALF_LOCKED2 | 0 | &ubi->move_mutex | |
| HALF_LOCKED2 | 0 | &ubi->work_sem |
drivers/mtd/ubi/wl.c schedule_ubi_work() -> __schedule_ubi_work()
| 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_class->set_cpus_allowed | 0,1927640468783054848,5094656021401329664,7127180339355369472 |
| 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_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->lookuptbl | 16,4096-ptr_max |
| 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 |
| 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->work_sem.wait_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | ubi->work_sem.wait_lock.owner | (-1) |
| PARAM_VALUE | 0 | ubi->work_sem.wait_lock.owner_cpu | u32max |
| PARAM_VALUE | 1 | wrk | 4096-ptr_max |
| PARAM_VALUE | 1 | wrk->func | 4947894616899207168,8015941357320593408 |
| 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->lookuptbl | (-1),8 |
| BUF_SIZE | 0 | ubi->peb_buf | s32min-(-1),1-s32max |
| BUF_SIZE | 1 | wrk | 48 |
| BUF_SIZE | 1 | wrk->func | 8 |
| CAPPED_DATA | 0 | &ubi->work_sem | 1 |
| DATA_SOURCE | 0 | ubi | $0 |
| DATA_SOURCE | 1 | wrk | $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) |
| NOSPEC | 1 | wrk->lnum | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 1 | wrk->lnum | 0-2147483646[c] |
| 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 | 0 | *ubi->peb_buf | 0-255 |
| USER_DATA | 1 | wrk->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->fm_anchor->pnum | |
| NO_OVERFLOW_SIMPLE | 0 | ubi->fm_size | |
| NO_OVERFLOW_SIMPLE | 0 | ubi->leb_size | |
| 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_alsize | |
| NO_OVERFLOW_SIMPLE | 0 | ubi->vtbl_size | |
| LOCK2 | 0 | &ubi->work_sem | |
| HALF_LOCKED2 | &le->mutex | ||
| HALF_LOCKED2 | global &ubi_devices_mutex | ||
| HALF_LOCKED2 | 0 | &ubi->ckvol_mutex | |
| HALF_LOCKED2 | 0 | &ubi->device_mutex | |
| HALF_LOCKED2 | 0 | &ubi->fm_protect | |
| TYPE_LOCK | (struct ubi_device)->work_sem |
drivers/mtd/ubi/wl.c ubi_ensure_anchor_pebs() -> __schedule_ubi_work()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ubi | 4096-ptr_max |
| PARAM_VALUE | 0 | ubi->fm_anchor | 0 |
| PARAM_VALUE | 0 | ubi->fm_do_produce_anchor | 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->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->type | 0-1 |
| PARAM_VALUE | 0 | ubi->wl_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | ubi->wl_scheduled | 1 |
| PARAM_VALUE | 0 | ubi->work_sem.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | ubi->work_sem.first_waiter->handoff_set | 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 | 1 | wrk | 4096-ptr_max |
| PARAM_VALUE | 1 | wrk->func | 8015941357320593408 |
| BUF_SIZE | 0 | ubi->lookuptbl | (-1),8 |
| BUF_SIZE | 1 | wrk | 48 |
| BUF_SIZE | 1 | wrk->func | 8 |
| CAPPED_DATA | 0 | ubi->free.rb_node | 1 |
| DATA_SOURCE | 0 | ubi | $0 |
| DATA_SOURCE | 1 | wrk | r _kmalloc_noprof |
| 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 | |||
| NOCHECK_CALL | |||
| 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 | |
| HALF_LOCKED2 | global &ubi_devices_mutex | ||
| HALF_LOCKED2 | 0 | &ubi->device_mutex |