/MdePkg/Include/X64/

• ../
• ProcessorBind.h