Searched refs:acpi20 (Results 1 – 1 of 1) sorted by relevance
55 EFI_GUID acpi20 = EFI_ACPI_TABLE_GUID; variable383 if (efi_get_table(&acpi20) != NULL || in main()561 else if (!memcmp(guid, &acpi20, sizeof(EFI_GUID))) in command_configuration()