MAC_BIBA_FLAG_RANGE
KASSERT((range->mb_flags & MAC_BIBA_FLAG_RANGE) != 0,
if (mb->mb_flags & MAC_BIBA_FLAG_RANGE) {
if (mb->mb_flags & MAC_BIBA_FLAG_RANGE) {
mb->mb_flags |= MAC_BIBA_FLAG_RANGE;
KASSERT((labelfrom->mb_flags & MAC_BIBA_FLAG_RANGE) != 0,
labelto->mb_flags |= MAC_BIBA_FLAG_RANGE;
if (source->mb_flags & MAC_BIBA_FLAG_RANGE)
if (mb->mb_flags & MAC_BIBA_FLAG_RANGE) {
mb->mb_flags |= MAC_BIBA_FLAG_RANGE;
if (new->mb_flags & MAC_BIBA_FLAG_RANGE &&
#define MAC_BIBA_FLAGS_BOTH (MAC_BIBA_FLAG_EFFECTIVE | MAC_BIBA_FLAG_RANGE)