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

/vbox/src/VBox/Devices/EFI/Firmware/IntelFrameworkModulePkg/Universal/Acpi/AcpiS3SaveDxe/
H A DAcpiVariableThunkPlatform.c70 S3ReadyThunkPlatform ( function
79 DEBUG ((EFI_D_INFO, "S3ReadyThunkPlatform\n"));
H A DAcpiS3Save.c49 S3ReadyThunkPlatform (
483 S3ReadyThunkPlatform (AcpiS3Context);

Completed in 43 milliseconds