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