Searched refs:xlat_regime_str (Results 1 – 1 of 1) sorted by relevance
251 const char *xlat_regime_str; in xlat_tables_print() local255 xlat_regime_str = "1&0"; in xlat_tables_print()257 xlat_regime_str = "2"; in xlat_tables_print()260 xlat_regime_str = "3"; in xlat_tables_print()263 VERBOSE(" Xlat regime: EL%s\n", xlat_regime_str); in xlat_tables_print()