diff options
| author | Marshall Dawson <marshalldawson3rd@gmail.com> | 2018-09-04 13:45:26 -0600 |
|---|---|---|
| committer | Martin Roth <martinroth@google.com> | 2018-09-07 14:50:34 +0000 |
| commit | 1d8d369dad880a9787bd97ff01ecb2434d328374 (patch) | |
| tree | 91635c108286a5c60faf563095333c7190aa85ae /src/arch/x86/include | |
| parent | 44705c6e5e5075f450d6acaa470a04b620deb13f (diff) | |
x86/acpi: Add BERT table
Create a structure for the Boot Error Record Table, and a generic
table generator function.
BUG=b:65446699
TEST=inspect BERT region, and dmesg, on full patch stack. Use test
data plus a failing Grunt system.
Change-Id: Ibeef4347678598f9f967797202a4ae6b25ee5538
Signed-off-by: Marshall Dawson <marshalldawson3rd@gmail.com>
Reviewed-on: https://review.coreboot.org/28472
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
Reviewed-by: Martin Roth <martinroth@google.com>
Diffstat (limited to 'src/arch/x86/include')
| -rw-r--r-- | src/arch/x86/include/arch/acpi.h | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/src/arch/x86/include/arch/acpi.h b/src/arch/x86/include/arch/acpi.h index 9b2eac01c9..c84adda0d0 100644 --- a/src/arch/x86/include/arch/acpi.h +++ b/src/arch/x86/include/arch/acpi.h @@ -644,6 +644,13 @@ typedef struct acpi_hest_hen { u32 error_threshold_win; } __packed acpi_hest_hen_t; +/* BERT (Boot Error Record Table) */ +typedef struct acpi_bert { + struct acpi_table_header header; + u32 region_length; + u64 error_region; +} __packed acpi_bert_t; + /* Generic Error Data Entry (ACPI spec v6.2-A, table 382) */ typedef struct acpi_hest_generic_data { guid_t section_type; @@ -751,6 +758,7 @@ unsigned long acpi_fill_madt(unsigned long current); unsigned long acpi_fill_mcfg(unsigned long current); unsigned long acpi_fill_ivrs_ioapic(acpi_ivrs_t *ivrs, unsigned long current); void acpi_create_ssdt_generator(acpi_header_t *ssdt, const char *oem_table_id); +void acpi_write_bert(acpi_bert_t *bert, uintptr_t region, size_t length); void acpi_create_fadt(acpi_fadt_t *fadt, acpi_facs_t *facs, void *dsdt); #if IS_ENABLED(CONFIG_COMMON_FADT) void acpi_fill_fadt(acpi_fadt_t *fadt); |