Searched refs:EFI_ACPI_6_4_DEVICE_HANDLE (Results 1 – 1 of 1) sorted by relevance
796 } EFI_ACPI_6_4_DEVICE_HANDLE; typedef807 EFI_ACPI_6_4_DEVICE_HANDLE DeviceHandle;