Lines Matching defs:effective
233 ("biba_effective_in_range: mb not effective"));
251 biba_effective_in_range(struct mac_biba *effective, struct mac_biba *range)
254 KASSERT((effective->mb_flags & MAC_BIBA_FLAG_EFFECTIVE) != 0,
255 ("biba_effective_in_range: a not effective"));
260 &effective->mb_effective) &&
261 biba_dominate_element(&effective->mb_effective,
271 ("biba_dominate_effective: a not effective"));
273 ("biba_dominate_effective: b not effective"));
294 ("biba_equal_effective: a not effective"));
296 ("biba_equal_effective: b not effective"));
327 /* If the effective is EQUAL, it's ok. */
350 ("biba_equal_effective: mb not effective"));
476 ("biba_copy_effective: labelfrom not effective"));
689 char *rangehigh, *rangelow, *effective;
692 effective = strsep(&string, "(");
693 if (*effective == '\0')
694 effective = NULL;
715 if (effective != NULL) {
716 error = biba_parse_element(&mb->mb_effective, effective);
835 * be an update of the effective, range, or both.
847 * effective and range, check that the new effective will be
856 * To change the Biba effective label on a credential, the
857 * new effective label must be in the current range.
1024 * update of the effective, range, or both.
1493 * If there is a Biba label update for a pipe, it must be a effective
2163 * update of effective.
2170 * To relabel a socket, the old socket effective must be in the
2181 * To relabel a socket, the new socket effective must be in
2854 printf("biba_vnode_associate_extattr: not effective\n");
3230 * effective label.