Documented in 1 files:
Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 2 files:
Smatch caller information:
drivers/mtd/ubi/vtbl.c check_av() -> ubi_dump_av()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | av | 4096-ptr_max |
| BUF_SIZE | 0 | av | (-1),64 |
| BUF_SIZE | 0 | av | (-1),64 |
| DATA_SOURCE | 0 | av | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | global &ubi_devices_mutex | ||
| HALF_LOCKED2 | global &mtd_table_mutex |
drivers/mtd/ubi/attach.c self_check_ai() -> ubi_dump_av()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | av | 4096-ptr_max |
| PARAM_VALUE | 0 | av->data_pad | 0-s32max |
| PARAM_VALUE | 0 | av->highest_lnum | 0-s32max |
| PARAM_VALUE | 0 | av->last_data_size | 0-s32max |
| PARAM_VALUE | 0 | av->leb_count | 0-s32max |
| PARAM_VALUE | 0 | av->root.rb_node | 0,4096-ptr_max |
| PARAM_VALUE | 0 | av->used_ebs | 0-s32max |
| PARAM_VALUE | 0 | av->vol_id | 0-127,2147479551-s32max |
| PARAM_VALUE | 0 | av->vol_type | 3-4 |
| CAPPED_DATA | 0 | av->data_pad | 1 |
| CAPPED_DATA | 0 | av->used_ebs | 1 |
| CAPPED_DATA | 0 | av->vol_id | 1 |
| FUZZY_MAX | 0 | av->data_pad | 0 |
| FUZZY_MAX | 0 | av->last_data_size | 0 |
| FUZZY_MAX | 0 | av->leb_count | 0 |
| FUZZY_MAX | 0 | av->used_ebs | 0 |
| FUZZY_MAX | 0 | av->vol_id | 2147479551 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 0 | av | unit_byte |
| LOCK2 | global &ubi_devices_mutex | ||
| HALF_LOCKED2 | global &mtd_table_mutex |
drivers/mtd/ubi/attach.c self_check_ai() -> ubi_dump_av()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | av | 4096-ptr_max |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 0 | av | unit_byte |
| LOCK2 | global &ubi_devices_mutex | ||
| HALF_LOCKED2 | global &mtd_table_mutex |
drivers/mtd/ubi/attach.c self_check_ai() -> ubi_dump_av()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | av | 4096-ptr_max |
| PARAM_VALUE | 0 | av->root.rb_node | 0,4096-ptr_max |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 0 | av | unit_byte |
| LOCK2 | global &ubi_devices_mutex | ||
| HALF_LOCKED2 | global &mtd_table_mutex |
drivers/mtd/ubi/attach.c validate_vid_hdr() -> ubi_dump_av()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | av | 4096-ptr_max |
| PARAM_VALUE | 0 | av->leb_count | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | av | (-1),64 |
| BUF_SIZE | 0 | av | (-1),64 |
| CAPPED_DATA | 0 | av->vol_id | 1 |
| DATA_SOURCE | 0 | av | $2 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | global &ubi_devices_mutex | ||
| HALF_LOCKED2 | global &mtd_table_mutex |