| 226 | } |
| 227 | |
| 228 | static int |
| 229 | mls_effective_in_range(struct mac_mls *effective, struct mac_mls *range) |
| 230 | { |
| 231 | |
| 232 | KASSERT((effective->mm_flags & MAC_MLS_FLAG_EFFECTIVE) != 0, |
| 233 | ("mls_effective_in_range: a not effective")); |
| 234 | KASSERT((range->mm_flags & MAC_MLS_FLAG_RANGE) != 0, |
| 235 | ("mls_effective_in_range: b not range")); |
| 236 | |
| 237 | return (mls_dominate_element(&range->mm_rangehigh, |
| 238 | &effective->mm_effective) && |
| 239 | mls_dominate_element(&effective->mm_effective, |
| 240 | &range->mm_rangelow)); |
| 241 | |
| 242 | return (1); |
| 243 | } |
| 244 | |
| 245 | static int |
| 246 | mls_dominate_effective(struct mac_mls *a, struct mac_mls *b) |
no test coverage detected