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

/freebsd-10-stable/sys/boot/ia64/efi/
H A Dmain.c58 EFI_GUID acpi20 = ACPI_20_TABLE_GUID; variable
337 else if (!memcmp(guid, &acpi20, sizeof(EFI_GUID)))
/freebsd-10-stable/sys/boot/efi/loader/
H A Dmain.c58 EFI_GUID acpi20 = ACPI_20_TABLE_GUID; variable
536 else if (!memcmp(guid, &acpi20, sizeof(EFI_GUID)))

Completed in 115 milliseconds