/MdePkg/Include/x64/

• ../
• ProcessorBind.h