Searched refs:xlat_regime_str (Results 1 – 1 of 1) sorted by relevance
225 const char *xlat_regime_str; in xlat_tables_print() local229 xlat_regime_str = "1&0"; in xlat_tables_print()231 xlat_regime_str = "2"; in xlat_tables_print()234 xlat_regime_str = "3"; in xlat_tables_print()237 VERBOSE(" Xlat regime: EL%s\n", xlat_regime_str); in xlat_tables_print()