2022-01-28 23:38:03 +03:00
|
|
|
/*
|
|
|
|
* 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
|
|
|
|
|
2022-12-22 15:08:11 +03:00
|
|
|
#include "hw/acpi/bios-linker-loader.h"
|
|
|
|
#include "qom/object.h"
|
|
|
|
|
2022-01-28 23:38:03 +03:00
|
|
|
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"
|
|
|
|
|
2022-01-28 23:38:06 +03:00
|
|
|
/* returns NULL unless there is exactly one device */
|
|
|
|
static inline Object *find_erst_dev(void)
|
|
|
|
{
|
|
|
|
return object_resolve_path_type("", TYPE_ACPI_ERST, NULL);
|
|
|
|
}
|
2022-01-28 23:38:03 +03:00
|
|
|
#endif
|