Searched refs:xlat_regime_str (Results 1 – 1 of 1) sorted by relevance
207 const char *xlat_regime_str; in xlat_tables_print() local211 xlat_regime_str = "1&0"; in xlat_tables_print()213 xlat_regime_str = "2"; in xlat_tables_print()216 xlat_regime_str = "3"; in xlat_tables_print()219 VERBOSE(" Xlat regime: EL%s\n", xlat_regime_str); in xlat_tables_print()