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" 2648b0dcddSMauro Carvalho Chehab #include "qapi/error.h" 27aa16508fSDongjiu Geng 28205cc75dSDongjiu Geng /* 29205cc75dSDongjiu Geng * Values for Hardware Error Notification Type field 30205cc75dSDongjiu Geng */ 31205cc75dSDongjiu Geng enum AcpiGhesNotifyType { 32205cc75dSDongjiu Geng /* Polled */ 33205cc75dSDongjiu Geng ACPI_GHES_NOTIFY_POLLED = 0, 34205cc75dSDongjiu Geng /* External Interrupt */ 35205cc75dSDongjiu Geng ACPI_GHES_NOTIFY_EXTERNAL = 1, 36205cc75dSDongjiu Geng /* Local Interrupt */ 37205cc75dSDongjiu Geng ACPI_GHES_NOTIFY_LOCAL = 2, 38205cc75dSDongjiu Geng /* SCI */ 39205cc75dSDongjiu Geng ACPI_GHES_NOTIFY_SCI = 3, 40205cc75dSDongjiu Geng /* NMI */ 41205cc75dSDongjiu Geng ACPI_GHES_NOTIFY_NMI = 4, 42205cc75dSDongjiu Geng /* CMCI, ACPI 5.0: 18.3.2.7, Table 18-290 */ 43205cc75dSDongjiu Geng ACPI_GHES_NOTIFY_CMCI = 5, 44205cc75dSDongjiu Geng /* MCE, ACPI 5.0: 18.3.2.7, Table 18-290 */ 45205cc75dSDongjiu Geng ACPI_GHES_NOTIFY_MCE = 6, 46205cc75dSDongjiu Geng /* GPIO-Signal, ACPI 6.0: 18.3.2.7, Table 18-332 */ 47205cc75dSDongjiu Geng ACPI_GHES_NOTIFY_GPIO = 7, 48205cc75dSDongjiu Geng /* ARMv8 SEA, ACPI 6.1: 18.3.2.9, Table 18-345 */ 49205cc75dSDongjiu Geng ACPI_GHES_NOTIFY_SEA = 8, 50205cc75dSDongjiu Geng /* ARMv8 SEI, ACPI 6.1: 18.3.2.9, Table 18-345 */ 51205cc75dSDongjiu Geng ACPI_GHES_NOTIFY_SEI = 9, 52205cc75dSDongjiu Geng /* External Interrupt - GSIV, ACPI 6.1: 18.3.2.9, Table 18-345 */ 53205cc75dSDongjiu Geng ACPI_GHES_NOTIFY_GSIV = 10, 54205cc75dSDongjiu Geng /* Software Delegated Exception, ACPI 6.2: 18.3.2.9, Table 18-383 */ 55205cc75dSDongjiu Geng ACPI_GHES_NOTIFY_SDEI = 11, 56205cc75dSDongjiu Geng /* 12 and greater are reserved */ 57205cc75dSDongjiu Geng ACPI_GHES_NOTIFY_RESERVED = 12 58205cc75dSDongjiu Geng }; 59205cc75dSDongjiu Geng 60205cc75dSDongjiu Geng enum { 61205cc75dSDongjiu Geng ACPI_HEST_SRC_ID_SEA = 0, 62205cc75dSDongjiu Geng /* future ids go here */ 63239c3f7eSMauro Carvalho Chehab 64239c3f7eSMauro Carvalho Chehab ACPI_GHES_ERROR_SOURCE_COUNT 65205cc75dSDongjiu Geng }; 66205cc75dSDongjiu Geng 67a08a6462SDongjiu Geng typedef struct AcpiGhesState { 68*652f6d86SMauro Carvalho Chehab uint64_t hw_error_le; 691c81f573SPeter Maydell bool present; /* True if GHES is present at all on this board */ 70a08a6462SDongjiu Geng } AcpiGhesState; 71a08a6462SDongjiu Geng 72606a42c4SMauro Carvalho Chehab void acpi_build_hest(GArray *table_data, GArray *hardware_errors, 73606a42c4SMauro Carvalho Chehab BIOSLinker *linker, 74602b4582SMarian Postevca const char *oem_id, const char *oem_table_id); 75a08a6462SDongjiu Geng void acpi_ghes_add_fw_cfg(AcpiGhesState *vms, FWCfgState *s, 76a08a6462SDongjiu Geng GArray *hardware_errors); 77d32028a5SMauro Carvalho Chehab int acpi_ghes_memory_errors(uint16_t source_id, uint64_t error_physical_addr); 781c81f573SPeter Maydell 791c81f573SPeter Maydell /** 801c81f573SPeter Maydell * acpi_ghes_present: Report whether ACPI GHES table is present 811c81f573SPeter Maydell * 821c81f573SPeter Maydell * Returns: true if the system has an ACPI GHES table and it is 83d32028a5SMauro Carvalho Chehab * safe to call acpi_ghes_memory_errors() to record a memory error. 841c81f573SPeter Maydell */ 851c81f573SPeter Maydell bool acpi_ghes_present(void); 86aa16508fSDongjiu Geng #endif 87