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 */
find_erst_dev(void)23 static inline Object *find_erst_dev(void)
24 {
25 return object_resolve_path_type("", TYPE_ACPI_ERST, NULL);
26 }
27 #endif
28