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