Searched refs:CIL_KEY_FILE (Results 1 – 4 of 4) sorted by relevance
122 extern char *CIL_KEY_FILE;
1240 fprintf(out, "%s ", CIL_KEY_FILE); in cil_write_ast_node()1334 fprintf(out, "%s ", CIL_KEY_FILE); in cil_write_ast_node()
105 char *CIL_KEY_FILE; variable365 CIL_KEY_FILE = cil_strpool_add("file"); in cil_init_keys()
4234 } else if (type == CIL_KEY_FILE) { in cil_gen_filecon()4602 } else if (file_type == CIL_KEY_FILE) { in cil_gen_genfscon()