*read_ack_register_addr = ghes_addr + sizeof(uint64_t);
}
-void ghes_record_cper_errors(const void *cper, size_t len,
- uint16_t source_id, Error **errp)
+static void ghes_record_cper_errors(const void *cper, size_t len,
+ uint16_t source_id, Error **errp)
{
uint64_t cper_addr = 0, read_ack_register_addr = 0, read_ack_register;
AcpiGedState *acpi_ged_state;
/* Write the generic error data entry into guest memory */
cpu_physical_memory_write(cper_addr, cper, len);
-
- return;
}
int acpi_ghes_memory_errors(uint16_t source_id, uint64_t physical_address)
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);
/**
* acpi_ghes_present: Report whether ACPI GHES table is present