Documented in 1 files:
Defined in 1 files as a function:
Referenced in 3 files:
Smatch caller information:
drivers/pci/pcie/aer.c aer_process_err_devices() -> aer_get_device_error_info()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | info | 2640412879697543168 |
| PARAM_VALUE | 0 | info->__pad1 | 0 |
| PARAM_VALUE | 0 | info->__pad2 | 0 |
| PARAM_VALUE | 0 | info->dev | 4096-ptr_max |
| PARAM_VALUE | 0 | info->error_dev_num | 1-s32max |
| PARAM_VALUE | 0 | info->first_error | 0 |
| PARAM_VALUE | 0 | info->id | 0 |
| PARAM_VALUE | 0 | info->level | 7667477890358845440,7930184486994051072 |
| PARAM_VALUE | 0 | info->mask | 0 |
| PARAM_VALUE | 0 | info->multi_error_valid | 0 |
| PARAM_VALUE | 0 | info->severity | 0,2 |
| PARAM_VALUE | 0 | info->status | 0 |
| PARAM_VALUE | 0 | info->tlp.flit | 0 |
| PARAM_VALUE | 0 | info->tlp.header_len | 0 |
| PARAM_VALUE | 0 | info->tlp_header_valid | 0 |
| PARAM_VALUE | 1 | i | 0-2147483646 |
| CAPPED_DATA | 0 | info->error_dev_num | 1 |
| CAPPED_DATA | 1 | i | 1 |
| DATA_SOURCE | 0 | info | $0 |
| PARAM_COMPARE | 0 | info->error_dev_num | > $1 |
| PARAM_COMPARE | 1 | i | < $0->error_dev_num |
| TERMINATED | 0 | info->level | 1 |
| HARD_MAX | 0 | info->severity | 2 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HOST_DATA | 0 | info->mask | 0 |
| HOST_DATA | 0 | info->status | 0 |
| HALF_LOCKED2 | _T->lock |
drivers/pci/pcie/aer.c aer_process_err_devices() -> aer_get_device_error_info()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | info | 2640412879697543168 |
| PARAM_VALUE | 0 | info->__pad1 | 0 |
| PARAM_VALUE | 0 | info->__pad2 | 0 |
| PARAM_VALUE | 0 | info->dev | 4096-ptr_max |
| PARAM_VALUE | 0 | info->error_dev_num | 1-s32max |
| PARAM_VALUE | 0 | info->first_error | 0 |
| PARAM_VALUE | 0 | info->id | 0 |
| PARAM_VALUE | 0 | info->level | 7667477890358845440,7930184486994051072 |
| PARAM_VALUE | 0 | info->mask | 0 |
| PARAM_VALUE | 0 | info->multi_error_valid | 0 |
| PARAM_VALUE | 0 | info->severity | 0,2 |
| PARAM_VALUE | 0 | info->status | 0 |
| PARAM_VALUE | 0 | info->tlp.flit | 0 |
| PARAM_VALUE | 0 | info->tlp.header_len | 0 |
| PARAM_VALUE | 0 | info->tlp_header_valid | 0 |
| PARAM_VALUE | 1 | i | 0-2147483646 |
| CAPPED_DATA | 0 | info->error_dev_num | 1 |
| CAPPED_DATA | 1 | i | 1 |
| DATA_SOURCE | 0 | info | $0 |
| PARAM_COMPARE | 0 | info->error_dev_num | > $1 |
| PARAM_COMPARE | 1 | i | < $0->error_dev_num |
| TERMINATED | 0 | info->level | 1 |
| HARD_MAX | 0 | info->severity | 2 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HOST_DATA | 0 | info->mask | 0 |
| HOST_DATA | 0 | info->status | 0 |
| HALF_LOCKED2 | _T->lock |
drivers/pci/pcie/dpc.c dpc_process_error() -> aer_get_device_error_info()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | info | 2741260992867188736 |
| PARAM_VALUE | 0 | info->__pad1 | 0 |
| PARAM_VALUE | 0 | info->__pad2 | 0 |
| PARAM_VALUE | 0 | info->anfe_status | 0 |
| PARAM_VALUE | 0 | info->first_error | 0 |
| PARAM_VALUE | 0 | info->id | 0 |
| PARAM_VALUE | 0 | info->is_cxl | 0 |
| PARAM_VALUE | 0 | info->level | 0 |
| PARAM_VALUE | 0 | info->mask | 0 |
| PARAM_VALUE | 0 | info->severity | 0 |
| PARAM_VALUE | 0 | info->status | 0 |
| PARAM_VALUE | 0 | info->tlp.flit | 0 |
| PARAM_VALUE | 0 | info->tlp.header_len | 0 |
| PARAM_VALUE | 0 | info->tlp_header_valid | 0 |
| PARAM_VALUE | 1 | i | 0 |
| RX_PATH | |||
| TASK_NOT_RUNNING |