/roms/edk2/EmulatorPkg/Include/Ppi/

• ../
• EmuThunk.h