Lines Matching defs:biba_dominate_effective

269 biba_dominate_effective(struct mac_biba *a, struct mac_biba *b)
272 ("biba_dominate_effective: a not effective"));
274 ("biba_dominate_effective: b not effective"));
898 if (!biba_dominate_effective(obj, subj))
1164 if (!biba_dominate_effective(obj, subj))
1335 if (!biba_dominate_effective(obj, subj))
1458 if (!biba_dominate_effective(obj, subj))
1476 if (!biba_dominate_effective(obj, subj))
1545 if (!biba_dominate_effective(obj, subj))
1563 if (!biba_dominate_effective(subj, obj))
1605 if (!biba_dominate_effective(subj, obj))
1623 if (!biba_dominate_effective(subj, obj))
1641 if (!biba_dominate_effective(subj, obj))
1659 if (!biba_dominate_effective(subj, obj))
1677 if (!biba_dominate_effective(obj, subj))
1708 if (!biba_dominate_effective(obj, subj))
1712 if (!biba_dominate_effective(subj, obj))
1732 if (!biba_dominate_effective(obj, subj))
1736 if (!biba_dominate_effective(subj, obj))
1755 if (!biba_dominate_effective(obj, subj))
1773 if (!biba_dominate_effective(subj, obj))
1791 if (!biba_dominate_effective(subj, obj))
1809 if (!biba_dominate_effective(obj, subj))
1827 if (!biba_dominate_effective(subj, obj))
1845 if (!biba_dominate_effective(subj, obj))
1863 if (!biba_dominate_effective(obj, subj))
2080 if (!biba_dominate_effective(obj, subj))
2082 if (!biba_dominate_effective(subj, obj))
2100 if (!biba_dominate_effective(obj, subj))
2102 if (!biba_dominate_effective(subj, obj))
2120 if (!biba_dominate_effective(obj, subj))
2122 if (!biba_dominate_effective(subj, obj))
2213 if (!biba_dominate_effective(obj, subj)) {
2503 if (!biba_dominate_effective(obj, subj))
2521 if (!biba_dominate_effective(subj, obj))
2539 if (!biba_dominate_effective(obj, subj))
2557 if (!biba_dominate_effective(subj, obj))
2575 if (!biba_dominate_effective(obj, subj))
2596 if (!biba_dominate_effective(subj, obj))
2601 if (!biba_dominate_effective(obj, subj))
2648 if (!biba_dominate_effective(subj, obj))
2658 if (!biba_dominate_effective(obj, subj))
2681 if (!biba_dominate_effective(obj, subj))
2700 if (!biba_dominate_effective(obj, subj))
2704 if (!biba_dominate_effective(subj, obj))
2741 if (!biba_dominate_effective(obj, subj))
2744 if (!biba_dominate_effective(subj, obj))
2766 if (!biba_dominate_effective(subj, obj))
2772 if (!biba_dominate_effective(obj, subj))
2795 if (!biba_dominate_effective(obj, subj))
2885 if (!biba_dominate_effective(obj, subj))
2903 if (!biba_dominate_effective(obj, subj))
2921 if (!biba_dominate_effective(subj, obj))
2939 if (!biba_dominate_effective(subj, obj))
2957 if (!biba_dominate_effective(subj, obj))
2989 if (!biba_dominate_effective(obj, subj))
3007 if (!biba_dominate_effective(obj, subj))
3025 if (!biba_dominate_effective(obj, subj))
3044 if (!biba_dominate_effective(subj, obj))
3049 if (!biba_dominate_effective(subj, obj))
3067 if (!biba_dominate_effective(obj, subj))
3085 if (!biba_dominate_effective(obj, subj))
3108 if (!biba_dominate_effective(obj, subj))
3112 if (!biba_dominate_effective(subj, obj))
3133 if (!biba_dominate_effective(obj, subj))
3137 if (!biba_dominate_effective(subj, obj))
3156 if (!biba_dominate_effective(obj, subj))
3174 if (!biba_dominate_effective(obj, subj))
3192 if (!biba_dominate_effective(obj, subj))
3210 if (!biba_dominate_effective(obj, subj))
3280 if (!biba_dominate_effective(subj, obj))
3285 if (!biba_dominate_effective(subj, obj))
3304 if (!biba_dominate_effective(subj, obj))
3310 if (!biba_dominate_effective(subj, obj))
3329 if (!biba_dominate_effective(subj, obj))
3347 if (!biba_dominate_effective(subj, obj))
3365 if (!biba_dominate_effective(subj, obj))
3385 if (!biba_dominate_effective(subj, obj))
3403 if (!biba_dominate_effective(subj, obj))
3421 if (!biba_dominate_effective(subj, obj))
3439 if (!biba_dominate_effective(subj, obj))
3457 if (!biba_dominate_effective(obj, subj))
3476 if (!biba_dominate_effective(subj, obj))
3481 if (!biba_dominate_effective(subj, obj))
3499 if (!biba_dominate_effective(subj, obj))