MAC_BIBA_TYPE_HIGH
type = MAC_BIBA_TYPE_HIGH;
type = MAC_BIBA_TYPE_HIGH;
case MAC_BIBA_TYPE_HIGH:
case MAC_BIBA_TYPE_HIGH:
case MAC_BIBA_TYPE_HIGH:
element->mbe_type == MAC_BIBA_TYPE_HIGH);
mb->mb_rangehigh.mbe_type == MAC_BIBA_TYPE_HIGH)
return (mb->mb_effective.mbe_type == MAC_BIBA_TYPE_HIGH);
case MAC_BIBA_TYPE_HIGH:
case MAC_BIBA_TYPE_HIGH:
case MAC_BIBA_TYPE_HIGH:
case MAC_BIBA_TYPE_HIGH:
element->mbe_type = MAC_BIBA_TYPE_HIGH;
biba_set_range(label, MAC_BIBA_TYPE_LOW, 0, NULL, MAC_BIBA_TYPE_HIGH,
biba_set_effective(dest, MAC_BIBA_TYPE_HIGH, 0, NULL);
biba_set_range(dest, MAC_BIBA_TYPE_LOW, 0, NULL, MAC_BIBA_TYPE_HIGH,
biba_set_range(dest, MAC_BIBA_TYPE_LOW, 0, NULL, MAC_BIBA_TYPE_HIGH,
biba_type = MAC_BIBA_TYPE_HIGH;
biba_set_effective(mb, MAC_BIBA_TYPE_HIGH, 0, NULL);