diff options
-rw-r--r-- | src/arch/x86/acpi.c | 21 | ||||
-rw-r--r-- | src/arch/x86/include/arch/acpi.h | 8 |
2 files changed, 29 insertions, 0 deletions
diff --git a/src/arch/x86/acpi.c b/src/arch/x86/acpi.c index d334eb3e66..d75d889513 100644 --- a/src/arch/x86/acpi.c +++ b/src/arch/x86/acpi.c @@ -958,6 +958,27 @@ void acpi_write_hest(acpi_hest_t *hest, header->checksum = acpi_checksum((void *)hest, header->length); } +/* ACPI 3.0b */ +void acpi_write_bert(acpi_bert_t *bert, uintptr_t region, size_t length) +{ + acpi_header_t *header = &(bert->header); + + memset(bert, 0, sizeof(acpi_bert_t)); + + memcpy(header->signature, "BERT", 4); + memcpy(header->oem_id, OEM_ID, 6); + memcpy(header->oem_table_id, ACPI_TABLE_CREATOR, 8); + memcpy(header->asl_compiler_id, ASLC, 4); + header->length += sizeof(acpi_bert_t); + header->revision = get_acpi_table_revision(BERT); + + bert->error_region = region; + bert->region_length = length; + + /* Calculate checksums. */ + header->checksum = acpi_checksum((void *)bert, header->length); +} + #if IS_ENABLED(CONFIG_COMMON_FADT) void acpi_create_fadt(acpi_fadt_t *fadt, acpi_facs_t *facs, void *dsdt) { 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); |