Searched refs:EFI_ACPI_20_TABLE_GUID (Results 1 – 2 of 2) sorted by relevance
| /openbsd-src/sys/dev/efi/ | ||
| H A D | efi.h | 44 #define EFI_ACPI_20_TABLE_GUID \ macro |
| /openbsd-src/sys/arch/arm64/dev/ | ||
| H A D | efi_machdep.c | 127 static EFI_GUID acpi_guid = EFI_ACPI_20_TABLE_GUID; in efi_attach() |