mls_level_dom
mls_level_dom(&r->level[1], &r->level[0]));
if (mls_level_dom(user_clr, fromcon_clr))
else if (mls_level_dom(fromcon_clr, user_clr))
(!mls_level_dom((l1), (l2)) && !mls_level_dom((l2), (l1)))
(mls_level_dom((l1), (l2)) && mls_level_dom((l3), (l1)))
(mls_level_dom(&(r2).level[0], &(r1).level[0]) && \
mls_level_dom(&(r1).level[1], &(r2).level[1]))
s[++sp] = mls_level_dom(l1, l2);
s[++sp] = mls_level_dom(l2, l1);
match = (mls_level_dom(&rule->au_ctxt.range.level[0],
match = mls_level_dom(&rule->au_ctxt.range.level[0],
match = (mls_level_dom(level,
match = mls_level_dom(level,