MAC_MLS_FLAG_EFFECTIVE
error = mls_atmostflags(new, MAC_MLS_FLAG_EFFECTIVE);
if (new->mm_flags & MAC_MLS_FLAG_EFFECTIVE) {
error = mls_atmostflags(new, MAC_MLS_FLAG_EFFECTIVE);
if (new->mm_flags & MAC_MLS_FLAG_EFFECTIVE) {
KASSERT((effective->mm_flags & MAC_MLS_FLAG_EFFECTIVE) != 0,
KASSERT((a->mm_flags & MAC_MLS_FLAG_EFFECTIVE) != 0,
KASSERT((b->mm_flags & MAC_MLS_FLAG_EFFECTIVE) != 0,
MAC_MLS_FLAG_EFFECTIVE) {
KASSERT((a->mm_flags & MAC_MLS_FLAG_EFFECTIVE) != 0,
KASSERT((b->mm_flags & MAC_MLS_FLAG_EFFECTIVE) != 0,
if (mm->mm_flags & MAC_MLS_FLAG_EFFECTIVE)
error = mls_atmostflags(new, MAC_MLS_FLAG_EFFECTIVE);
if (new->mm_flags & MAC_MLS_FLAG_EFFECTIVE) {
if ((source->mm_flags & MAC_MLS_FLAG_EFFECTIVE) == 0)
if (mm->mm_flags & MAC_MLS_FLAG_EFFECTIVE) {
mm->mm_flags |= MAC_MLS_FLAG_EFFECTIVE;
KASSERT((labelfrom->mm_flags & MAC_MLS_FLAG_EFFECTIVE) != 0,
labelto->mm_flags |= MAC_MLS_FLAG_EFFECTIVE;
if (source->mm_flags & MAC_MLS_FLAG_EFFECTIVE)
if (mm->mm_flags & MAC_MLS_FLAG_EFFECTIVE) {
mm->mm_flags |= MAC_MLS_FLAG_EFFECTIVE;
if (new->mm_flags & MAC_MLS_FLAG_EFFECTIVE &&
#define MAC_MLS_FLAGS_BOTH (MAC_MLS_FLAG_EFFECTIVE | MAC_MLS_FLAG_RANGE)