// ntddk.h

typedef struct _EFI_ACPI_RAS_SIGNAL_TABLE {
  WHEA_ACPI_HEADER Header;
  UINT32           NumberRecord;
  SIGNAL_REG_VALUE Entries[ANY_SIZE];
} EFI_ACPI_RAS_SIGNAL_TABLE, *PEFI_ACPI_RAS_SIGNAL_TABLE;
View the official Windows Driver Kit DDI reference

NtDoc

No description available.

Edit description on GitHub

Windows Driver Kit DDI reference (ns-ntddk-efi_acpi_ras_signal_table)

Description

This topic describes the EFI_ACPI_RAS_SIGNAL_TABLE structure.

Members

`Header`

Defines the WHEA_ACPI_HEADER member Header.

`NumberRecord`

Defines the UINT32 member NumberRecord.

`Entries`

Defines the SIGNAL_REG_VALUE member Entries.

EFI_ACPI_RAS_SIGNAL_TABLE - NtDoc