Symbol: ACPI_TABLE_GUID
arch/x86/boot/compressed/acpi.c
42
ACPI_TABLE_GUID);
drivers/firmware/efi/efi.c
617
{ACPI_TABLE_GUID, &efi.acpi, "ACPI" },