|
@@ -73,7 +73,7 @@ void acpi_build_hest(GArray *table_data, GArray *hardware_errors,
|
|
|
const char *oem_id, const char *oem_table_id);
|
|
|
void acpi_ghes_add_fw_cfg(AcpiGhesState *vms, FWCfgState *s,
|
|
|
GArray *hardware_errors);
|
|
|
-int acpi_ghes_record_errors(uint8_t notify, uint64_t error_physical_addr);
|
|
|
+int acpi_ghes_record_errors(uint8_t source_id, uint64_t error_physical_addr);
|
|
|
|
|
|
/**
|
|
|
* acpi_ghes_present: Report whether ACPI GHES table is present
|