Defined in 1 files as a prototype:
Referenced in 2 files:
Smatch caller information:
drivers/mtd/ubi/io.c nor_erase_prepare() -> ubi_dump_flash()
| 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->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->ec_hdr_alsize | 0-4000000 |
| 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->mtd | 4096-ptr_max |
| PARAM_VALUE | 0 | ubi->nor_flash | 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 | 2 | offset | 0 |
| BUF_SIZE | 0 | ubi | (-1),128 |
| BUF_SIZE | 0 | ubi | (-1),128 |
| 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 |
| CAPPED_DATA | 0 | ubi->mtd | 1 |
| DATA_SOURCE | 0 | ubi | $0 |
| DATA_SOURCE | 1 | pnum | $1 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| 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 |
| 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 | |
| NO_OVERFLOW_SIMPLE | 1 | pnum | |
| NO_OVERFLOW_SIMPLE | 3 | len | |
| UNITS | 3 | len | unit_byte |
| HALF_LOCKED2 | global &ubi_devices_mutex | ||
| 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/io.c ubi_io_write() -> ubi_dump_flash()
| 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->dbg.emulate_io_failures | 0 |
| 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->mtd | 4096-ptr_max |
| 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 |
| BUF_SIZE | 0 | ubi | (-1),128 |
| BUF_SIZE | 0 | ubi | (-1),128 |
| 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 |
| CAPPED_DATA | 0 | ubi->leb_start | 1 |
| DATA_SOURCE | 0 | ubi | $0 |
| DATA_SOURCE | 1 | pnum | $2 |
| DATA_SOURCE | 2 | offset | $3 |
| DATA_SOURCE | 3 | len | $4 |
| NOSPEC | 0 | ubi->vid_hdr_offset | |
| NOSPEC | 3 | len | |
| NOSPEC | 3 | len | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 3 | len | 3-s32max[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[c] |
| USER_DATA | 0 | *ubi->peb_buf | 0-255 |
| USER_DATA | 2 | offset | 0-s32max[c] |
| USER_DATA | 3 | len | s32min-s32max[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 | |
| NO_OVERFLOW_SIMPLE | 1 | pnum | |
| NO_OVERFLOW_SIMPLE | 3 | len | |
| UNITS | 2 | offset | unit_byte |
| UNITS | 3 | len | unit_byte |
| HALF_LOCKED2 | &le->mutex | ||
| HALF_LOCKED2 | global &ubi_devices_mutex | ||
| HALF_LOCKED2 | 0 | &ubi->buf_mutex | |
| 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 |