Searched defs:xlat_regime (Results 1 – 5 of 5) sorted by relevance
98 uint64_t xlat_arch_regime_get_xn_desc(int xlat_regime) in xlat_arch_regime_get_xn_desc()108 void xlat_arch_tlbi_va(uintptr_t va, int xlat_regime) in xlat_arch_tlbi_va()175 uintptr_t max_va, __unused int xlat_regime) in setup_mmu_cfg()
221 uint64_t xlat_arch_regime_get_xn_desc(int xlat_regime) in xlat_arch_regime_get_xn_desc()232 void xlat_arch_tlbi_va(uintptr_t va, int xlat_regime) in xlat_arch_tlbi_va()294 uintptr_t max_va, int xlat_regime) in setup_mmu_cfg()
112 int xlat_regime; member
59 int xlat_regime = ctx->xlat_regime; in xlat_desc_print() local
1182 int xlat_regime, int *mapped_regions) in xlat_setup_dynamic_ctx()