/src/VBox/Devices/EFI/Firmware/EmbeddedPkg/Include/Ppi/
../
EmbeddedGpio.h