Searched defs:EFI_ACPI_4_0_BOOT_ERROR_RECORD_TABLE_HEADER (Results 1 - 1 of 1) sorted by relevance
| /vbox/src/VBox/Devices/EFI/Firmware/MdePkg/Include/IndustryStandard/ | ||
| H A D | Acpi40.h | 665 } EFI_ACPI_4_0_BOOT_ERROR_RECORD_TABLE_HEADER; typedef in typeref:struct:__anon11482 |
Completed in 53 milliseconds