Searched refs:CIL_KEY_SID (Results 1 – 4 of 4) sorted by relevance
168 extern char *CIL_KEY_SID;
171 char *CIL_KEY_SID; variable314 CIL_KEY_SID = cil_strpool_add("sid"); in cil_init_keys()1203 return CIL_KEY_SID; in cil_node_to_string()
490 fprintf(cil_out, "(%s %s)\n", CIL_KEY_SID, sid->datum.name); in cil_write_sid()
6230 } else if (parse_current->data == CIL_KEY_SID) { in __cil_build_ast_node_helper()