Searched refs:xlat_regime_t (Results 1 – 7 of 7) sorted by relevance
17 static inline uint64_t xlat_arch_regime_get_xn_desc(xlat_regime_t regime __unused) in xlat_arch_regime_get_xn_desc()
41 void xlat_arch_tlbi_va_regime(uintptr_t va, xlat_regime_t xlat_regime __unused) in xlat_arch_tlbi_va_regime()
18 static inline uint64_t xlat_arch_regime_get_xn_desc(xlat_regime_t regime) in xlat_arch_regime_get_xn_desc()
91 void xlat_arch_tlbi_va_regime(uintptr_t va, xlat_regime_t xlat_regime) in xlat_arch_tlbi_va_regime()
54 void xlat_arch_tlbi_va_regime(uintptr_t va, xlat_regime_t xlat_regime);
1028 xlat_regime_t xlat_regime = ctx->xlat_regime; in xlat_desc_print()
130 } xlat_regime_t; typedef