![]() |
coreboot
coreboot is an Open Source project aimed at replacing the proprietary BIOS found in most computers.
|
#include <hest.h>
Data Fields | |
acpi_ghes_esd_t | esd |
u32 | max_raw_data_length |
acpi_addr64_t | sts_addr |
acpi_hest_hen_t | notify |
u32 | err_sts_blk_len |
u32 ghes_record::err_sts_blk_len |
Definition at line 35 of file hest.h.
Referenced by acpi_hest_add_ghes().
acpi_ghes_esd_t ghes_record::esd |
Definition at line 31 of file hest.h.
Referenced by acpi_hest_add_ghes().
u32 ghes_record::max_raw_data_length |
Definition at line 32 of file hest.h.
Referenced by acpi_hest_add_ghes().
acpi_hest_hen_t ghes_record::notify |
Definition at line 34 of file hest.h.
Referenced by acpi_hest_add_ghes().
acpi_addr64_t ghes_record::sts_addr |
Definition at line 33 of file hest.h.
Referenced by acpi_hest_add_ghes().