Searched refs:isabelle_vtx_texts (Results 1 – 1 of 1) sorted by relevance
165 static const char *isabelle_vtx_texts[] = {"AMIC2", "DMIC"}; variable176 ARRAY_SIZE(isabelle_vtx_texts), isabelle_vtx_texts),178 ARRAY_SIZE(isabelle_vtx_texts), isabelle_vtx_texts),