Searched refs:isabelle_st_voice_texts (Results 1 – 1 of 1) sorted by relevance
210 static const char *isabelle_st_voice_texts[] = {"VTX1", "VTX2"}; variable223 ARRAY_SIZE(isabelle_st_voice_texts),224 isabelle_st_voice_texts),226 ARRAY_SIZE(isabelle_st_voice_texts),227 isabelle_st_voice_texts),