Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/mtd/ubi/wl.c ubi_bitflip_check() -> scrub_possible()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ubi | 4096-ptr_max |
| PARAM_VALUE | 0 | ubi->is_dead | 0 |
| PARAM_VALUE | 0 | ubi->lookuptbl | 4096-ptr_max |
| PARAM_VALUE | 0 | ubi->peb_count | 1-s32max |
| 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->list.next | 2624917664208203776 |
| PARAM_VALUE | 0 | ubi->work_sem.first_waiter->list.prev | 2624917664208203776 |
| PARAM_VALUE | 0 | ubi->work_sem.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | ubi->work_sem.osq.tail.counter | 0-s32max |
| 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 | e | 1-u64max |
| CAPPED_DATA | 0 | &ubi->work_sem | 1 |
| DATA_SOURCE | 0 | ubi | $0 |
| CAPABLE | 0 | 24 | |
| PREEMPT_ADD | <- disables preempt | ||
| LOCK2 | 0 | &ubi->wl_lock | |
| LOCK2 | 0 | &ubi->work_sem | |
| TYPE_LOCK | (struct ubi_device)->wl_lock | ||
| TYPE_LOCK | (struct ubi_device)->work_sem |
drivers/mtd/ubi/wl.c ubi_bitflip_check() -> scrub_possible()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ubi | 4096-ptr_max |
| PARAM_VALUE | 0 | ubi->is_dead | 0 |
| PARAM_VALUE | 0 | ubi->lookuptbl | 4096-ptr_max |
| PARAM_VALUE | 0 | ubi->peb_count | 1-s32max |
| 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->list.next | 2624917664208203776 |
| PARAM_VALUE | 0 | ubi->work_sem.first_waiter->list.prev | 2624917664208203776 |
| PARAM_VALUE | 0 | ubi->work_sem.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | ubi->work_sem.osq.tail.counter | 0-s32max |
| 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 | e | 1-u64max |
| CAPPED_DATA | 0 | &ubi->work_sem | 1 |
| DATA_SOURCE | 0 | ubi | $0 |
| CAPABLE | 0 | 24 | |
| PREEMPT_ADD | <- disables preempt | ||
| USER_DATA | 0 | *ubi->peb_buf | 0-255 |
| LOCK2 | 0 | &ubi->wl_lock | |
| LOCK2 | 0 | &ubi->work_sem | |
| TYPE_LOCK | (struct ubi_device)->wl_lock | ||
| TYPE_LOCK | (struct ubi_device)->work_sem |