/src/VBox/Devices/EFI/Firmware/UefiCpuPkg/Include/Ppi/
../
MpServices2.h
RepublishSecPpi.h
ShadowMicrocode.h