arch/arm64/aarch64.h

15 extern "C" void _arch_exception_panic(const char* someString, uint64 someValue);
17 extern "C" uint64 _arch_transition_EL2_EL1(void);
37 static inline uint64 arch_exception_level()  in arch_exception_level()
90 static inline uint64 arch_mmu_base_register(bool kernel = false)
118 static inline uint64 _arch_mmu_get_sctlr()  in _arch_mmu_get_sctlr()
134 static inline void _arch_mmu_set_sctlr(uint64 sctlr)  in _arch_mmu_set_sctlr()
163 static inline uint64 _arch_mmu_get_tcr(int el = kInvalidExceptionLevel) {
182 static constexpr uint64 TG_MASK = 0x3u;
183 static constexpr uint64 TG_4KB = 0x0u;
184 static constexpr uint64 TG_16KB = 0x2u;
185 static constexpr uint64 TG_64KB = 0x1u;
187 static constexpr uint64 TxSZ_MASK = (1 << 6) - 1;
189 static constexpr uint64 T0SZ_MASK = TxSZ_MASK;
190 static constexpr uint64 T1SZ_MASK = TxSZ_MASK << TCR_T1SZ_SHIFT;
192 static constexpr uint64 IPS_MASK = 0x7UL << TCR_IPS_SHIFT;
194 static constexpr uint64 TCR_EPD1_DISABLE = (1 << 23);
199 	uint64 reg = _arch_mmu_get_tcr();  in arch_mmu_user_address_bits()
207 	uint64 reg = _arch_mmu_get_tcr();  in arch_mmu_user_granule()
221 	uint64 reg = _arch_mmu_get_tcr();  in arch_mmu_kernel_address_bits()
228 	uint64 reg = _arch_mmu_get_tcr();  in arch_mmu_kernel_granule()
236 static inline bool arch_mmu_is_kernel_address(uint64 address)  in arch_mmu_is_kernel_address()