Lines Matching refs:effective
241 ("biba_effective_in_range: mb not effective"));
259 biba_effective_in_range(struct mac_biba *effective, struct mac_biba *range)
262 KASSERT((effective->mb_flags & MAC_BIBA_FLAG_EFFECTIVE) != 0,
263 ("biba_effective_in_range: a not effective"));
268 &effective->mb_effective) &&
269 biba_dominate_element(&effective->mb_effective,
279 ("biba_dominate_effective: a not effective"));
281 ("biba_dominate_effective: b not effective"));
302 ("biba_equal_effective: a not effective"));
304 ("biba_equal_effective: b not effective"));
335 /* If the effective is EQUAL, it's ok. */
358 ("biba_equal_effective: mb not effective"));
484 ("biba_copy_effective: labelfrom not effective"));
697 char *rangehigh, *rangelow, *effective;
700 effective = strsep(&string, "(");
701 if (*effective == '\0')
702 effective = NULL;
723 if (effective != NULL) {
724 error = biba_parse_element(&mb->mb_effective, effective);
843 * be an update of the effective, range, or both.
855 * effective and range, check that the new effective will be
864 * To change the Biba effective label on a credential, the
865 * new effective label must be in the current range.
1032 * update of the effective, range, or both.
1512 * If there is a Biba label update for a pipe, it must be a effective
2147 * update of effective.
2154 * To relabel a socket, the old socket effective must be in the
2165 * To relabel a socket, the new socket effective must be in
2838 printf("biba_vnode_associate_extattr: not effective\n");
3214 * effective label.