Lines Matching refs:MAC_BIBA_FLAG_EFFECTIVE
233 KASSERT((mb->mb_flags & MAC_BIBA_FLAG_EFFECTIVE) != 0,
255 KASSERT((effective->mb_flags & MAC_BIBA_FLAG_EFFECTIVE) != 0,
271 KASSERT((a->mb_flags & MAC_BIBA_FLAG_EFFECTIVE) != 0,
273 KASSERT((b->mb_flags & MAC_BIBA_FLAG_EFFECTIVE) != 0,
294 KASSERT((a->mb_flags & MAC_BIBA_FLAG_EFFECTIVE) != 0,
296 KASSERT((b->mb_flags & MAC_BIBA_FLAG_EFFECTIVE) != 0,
306 if (mb->mb_flags & MAC_BIBA_FLAG_EFFECTIVE) {
350 KASSERT((mb->mb_flags & MAC_BIBA_FLAG_EFFECTIVE) != 0,
360 if (mb->mb_flags & MAC_BIBA_FLAG_EFFECTIVE) {
457 mb->mb_flags |= MAC_BIBA_FLAG_EFFECTIVE;
476 KASSERT((labelfrom->mb_flags & MAC_BIBA_FLAG_EFFECTIVE) != 0,
480 labelto->mb_flags |= MAC_BIBA_FLAG_EFFECTIVE;
487 if (source->mb_flags & MAC_BIBA_FLAG_EFFECTIVE)
591 if (mb->mb_flags & MAC_BIBA_FLAG_EFFECTIVE) {
720 mb->mb_flags |= MAC_BIBA_FLAG_EFFECTIVE;
860 if (new->mb_flags & MAC_BIBA_FLAG_EFFECTIVE &&
1497 error = biba_atmostflags(new, MAC_BIBA_FLAG_EFFECTIVE);
1511 if (new->mb_flags & MAC_BIBA_FLAG_EFFECTIVE) {
2164 error = biba_atmostflags(new, MAC_BIBA_FLAG_EFFECTIVE);
2178 if (new->mb_flags & MAC_BIBA_FLAG_EFFECTIVE) {
2852 MAC_BIBA_FLAG_EFFECTIVE) {
3231 error = biba_atmostflags(new, MAC_BIBA_FLAG_EFFECTIVE);
3245 if (new->mb_flags & MAC_BIBA_FLAG_EFFECTIVE) {
3552 if ((source->mb_flags & MAC_BIBA_FLAG_EFFECTIVE) == 0)