/src/VBox/Devices/EFI/Firmware/IntelFrameworkModulePkg/Universal/Acpi/AcpiS3SaveDxe/

• ../
• AcpiS3Save.c
• AcpiS3Save.h
• AcpiS3SaveDxe.inf
• AcpiVariableThunkPlatform.c