| 1 | /* |
| 2 | * ACPI Error Record Serialization Table, ERST, Implementation |
| 3 | * |
| 4 | * ACPI ERST introduced in ACPI 4.0, June 16, 2009. |
| 5 | * ACPI Platform Error Interfaces : Error Serialization |
| 6 | * |
| 7 | * Copyright (c) 2021 Oracle and/or its affiliates. |
| 8 | * |
| 9 | * SPDX-License-Identifier: GPL-2.0-or-later |
| 10 | */ |
| 11 | #ifndef HW_ACPI_ERST_H |
| 12 | #define HW_ACPI_ERST_H |
| 13 | |
| 14 | #include "hw/acpi/bios-linker-loader.h" |
| 15 | #include "qom/object.h" |
| 16 | |
| 17 | void build_erst(GArray *table_data, BIOSLinker *linker, Object *erst_dev, |
| 18 | const char *oem_id, const char *oem_table_id); |
| 19 | |
| 20 | #define TYPE_ACPI_ERST "acpi-erst" |
| 21 | |
| 22 | /* returns NULL unless there is exactly one device */ |
| 23 | static inline Object *find_erst_dev(void) |
| 24 | { |
| 25 | return object_resolve_path_type("", TYPE_ACPI_ERST, NULL); |
| 26 | } |
| 27 | #endif |