Searched refs:EFI_ACPI_3_0_EMBEDDED_CONTROLLER_BOOT_RESOURCES_TABLE (Results 1 - 1 of 1) sorted by relevance
| /freebsd-13-stable/sys/contrib/edk2/Include/IndustryStandard/ | ||
| H A D | Acpi30.h | 500 } EFI_ACPI_3_0_EMBEDDED_CONTROLLER_BOOT_RESOURCES_TABLE; typedef in typeref:struct:__anon9094 |
Completed in 63 milliseconds