Searched defs:xlat_regime (Results 1 – 5 of 5) sorted by relevance
79 uint64_t xlat_arch_regime_get_xn_desc(int xlat_regime) in xlat_arch_regime_get_xn_desc()89 void xlat_arch_tlbi_va(uintptr_t va, int xlat_regime) in xlat_arch_tlbi_va()156 uintptr_t max_va, __unused int xlat_regime) in setup_mmu_cfg()
149 uint64_t xlat_arch_regime_get_xn_desc(int xlat_regime) in xlat_arch_regime_get_xn_desc()160 void xlat_arch_tlbi_va(uintptr_t va, int xlat_regime) in xlat_arch_tlbi_va()222 uintptr_t max_va, int xlat_regime) in setup_mmu_cfg()
112 int xlat_regime; member
55 int xlat_regime = ctx->xlat_regime; in xlat_desc_print() local
1157 int xlat_regime, int *mapped_regions) in xlat_setup_dynamic_ctx()