Searched refs:CEXPR_L1H1 (Results 1 – 5 of 5) sorted by relevance
48 #define CEXPR_L1H1 512 /* low level 1 vs. high level 1 */ macro
624 { $$ = define_cexpr(CEXPR_ATTR, CEXPR_L1H1, $2);
560 case CEXPR_L1H1: in constraint_expr_eval_reason()
1671 case CEXPR_L1H1: attr1 = "l1"; attr2 = "h1"; break; in constraint_expr_to_string()
2423 expr->attr = CEXPR_L1H1; in __cil_constrain_expr_leaf_to_sepol_expr()