|
@@ -74,15 +74,15 @@ 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_memory_errors(uint16_t source_id, uint64_t error_physical_addr);
|
|
|
void ghes_record_cper_errors(const void *cper, size_t len,
|
|
|
uint16_t source_id, Error **errp);
|
|
|
-int acpi_ghes_record_errors(uint16_t source_id, uint64_t error_physical_addr);
|
|
|
|
|
|
/**
|
|
|
* acpi_ghes_present: Report whether ACPI GHES table is present
|
|
|
*
|
|
|
* Returns: true if the system has an ACPI GHES table and it is
|
|
|
- * safe to call acpi_ghes_record_errors() to record a memory error.
|
|
|
+ * safe to call acpi_ghes_memory_errors() to record a memory error.
|
|
|
*/
|
|
|
bool acpi_ghes_present(void);
|
|
|
#endif
|