Searched refs:CEXPR_H1H2 (Results 1 – 5 of 5) sorted by relevance
47 #define CEXPR_H1H2 256 /* high level 1 vs. high level 2 */ macro
621 { $$ = define_cexpr(CEXPR_ATTR, CEXPR_H1H2, $2);
554 case CEXPR_H1H2: in constraint_expr_eval_reason()
1670 case CEXPR_H1H2: attr1 = "h1"; attr2 = "h2"; break; in constraint_expr_to_string()
2437 expr->attr = CEXPR_H1H2; in __cil_constrain_expr_leaf_to_sepol_expr()