Symbol: ACPI_EFI_EVENT
usr/src/uts/intel/sys/acpi/platform/acefiex.h
416
ACPI_EFI_EVENT WaitForKey;
usr/src/uts/intel/sys/acpi/platform/acefiex.h
741
ACPI_EFI_EVENT Event,