uefi-d v0.0.4 (2016-02-11T19:22:58Z)

EFI_ACPI_4_0_ERST_GET_RECORD_COUNT

uefi acpi40
Undocumented in source but is binding to C. You might be able to learn more by searching the web for its name.
extern (C)
enum EFI_ACPI_4_0_ERST_GET_RECORD_COUNT = 0x0A;

Meta

Source

See Source File

uefi acpi40 manifest constantsstructs

Page generated by adrdox