/UefiCpuPkg/Include/Ppi/

• ../
• MpServices2.h