Searched refs:_arch_mmu_get_tcr (Results 1 - 2 of 2) sorted by relevance

/haiku/src/system/boot/platform/efi/arch/arm64/
H A Daarch64.h163 static inline uint64 _arch_mmu_get_tcr(int el = kInvalidExceptionLevel) { function
197 uint64 reg = _arch_mmu_get_tcr();
207 uint64 reg = _arch_mmu_get_tcr();
221 uint64 reg = _arch_mmu_get_tcr();
228 uint64 reg = _arch_mmu_get_tcr();
H A Darch_start.cpp110 _arch_mmu_get_tcr());

Completed in 39 milliseconds