| 436 | } |
| 437 | |
| 438 | static void |
| 439 | mls_copy_effective(struct mac_mls *labelfrom, struct mac_mls *labelto) |
| 440 | { |
| 441 | |
| 442 | KASSERT((labelfrom->mm_flags & MAC_MLS_FLAG_EFFECTIVE) != 0, |
| 443 | ("mls_copy_effective: labelfrom not effective")); |
| 444 | |
| 445 | labelto->mm_effective = labelfrom->mm_effective; |
| 446 | labelto->mm_flags |= MAC_MLS_FLAG_EFFECTIVE; |
| 447 | } |
| 448 | |
| 449 | static void |
| 450 | mls_copy(struct mac_mls *source, struct mac_mls *dest) |
no outgoing calls
no test coverage detected