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