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