Searched refs:xlat_regime_str (Results 1 – 1 of 1) sorted by relevance
227 const char *xlat_regime_str; in xlat_tables_print() local231 xlat_regime_str = "1&0"; in xlat_tables_print()233 xlat_regime_str = "2"; in xlat_tables_print()236 xlat_regime_str = "3"; in xlat_tables_print()239 VERBOSE(" Xlat regime: EL%s\n", xlat_regime_str); in xlat_tables_print()