Searched refs:FrameworkMpService (Results 1 - 1 of 1) sorted by relevance

/vbox/src/VBox/Devices/EFI/Firmware/IntelFrameworkModulePkg/Universal/Acpi/AcpiS3SaveDxe/
H A DAcpiVariableThunkPlatform.c42 #include <Protocol/FrameworkMpService.h>
127 FRAMEWORK_EFI_MP_SERVICES_PROTOCOL *FrameworkMpService; local
133 (VOID**) &FrameworkMpService

Completed in 31 milliseconds