Searched refs:CIL_KEY_CHAR (Results 1 – 4 of 4) sorted by relevance
124 extern char *CIL_KEY_CHAR;
1246 fprintf(out, "%s ", CIL_KEY_CHAR); in cil_write_ast_node()1340 fprintf(out, "%s ", CIL_KEY_CHAR); in cil_write_ast_node()
107 char *CIL_KEY_CHAR; variable367 CIL_KEY_CHAR = cil_strpool_add("char"); in cil_init_keys()
4238 } else if (type == CIL_KEY_CHAR) { in cil_gen_filecon()4606 } else if (file_type == CIL_KEY_CHAR) { in cil_gen_genfscon()