Searched refs:CIL_KEY_SOCKET (Results 1 – 4 of 4) sorted by relevance
126 extern char *CIL_KEY_SOCKET;
109 char *CIL_KEY_SOCKET; variable369 CIL_KEY_SOCKET = cil_strpool_add("socket"); in cil_init_keys()
1244 fprintf(out, "%s ", CIL_KEY_SOCKET); in cil_write_ast_node()
4240 } else if (type == CIL_KEY_SOCKET) { in cil_gen_filecon()