Searched refs:isabelle_st_audio_texts (Results 1 – 1 of 1) sorted by relevance
208 static const char *isabelle_st_audio_texts[] = {"ATX1", "ATX2"}; variable214 ARRAY_SIZE(isabelle_st_audio_texts),215 isabelle_st_audio_texts),217 ARRAY_SIZE(isabelle_st_audio_texts),218 isabelle_st_audio_texts),