Searched defs:xlat_regime (Results 1 – 5 of 5) sorted by relevance
96 uint64_t xlat_arch_regime_get_xn_desc(int xlat_regime) in xlat_arch_regime_get_xn_desc()106 void xlat_arch_tlbi_va(uintptr_t va, int xlat_regime) in xlat_arch_tlbi_va()173 uintptr_t max_va, __unused int xlat_regime) in setup_mmu_cfg()
170 uint64_t xlat_arch_regime_get_xn_desc(int xlat_regime) in xlat_arch_regime_get_xn_desc()181 void xlat_arch_tlbi_va(uintptr_t va, int xlat_regime) in xlat_arch_tlbi_va()243 uintptr_t max_va, int xlat_regime) in setup_mmu_cfg()
112 int xlat_regime; member
57 int xlat_regime = ctx->xlat_regime; in xlat_desc_print() local
1177 int xlat_regime, int *mapped_regions) in xlat_setup_dynamic_ctx()