Documented in 1 files:
Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
287600322642ac2d ubi_write_fastmap() -> free_seen()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | seen | 0,16,4096-ptr_max |
| DATA_SOURCE | 0 | seen | r init_seen |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | &ubi->fm_eba_sem | ||
| LOCK2 | &ubi->fm_protect | ||
| LOCK2 | &ubi->work_sem | ||
| HALF_LOCKED2 | &le->mutex | ||
| HALF_LOCKED2 | &ubi->device_mutex | ||
| HALF_LOCKED2 | global &ubi_devices_mutex | ||
| TYPE_LOCK | (struct ubi_device)->fm_eba_sem | ||
| TYPE_LOCK | (struct ubi_device)->fm_protect | ||
| TYPE_LOCK | (struct ubi_device)->work_sem |