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