Searched refs:isabelle_atx_texts (Results 1 – 1 of 1) sorted by relevance
159 static const char *isabelle_atx_texts[] = {"AMIC1", "DMIC"}; variable164 ARRAY_SIZE(isabelle_atx_texts), isabelle_atx_texts),166 ARRAY_SIZE(isabelle_atx_texts), isabelle_atx_texts),