Defined in 1 files as a function:
Referenced in 3 files:
Smatch caller information:
287600322642ac2d init_seen() -> ubi_dbg_chk_fastmap()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ubi | 4096-ptr_max |
| 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 | |
| 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 |
287600322642ac2d self_check_seen() -> ubi_dbg_chk_fastmap()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ubi | 4096-ptr_max |
| BUF_SIZE | 0 | ubi->fm | 400 |
| CAPPED_DATA | 0 | ubi->fm->used_blocks | 1 |
| CAPPED_DATA | 0 | ubi->fm_pool.size | 1 |
| CAPPED_DATA | 0 | ubi->fm_wl_pool.size | 1 |
| CAPPED_DATA | 0 | ubi->leb_start | 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 | |
| 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 |
287600322642ac2d set_seen() -> ubi_dbg_chk_fastmap()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ubi | 4096-ptr_max |
| DATA_SOURCE | 0 | ubi | $0 |
| MEM_ZERO | 0 | ubi->fm_buf | |
| PREEMPT_ADD | |||
| 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 | |
| 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 | |
| HALF_LOCKED2 | 0 | &ubi->volumes_lock | |
| HALF_LOCKED2 | 0 | &ubi->wl_lock | |
| 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/attach.c ubi_attach() -> ubi_dbg_chk_fastmap()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ubi | 4096-ptr_max |
| BUF_SIZE | 0 | ubi | 7232 |
| BUF_SIZE | 0 | ubi | 7232 |
| DATA_SOURCE | 0 | ubi | $0 |
| 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) |
| STR_LEN | 0 | ubi->mtd->parent | (-1) |
| MEM_ZERO | 0 | &ubi->dev.power.suspend_timer | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| 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 | |
| LOCK2 | global &ubi_devices_mutex | ||
| HALF_LOCKED2 | global &mtd_table_mutex |
drivers/mtd/ubi/build.c ubi_detach_mtd_dev() -> ubi_dbg_chk_fastmap()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ubi | 4096-ptr_max |
| CAPPED_DATA | 0 | ubi->vtbl_slots | 1 |
| DATA_SOURCE | 0 | ubi | r ubi_get_device |
| LOCK2 | global &ubi_devices_mutex |