| /* |
| * ACPI Error Record Serialization Table, ERST, Implementation |
| * |
| * ACPI ERST introduced in ACPI 4.0, June 16, 2009. |
| * ACPI Platform Error Interfaces : Error Serialization |
| * |
| * Copyright (c) 2021 Oracle and/or its affiliates. |
| * |
| * SPDX-License-Identifier: GPL-2.0-or-later |
| */ |
| #ifndef HW_ACPI_ERST_H |
| #define HW_ACPI_ERST_H |
| |
| #include "hw/acpi/bios-linker-loader.h" |
| #include "qom/object.h" |
| |
| void build_erst(GArray *table_data, BIOSLinker *linker, Object *erst_dev, |
| const char *oem_id, const char *oem_table_id); |
| |
| #define TYPE_ACPI_ERST "acpi-erst" |
| |
| /* returns NULL unless there is exactly one device */ |
| static inline Object *find_erst_dev(void) |
| { |
| return object_resolve_path_type("", TYPE_ACPI_ERST, NULL); |
| } |
| #endif |