/roms/edk2/MdePkg/Include/AArch64/

• ../
• ProcessorBind.h