Home
last modified time | relevance | path

Searched refs:acpi_guid (Results 1 – 3 of 3) sorted by relevance

/openbsd/sys/arch/arm64/dev/
H A Defi_machdep.c127 static EFI_GUID acpi_guid = EFI_ACPI_20_TABLE_GUID; in efi_attach() local
131 if (efi_guidcmp(&acpi_guid, &ct->VendorGuid) == 0) in efi_attach()
/openbsd/sys/arch/arm64/stand/efiboot/
H A Defiacpi.c372 static EFI_GUID acpi_guid = ACPI_20_TABLE_GUID; in efi_acpi_gtdt()
778 if (efi_guidcmp(&acpi_guid,
345 static EFI_GUID acpi_guid = ACPI_20_TABLE_GUID; global() variable
/openbsd/sys/arch/amd64/stand/efiboot/
H A Defiboot.c832 static EFI_GUID acpi_guid = ACPI_20_TABLE_GUID; variable
866 if (efi_guidcmp(&acpi_guid, in efi_makebootargs()