/src/VBox/Devices/EFI/Firmware/IntelFsp2Pkg/Include/Ppi/
../
FspmArchConfigPpi.h
TempRamExitPpi.h