Symbol: IMPLIES
sys/ufs/chfs/chfs.h
754
#define IFF(a, b) (IMPLIES(a, b) && IMPLIES(b, a))
sys/ufs/chfs/chfs_subr.c
110
KASSERT(IMPLIES(cnp->cn_namelen == 1, cnp->cn_nameptr[0] != '.'));
sys/ufs/chfs/chfs_subr.c
111
KASSERT(IMPLIES(cnp->cn_namelen == 2, !(cnp->cn_nameptr[0] == '.' &&
sys/ufs/chfs/chfs_vnops.c
108
KASSERT(IMPLIES(ip->ch_type == CHT_DIR && chvc->pvno == chvc->vno,
sys/ufs/chfs/chfs_vnops.c
1146
KASSERT(IMPLIES(tvp != NULL, VOP_ISLOCKED(tvp) == LK_EXCLUSIVE));