Lines Matching refs:sp
282 int sp = -1; in constraint_expr_eval() local
287 BUG_ON(sp < 0); in constraint_expr_eval()
288 s[sp] = !s[sp]; in constraint_expr_eval()
291 BUG_ON(sp < 1); in constraint_expr_eval()
292 sp--; in constraint_expr_eval()
293 s[sp] &= s[sp + 1]; in constraint_expr_eval()
296 BUG_ON(sp < 1); in constraint_expr_eval()
297 sp--; in constraint_expr_eval()
298 s[sp] |= s[sp + 1]; in constraint_expr_eval()
301 if (sp == (CEXPR_MAXDEPTH - 1)) in constraint_expr_eval()
319 s[++sp] = ebitmap_get_bit(&r1->dominates, in constraint_expr_eval()
323 s[++sp] = ebitmap_get_bit(&r2->dominates, in constraint_expr_eval()
327 s[++sp] = (!ebitmap_get_bit(&r1->dominates, in constraint_expr_eval()
363 s[++sp] = mls_level_eq(l1, l2); in constraint_expr_eval()
366 s[++sp] = !mls_level_eq(l1, l2); in constraint_expr_eval()
369 s[++sp] = mls_level_dom(l1, l2); in constraint_expr_eval()
372 s[++sp] = mls_level_dom(l2, l1); in constraint_expr_eval()
375 s[++sp] = mls_level_incomp(l2, l1); in constraint_expr_eval()
389 s[++sp] = (val1 == val2); in constraint_expr_eval()
392 s[++sp] = (val1 != val2); in constraint_expr_eval()
400 if (sp == (CEXPR_MAXDEPTH-1)) in constraint_expr_eval()
425 s[++sp] = ebitmap_get_bit(&e->names, val1 - 1); in constraint_expr_eval()
428 s[++sp] = !ebitmap_get_bit(&e->names, val1 - 1); in constraint_expr_eval()
441 BUG_ON(sp != 0); in constraint_expr_eval()