Searched defs:acpi20 (Results 1 - 2 of 2) sorted by relevance

/freebsd-10.1-release/sys/boot/amd64/efi/
H A Dmain.c50 EFI_GUID acpi20 = ACPI_20_TABLE_GUID; variable
/freebsd-10.1-release/sys/boot/ia64/efi/
H A Dmain.c58 EFI_GUID acpi20 = ACPI_20_TABLE_GUID; variable

Completed in 52 milliseconds