Searched defs:xlat_regime (Results 1 – 4 of 4) sorted by relevance
91 void xlat_arch_tlbi_va_regime(uintptr_t va, xlat_regime_t xlat_regime) in xlat_arch_tlbi_va_regime()
107 int xlat_regime; member
127 typedef enum xlat_regime { enum
1028 xlat_regime_t xlat_regime = ctx->xlat_regime; in xlat_desc_print() local