Documented in 1 files:
Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
drivers/mtd/ubi/attach.c scan_peb() -> add_fastmap()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ai | 4096-ptr_max |
| PARAM_VALUE | 0 | ai->alien.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | ai->alien.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | ai->alien.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | ai->corr.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | ai->corr.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | ai->corr.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | ai->ech | 16,4096-ptr_max |
| PARAM_VALUE | 0 | ai->erase.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | ai->erase.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | ai->erase.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | ai->fastmap.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | ai->fastmap.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | ai->fastmap.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | ai->free.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | ai->free.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | ai->free.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | ai->vidb | 4096-ptr_max |
| PARAM_VALUE | 0 | ai->vidb->buffer | 16,4096-ptr_max |
| PARAM_VALUE | 0 | ai->vidb->hdr | 4096-ptr_max |
| PARAM_VALUE | 0 | *ai->vidb->buffer | 0-255 |
| PARAM_VALUE | 1 | pnum | 0-2147483646 |
| PARAM_VALUE | 2 | vid_hdr | 4096-ptr_max |
| PARAM_VALUE | 2 | vid_hdr->compat | 0-2,4-5 |
| PARAM_VALUE | 2 | vid_hdr->copy_flag | 0-1 |
| PARAM_VALUE | 2 | vid_hdr->data_pad | 0-2147483646 |
| PARAM_VALUE | 2 | vid_hdr->data_size | 0-s32max |
| PARAM_VALUE | 2 | vid_hdr->lnum | 0-s32max |
| PARAM_VALUE | 2 | vid_hdr->magic | 1430407457 |
| PARAM_VALUE | 2 | vid_hdr->used_ebs | 0-s32max |
| PARAM_VALUE | 2 | vid_hdr->vol_id | 2147479552-2147479553 |
| PARAM_VALUE | 2 | vid_hdr->vol_type | 1-2 |
| PARAM_VALUE | 3 | ec | (-1)-s32max |
| BUF_SIZE | 0 | ai | (-1),192 |
| BUF_SIZE | 0 | ai | (-1),192 |
| BUF_SIZE | 0 | ai->vidb | 16 |
| CAPPED_DATA | 0 | ai | 1 |
| CAPPED_DATA | 1 | pnum | 1 |
| DATA_SOURCE | 0 | ai | $1 |
| DATA_SOURCE | 1 | pnum | $2 |
| FUZZY_MAX | 1 | pnum | 63 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | *ai->vidb->buffer | 0-255 |
| NO_OVERFLOW_SIMPLE | 0 | ai->aeb_slab_cache->object_size | |
| NO_OVERFLOW_SIMPLE | 1 | pnum | |
| UNITS | 2 | vid_hdr | unit_byte |
| LOCK2 | global &ubi_devices_mutex | ||
| HALF_LOCKED2 | global &mtd_table_mutex |