Searched refs:EFI_ACPI_4_0_ERST_GET_RECORD_COUNT (Results 1 - 1 of 1) sorted by relevance
/vbox/src/VBox/Devices/EFI/Firmware/MdePkg/Include/IndustryStandard/ | ||
H A D | Acpi40.h | 982 #define EFI_ACPI_4_0_ERST_GET_RECORD_COUNT 0x0A macro |
Completed in 47 milliseconds