1 /* 2 * Copyright 2018, Jaroslaw Pelczar <jarek@jpelczar.com> 3 * Distributed under the terms of the MIT License. 4 */ 5 #ifndef _KERNEL_ARCH_ARM64_ARCH_VM_TRANSLATION_MAP_H_ 6 #define _KERNEL_ARCH_ARM64_ARCH_VM_TRANSLATION_MAP_H_ 7 8 // The base address of TTBR*_EL1 is in bits [47:1] of the register, and the 9 // low bit is implicitly zero. 10 static constexpr uint64_t kTtbrBasePhysAddrMask = (((1UL << 47) - 1) << 1); 11 12 void arch_vm_install_empty_table_ttbr0(void); 13 14 #endif /* _KERNEL_ARCH_ARM64_ARCH_VM_TRANSLATION_MAP_H_ */ 15