/src/VBox/Devices/EFI/Firmware/OvmfPkg/CpuS3DataDxe/

• ../
• CpuS3Data.c
• CpuS3DataDxe.inf