Documented in 1 files:
Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
lib/pldmfw/pldmfw.c pldm_move_fw_offset() -> pldm_check_fw_space()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | data | 4096-ptr_max |
| PARAM_VALUE | 0 | data->components.next | 4096-ptr_max |
| PARAM_VALUE | 0 | data->components.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | data->components.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | data->components.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | data->components.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | data->context | 886985984482959360,5043211246365130752,7503242648825520128 |
| PARAM_VALUE | 0 | data->context->component_identifier | 0,6 |
| PARAM_VALUE | 0 | data->context->dev | 1-u64max |
| PARAM_VALUE | 0 | data->context->mode | 0-1 |
| PARAM_VALUE | 0 | data->context->ops | 1238791016361406464,5609725035105665024,6299866083595091968,8444301519837319168 |
| PARAM_VALUE | 0 | data->fw | 4096-ptr_max |
| PARAM_VALUE | 0 | data->fw->data | 1-u64max |
| PARAM_VALUE | 0 | data->fw->size | 1-u64max |
| PARAM_VALUE | 0 | data->records.next | 4096-ptr_max |
| PARAM_VALUE | 0 | data->records.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | data->records.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | data->records.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | data->records.prev->prev | 4096-ptr_max |
| BUF_SIZE | 0 | data->header | (-1),1-s32max |
| CAPPED_DATA | 0 | data->context->component_identifier | 1 |
| CAPPED_DATA | 0 | data->fw->size | 1 |
| DATA_SOURCE | 0 | data | $0 |
| DATA_SOURCE | 2 | length | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| UNITS | 1 | offset | unit_byte |
| UNITS | 2 | length | unit_byte |
| HALF_LOCKED2 | &devlink->lock |
lib/pldmfw/pldmfw.c pldm_parse_components() -> pldm_check_fw_space()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | data | 4096-ptr_max |
| PARAM_VALUE | 0 | data->bitmap_size | 0-8191 |
| PARAM_VALUE | 0 | data->component_count | 1-u16max |
| PARAM_VALUE | 0 | data->components.next | 4096-ptr_max |
| PARAM_VALUE | 0 | data->components.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | data->components.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | data->components.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | data->components.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | data->context | 886985984482959360,5043211246365130752,7503242648825520128 |
| PARAM_VALUE | 0 | data->context->component_identifier | 0,6 |
| PARAM_VALUE | 0 | data->context->dev | 1-u64max |
| PARAM_VALUE | 0 | data->context->mode | 0-1 |
| PARAM_VALUE | 0 | data->context->ops | 1238791016361406464,5609725035105665024,6299866083595091968,8444301519837319168 |
| PARAM_VALUE | 0 | data->fw | 4096-ptr_max |
| PARAM_VALUE | 0 | data->fw->data | 4096-ptr_max |
| PARAM_VALUE | 0 | data->fw->data->revision | 1 |
| PARAM_VALUE | 0 | data->fw->size | 1-u64max |
| PARAM_VALUE | 0 | data->header | 4096-ptr_max |
| PARAM_VALUE | 0 | data->record_start->descriptor_count | 0-255 |
| PARAM_VALUE | 0 | data->record_start->device_update_flags | 0-4294967295 |
| PARAM_VALUE | 0 | data->record_start->package_data_len | 0-u16max |
| PARAM_VALUE | 0 | data->record_start->record_len | 0-u16max |
| PARAM_VALUE | 0 | data->record_start->version_len | 0-255 |
| PARAM_VALUE | 0 | data->record_start->version_type | 0-255 |
| PARAM_VALUE | 0 | data->records.next | 4096-ptr_max |
| PARAM_VALUE | 0 | data->records.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | data->records.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | data->records.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | data->records.prev->next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | data->records.prev->prev | 4096-ptr_max |
| BUF_SIZE | 0 | data | 104 |
| CAPPED_DATA | 0 | data->bitmap_size | 1 |
| CAPPED_DATA | 0 | data->context->component_identifier | 1 |
| CAPPED_DATA | 0 | data->fw->size | 1 |
| CAPPED_DATA | 0 | data->record_count | 1 |
| DATA_SOURCE | 0 | data | $0 |
| DATA_SOURCE | 1 | offset | r get_unaligned_le32 |
| DATA_SOURCE | 2 | length | r get_unaligned_le32 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &devlink->lock |
lib/pldmfw/pldmfw.c pldm_parse_header() -> pldm_check_fw_space()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | data | 4096-ptr_max |
| PARAM_VALUE | 0 | data->components.next | 4096-ptr_max |
| PARAM_VALUE | 0 | data->components.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | data->components.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | data->components.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | data->components.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | data->context | 886985984482959360,5043211246365130752,7503242648825520128 |
| PARAM_VALUE | 0 | data->context->component_identifier | 0,6 |
| PARAM_VALUE | 0 | data->context->dev | 1-u64max |
| PARAM_VALUE | 0 | data->context->mode | 0-1 |
| PARAM_VALUE | 0 | data->context->ops | 1238791016361406464,5609725035105665024,6299866083595091968,8444301519837319168 |
| PARAM_VALUE | 0 | data->fw | 4096-ptr_max |
| PARAM_VALUE | 0 | data->fw->data | 4096-ptr_max |
| PARAM_VALUE | 0 | data->fw->data->revision | 1 |
| PARAM_VALUE | 0 | data->fw->size | 1-u64max |
| PARAM_VALUE | 0 | data->header | 4096-ptr_max |
| PARAM_VALUE | 0 | data->records.next | 4096-ptr_max |
| PARAM_VALUE | 0 | data->records.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | data->records.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | data->records.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | data->records.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 2 | length | 0-65499,18446744073709551580-u64max |
| BUF_SIZE | 0 | data | 104 |
| BUF_SIZE | 0 | data->header | 1-s32max |
| DATA_SOURCE | 0 | data | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| UNITS | 1 | offset | unit_byte |
| UNITS | 2 | length | unit_byte |
| HALF_LOCKED2 | &devlink->lock |