#include <MdePkg/Include/IndustryStandard/Acpi60.h>

Data Fields
UINT16	Type

UINT16	SourceId

UINT8	Reserved0 [2]

UINT8	Flags

UINT8	Enabled

UINT32	NumberOfRecordsToPreAllocate

UINT32	MaxSectionsPerRecord

EFI_ACPI_6_0_HARDWARE_ERROR_NOTIFICATION_STRUCTURE	NotificationStructure

UINT8	NumberOfHardwareBanks

UINT8	Reserved1 [3]

Detailed Description

IA-32 Architecture Corrected Machine Check Structure Definition

Definition at line 1726 of file Acpi60.h.

Field Documentation

◆ Enabled

UINT8 EFI_ACPI_6_0_IA32_ARCHITECTURE_CORRECTED_MACHINE_CHECK_STRUCTURE::Enabled

Definition at line 1731 of file Acpi60.h.

◆ Flags

UINT8 EFI_ACPI_6_0_IA32_ARCHITECTURE_CORRECTED_MACHINE_CHECK_STRUCTURE::Flags

Definition at line 1730 of file Acpi60.h.

◆ MaxSectionsPerRecord

UINT32 EFI_ACPI_6_0_IA32_ARCHITECTURE_CORRECTED_MACHINE_CHECK_STRUCTURE::MaxSectionsPerRecord

Definition at line 1733 of file Acpi60.h.

◆ NotificationStructure

EFI_ACPI_6_0_HARDWARE_ERROR_NOTIFICATION_STRUCTURE EFI_ACPI_6_0_IA32_ARCHITECTURE_CORRECTED_MACHINE_CHECK_STRUCTURE::NotificationStructure

Definition at line 1734 of file Acpi60.h.

◆ NumberOfHardwareBanks

UINT8 EFI_ACPI_6_0_IA32_ARCHITECTURE_CORRECTED_MACHINE_CHECK_STRUCTURE::NumberOfHardwareBanks

Definition at line 1735 of file Acpi60.h.

◆ NumberOfRecordsToPreAllocate

UINT32 EFI_ACPI_6_0_IA32_ARCHITECTURE_CORRECTED_MACHINE_CHECK_STRUCTURE::NumberOfRecordsToPreAllocate

Definition at line 1732 of file Acpi60.h.

◆ Reserved0

UINT8 EFI_ACPI_6_0_IA32_ARCHITECTURE_CORRECTED_MACHINE_CHECK_STRUCTURE::Reserved0[2]

Definition at line 1729 of file Acpi60.h.

◆ Reserved1

UINT8 EFI_ACPI_6_0_IA32_ARCHITECTURE_CORRECTED_MACHINE_CHECK_STRUCTURE::Reserved1[3]

Definition at line 1736 of file Acpi60.h.

◆ SourceId

UINT16 EFI_ACPI_6_0_IA32_ARCHITECTURE_CORRECTED_MACHINE_CHECK_STRUCTURE::SourceId

Definition at line 1728 of file Acpi60.h.

◆ Type

UINT16 EFI_ACPI_6_0_IA32_ARCHITECTURE_CORRECTED_MACHINE_CHECK_STRUCTURE::Type

Definition at line 1727 of file Acpi60.h.

The documentation for this struct was generated from the following file:

MdePkg/Include/IndustryStandard/Acpi60.h

Data Fields