ACPI_TABLE_GUID    58 arch/x86/boot/compressed/acpi.c 		if (!(efi_guidcmp(guid, ACPI_TABLE_GUID)))
ACPI_TABLE_GUID   464 drivers/firmware/efi/efi.c 	{ACPI_TABLE_GUID, "ACPI", &efi.acpi},