Symbol: EFI_ACPI_TABLE_GUID
usr/src/boot/efi/include/Guid/Acpi.h
34
#define EFI_ACPI_20_TABLE_GUID EFI_ACPI_TABLE_GUID
usr/src/boot/efi/libefi/acpi.c
34
EFI_GUID gEfiAcpi20TableGuid = EFI_ACPI_TABLE_GUID;
usr/src/uts/i86pc/dboot/dboot_startkern.c
153
static efi_guid_t acpi2 = EFI_ACPI_TABLE_GUID;