Home
last modified time | relevance | path

Searched defs:acpi20_guid (Results 1 – 2 of 2) sorted by relevance

/freebsd/stand/kboot/kboot/arch/aarch64/
H A Dexec.c60 static EFI_GUID acpi20_guid = ACPI_20_TABLE_GUID; variable
/freebsd/stand/kboot/kboot/arch/amd64/
H A Delf64_freebsd.c58 static EFI_GUID acpi20_guid = ACPI_20_TABLE_GUID; variable