/src/VBox/Devices/EFI/Firmware/IntelFrameworkModulePkg/Universal/Acpi/AcpiS3SaveDxe/
../
AcpiS3Save.c
AcpiS3Save.h
AcpiS3SaveDxe.inf
AcpiVariableThunkPlatform.c