/MdePkg/Include/Register/X86/

• ../
• CpuPageTable.h