Searched refs:CIL_KEY_CONS_U1 (Results 1 – 4 of 4) sorted by relevance
69 char *CIL_KEY_CONS_U1; variable238 CIL_KEY_CONS_U1 = cil_strpool_add("u1"); in cil_init_keys()1391 return CIL_KEY_CONS_U1; in cil_node_to_string()
86 extern char *CIL_KEY_CONS_U1;
133 operand_str = CIL_KEY_CONS_U1; in write_expr()
2706 else if (operand == CIL_KEY_CONS_U1) return CIL_CONS_U1; in __cil_get_constraint_operand_flavor()