/arch/arm/include/asm/armv8/

• ../
• mmu.h
• sec_firmware.h