FreeBSD/sys/kern/subr_witness.c
/*
 * Verify that parent and child have a known relationship, are not the same,
 * and child is actually a child of parent.  This is done without w_mtx
 * to avoid contention in the common case.
 */
Verify that parent and child have a known relationship, are not the same,
and child is actually a child of parent.  This is done without w_mtx
to avoid contention in the common case.
Verify that parent and child have a known relationship are not the same and child is actually a child of parent . This is done without w_mtx to avoid contention in the common case .
static int
witness_lock_order_check(struct witness *parent, struct witness *child)
{
	if (parent != child &&
	    w_rmatrix[parent->w_index][child->w_index]
	    & WITNESS_LOCK_ORDER_KNOWN &&
	    isitmychild(parent, child))
		return (1);
	return (0);
}
static int witness_lock_order_check ( struct witness * parent , struct witness * child ) { if ( parent != child && w_rmatrix [ parent -> w_index ] [ child -> w_index ] & WITNESS_LOCK_ORDER_KNOWN && isitmychild ( parent , child ) ) return ( 1 ) ; return ( 0 ) ; }
Verify that parent and child have a known relationship, are not the same,
 and child is actually a child of parent.
Verify that parent and child have a known relationship are not the same and child is actually a child of parent .