Searched refs:regime_tcr (Results 1 – 4 of 4) sorted by relevance
209 uint64_t tcr = regime_tcr(env, mmu_idx); in rebuild_hflags_a64()
989 static inline uint64_t regime_tcr(CPUARMState *env, ARMMMUIdx mmu_idx) in regime_tcr() function1022 && (regime_tcr(env, mmu_idx) & TTBCR_EAE)) { in regime_using_lpae_format()
896 uint64_t tcr = regime_tcr(env, mmu_idx); in get_level1_table_address()1472 uint64_t tcr = regime_tcr(env, mmu_idx); in aa32_va_parameters()1699 uint64_t tcr = regime_tcr(env, mmu_idx); in get_phys_addr_lpae()
4950 uint64_t tcr = regime_tcr(env, mmu_idx); in tlbbits_for_regime()12022 uint64_t tcr = regime_tcr(env, mmu_idx); in aa64_va_parameters()