Searched refs:CIL_KEY_CONS_U2 (Results 1 – 4 of 4) sorted by relevance
70 char *CIL_KEY_CONS_U2; variable239 CIL_KEY_CONS_U2 = cil_strpool_add("u2"); in cil_init_keys()1393 return CIL_KEY_CONS_U2; in cil_node_to_string()
87 extern char *CIL_KEY_CONS_U2;
136 operand_str = CIL_KEY_CONS_U2; in write_expr()
2707 else if (operand == CIL_KEY_CONS_U2) return CIL_CONS_U2; in __cil_get_constraint_operand_flavor()