biba_dominate_element
return (biba_dominate_element(&rangeb->mb_rangehigh,
biba_dominate_element(&rangea->mb_rangelow,
return (biba_dominate_element(&range->mb_rangehigh,
biba_dominate_element(&effective->mb_effective,
return (biba_dominate_element(&a->mb_effective, &b->mb_effective));
if (!biba_dominate_element(&mb->mb_rangehigh,