Lines Matching refs:effective
234 ("biba_effective_in_range: mb not effective"));
252 biba_effective_in_range(struct mac_biba *effective, struct mac_biba *range)
255 KASSERT((effective->mb_flags & MAC_BIBA_FLAG_EFFECTIVE) != 0,
256 ("biba_effective_in_range: a not effective"));
261 &effective->mb_effective) &&
262 biba_dominate_element(&effective->mb_effective,
272 ("biba_dominate_effective: a not effective"));
274 ("biba_dominate_effective: b not effective"));
295 ("biba_equal_effective: a not effective"));
297 ("biba_equal_effective: b not effective"));
328 /* If the effective is EQUAL, it's ok. */
351 ("biba_equal_effective: mb not effective"));
477 ("biba_copy_effective: labelfrom not effective"));
690 char *rangehigh, *rangelow, *effective;
693 effective = strsep(&string, "(");
694 if (*effective == '\0')
695 effective = NULL;
716 if (effective != NULL) {
717 error = biba_parse_element(&mb->mb_effective, effective);
836 * be an update of the effective, range, or both.
848 * effective and range, check that the new effective will be
857 * To change the Biba effective label on a credential, the
858 * new effective label must be in the current range.
1025 * update of the effective, range, or both.
1494 * If there is a Biba label update for a pipe, it must be a effective
2162 * update of effective.
2169 * To relabel a socket, the old socket effective must be in the
2180 * To relabel a socket, the new socket effective must be in
2853 printf("biba_vnode_associate_extattr: not effective\n");
3229 * effective label.