1/*
2 * Copyright 2017, Data61
3 * Commonwealth Scientific and Industrial Research Organisation (CSIRO)
4 * ABN 41 687 119 230.
5 *
6 * This software may be distributed and modified according to the terms of
7 * the BSD 2-Clause license. Note that NO WARRANTY is provided.
8 * See "LICENSE_BSD2.txt" for details.
9 *
10 * @TAG(DATA61_BSD)
11 */
12
13#pragma pack(push,1)
14
15/*
16 * This section is imcomplete. See page 638 of the ACPI book v50
17 */
18
19typedef struct acpi_hest_entry_hdr {
20    uint16_t type;
21    uint16_t src_id;
22} acpi_hest_entry_hdr_t;
23
24/* Hardware Error Source Table */
25typedef struct acpi_hest {
26    acpi_header_t header;
27    uint32_t      entry_count;
28    /* First item in array */
29//    acpi_hest_entry_hdr entry[];
30} acpi_hest_t;
31
32#pragma pack(pop)
33