Searched refs:CIL_KEY_FILE (Results 1 – 4 of 4) sorted by relevance
122 extern char *CIL_KEY_FILE;
105 char *CIL_KEY_FILE; variable365 CIL_KEY_FILE = cil_strpool_add("file"); in cil_init_keys()
1236 fprintf(out, "%s ", CIL_KEY_FILE); in cil_write_ast_node()
4232 if (type == CIL_KEY_FILE) { in cil_gen_filecon()