Searched refs:CIL_KEY_PIPE (Results 1 – 4 of 4) sorted by relevance
127 extern char *CIL_KEY_PIPE;
1255 fprintf(out, "%s ", CIL_KEY_PIPE); in cil_write_ast_node()1349 fprintf(out, "%s ", CIL_KEY_PIPE); in cil_write_ast_node()
110 char *CIL_KEY_PIPE; variable370 CIL_KEY_PIPE = cil_strpool_add("pipe"); in cil_init_keys()
4244 } else if (type == CIL_KEY_PIPE) { in cil_gen_filecon()4612 } else if (file_type == CIL_KEY_PIPE) { in cil_gen_genfscon()