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() argument 106 void xlat_arch_tlbi_va(uintptr_t va, int xlat_regime) in xlat_arch_tlbi_va() argument 173 uintptr_t max_va, __unused int xlat_regime) in setup_mmu_cfg() argument [all...]
175 uint64_t xlat_arch_regime_get_xn_desc(int xlat_regime) in xlat_arch_regime_get_xn_desc() argument 186 void xlat_arch_tlbi_va(uintptr_t va, int xlat_regime) in xlat_arch_tlbi_va() argument 248 setup_mmu_cfg(uint64_t * params,unsigned int flags,const uint64_t * base_table,unsigned long long max_pa,uintptr_t max_va,int xlat_regime) setup_mmu_cfg() argument [all...]
112 int xlat_regime; member
56 int xlat_regime = ctx->xlat_regime; in xlat_desc_print() local [all...]
1160 int xlat_regime, int *mapped_regions) in xlat_setup_dynamic_ctx() argument [all...]