1aa16508fSDongjiu Geng /* 2aa16508fSDongjiu Geng * Support for generating APEI tables and recording CPER for Guests 3aa16508fSDongjiu Geng * 4aa16508fSDongjiu Geng * Copyright (c) 2020 HUAWEI TECHNOLOGIES CO., LTD. 5aa16508fSDongjiu Geng * 6aa16508fSDongjiu Geng * Author: Dongjiu Geng <gengdongjiu@huawei.com> 7aa16508fSDongjiu Geng * 8aa16508fSDongjiu Geng * This program is free software; you can redistribute it and/or modify 9aa16508fSDongjiu Geng * it under the terms of the GNU General Public License as published by 10aa16508fSDongjiu Geng * the Free Software Foundation; either version 2 of the License, or 11aa16508fSDongjiu Geng * (at your option) any later version. 12aa16508fSDongjiu Geng 13aa16508fSDongjiu Geng * This program is distributed in the hope that it will be useful, 14aa16508fSDongjiu Geng * but WITHOUT ANY WARRANTY; without even the implied warranty of 15aa16508fSDongjiu Geng * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the 16aa16508fSDongjiu Geng * GNU General Public License for more details. 17aa16508fSDongjiu Geng 18aa16508fSDongjiu Geng * You should have received a copy of the GNU General Public License along 19aa16508fSDongjiu Geng * with this program; if not, see <http://www.gnu.org/licenses/>. 20aa16508fSDongjiu Geng */ 21aa16508fSDongjiu Geng 22aa16508fSDongjiu Geng #ifndef ACPI_GHES_H 23aa16508fSDongjiu Geng #define ACPI_GHES_H 24aa16508fSDongjiu Geng 25aa16508fSDongjiu Geng #include "hw/acpi/bios-linker-loader.h" 26aa16508fSDongjiu Geng 27205cc75dSDongjiu Geng /* 28205cc75dSDongjiu Geng * Values for Hardware Error Notification Type field 29205cc75dSDongjiu Geng */ 30205cc75dSDongjiu Geng enum AcpiGhesNotifyType { 31205cc75dSDongjiu Geng /* Polled */ 32205cc75dSDongjiu Geng ACPI_GHES_NOTIFY_POLLED = 0, 33205cc75dSDongjiu Geng /* External Interrupt */ 34205cc75dSDongjiu Geng ACPI_GHES_NOTIFY_EXTERNAL = 1, 35205cc75dSDongjiu Geng /* Local Interrupt */ 36205cc75dSDongjiu Geng ACPI_GHES_NOTIFY_LOCAL = 2, 37205cc75dSDongjiu Geng /* SCI */ 38205cc75dSDongjiu Geng ACPI_GHES_NOTIFY_SCI = 3, 39205cc75dSDongjiu Geng /* NMI */ 40205cc75dSDongjiu Geng ACPI_GHES_NOTIFY_NMI = 4, 41205cc75dSDongjiu Geng /* CMCI, ACPI 5.0: 18.3.2.7, Table 18-290 */ 42205cc75dSDongjiu Geng ACPI_GHES_NOTIFY_CMCI = 5, 43205cc75dSDongjiu Geng /* MCE, ACPI 5.0: 18.3.2.7, Table 18-290 */ 44205cc75dSDongjiu Geng ACPI_GHES_NOTIFY_MCE = 6, 45205cc75dSDongjiu Geng /* GPIO-Signal, ACPI 6.0: 18.3.2.7, Table 18-332 */ 46205cc75dSDongjiu Geng ACPI_GHES_NOTIFY_GPIO = 7, 47205cc75dSDongjiu Geng /* ARMv8 SEA, ACPI 6.1: 18.3.2.9, Table 18-345 */ 48205cc75dSDongjiu Geng ACPI_GHES_NOTIFY_SEA = 8, 49205cc75dSDongjiu Geng /* ARMv8 SEI, ACPI 6.1: 18.3.2.9, Table 18-345 */ 50205cc75dSDongjiu Geng ACPI_GHES_NOTIFY_SEI = 9, 51205cc75dSDongjiu Geng /* External Interrupt - GSIV, ACPI 6.1: 18.3.2.9, Table 18-345 */ 52205cc75dSDongjiu Geng ACPI_GHES_NOTIFY_GSIV = 10, 53205cc75dSDongjiu Geng /* Software Delegated Exception, ACPI 6.2: 18.3.2.9, Table 18-383 */ 54205cc75dSDongjiu Geng ACPI_GHES_NOTIFY_SDEI = 11, 55205cc75dSDongjiu Geng /* 12 and greater are reserved */ 56205cc75dSDongjiu Geng ACPI_GHES_NOTIFY_RESERVED = 12 57205cc75dSDongjiu Geng }; 58205cc75dSDongjiu Geng 59205cc75dSDongjiu Geng enum { 60205cc75dSDongjiu Geng ACPI_HEST_SRC_ID_SEA = 0, 61205cc75dSDongjiu Geng /* future ids go here */ 62205cc75dSDongjiu Geng ACPI_HEST_SRC_ID_RESERVED, 63205cc75dSDongjiu Geng }; 64205cc75dSDongjiu Geng 65a08a6462SDongjiu Geng typedef struct AcpiGhesState { 66a08a6462SDongjiu Geng uint64_t ghes_addr_le; 67*1c81f573SPeter Maydell bool present; /* True if GHES is present at all on this board */ 68a08a6462SDongjiu Geng } AcpiGhesState; 69a08a6462SDongjiu Geng 70aa16508fSDongjiu Geng void build_ghes_error_table(GArray *hardware_errors, BIOSLinker *linker); 71602b4582SMarian Postevca void acpi_build_hest(GArray *table_data, BIOSLinker *linker, 72602b4582SMarian Postevca const char *oem_id, const char *oem_table_id); 73a08a6462SDongjiu Geng void acpi_ghes_add_fw_cfg(AcpiGhesState *vms, FWCfgState *s, 74a08a6462SDongjiu Geng GArray *hardware_errors); 75558b9d86SDongjiu Geng int acpi_ghes_record_errors(uint8_t notify, uint64_t error_physical_addr); 76*1c81f573SPeter Maydell 77*1c81f573SPeter Maydell /** 78*1c81f573SPeter Maydell * acpi_ghes_present: Report whether ACPI GHES table is present 79*1c81f573SPeter Maydell * 80*1c81f573SPeter Maydell * Returns: true if the system has an ACPI GHES table and it is 81*1c81f573SPeter Maydell * safe to call acpi_ghes_record_errors() to record a memory error. 82*1c81f573SPeter Maydell */ 83*1c81f573SPeter Maydell bool acpi_ghes_present(void); 84aa16508fSDongjiu Geng #endif 85