Cross Reference: /src/common/lib/libc/gen/rb.c

Lines Matching refs:RB_BLACK_P
415 		KASSERT(RB_BLACK_P(grandpa));
421 		if (RB_BLACK_P(uncle))
438 			KASSERT(RB_BLACK_P(grandpa));
445 		if (RB_BLACK_P(father)) {
449 			KASSERT(RB_BLACK_P(rbt->rbt_root));
457 	KASSERT(RB_BLACK_P(uncle));
458 	KASSERT(RB_BLACK_P(grandpa));
488 	KASSERT(RB_BLACK_P(father));
507 	KASSERT(!rebalance || RB_BLACK_P(self));
557 	bool rebalance = RB_BLACK_P(standin);
713 	KASSERT(RB_BLACK_P(self) && RB_RED_P(son));
775 		const bool rebalance = RB_BLACK_P(self) && !RB_ROOT_P(rbt, self);
790 		KASSERT(RB_BLACK_P(self));
821 	while (RB_BLACK_P(parent->rb_nodes[which])) {
832 		if (RB_BLACK_P(parent)
833 		    && RB_BLACK_P(brother->rb_left)
834 		    && RB_BLACK_P(brother->rb_right)) {
847 				KASSERT(RB_BLACK_P(parent));
852 				KASSERT(RB_BLACK_P(brother));
866 				KASSERT(RB_BLACK_P(brother->rb_left));
867 				KASSERT(RB_BLACK_P(brother->rb_right));
882 		    && RB_BLACK_P(brother)
883 		    && RB_BLACK_P(brother->rb_left)
884 		    && RB_BLACK_P(brother->rb_right)) {
886 			KASSERT(RB_BLACK_P(brother));
887 			KASSERT(RB_BLACK_P(brother->rb_left));
888 			KASSERT(RB_BLACK_P(brother->rb_right));
908 			KASSERT(RB_BLACK_P(brother));
911 			if (RB_BLACK_P(brother->rb_nodes[other])) {
953 			KASSERT(RB_BLACK_P(brother));
1072 	return left + RB_BLACK_P(self);
1129 		KASSERT(!RB_ROOT_P(rbt, self) || RB_BLACK_P(self));
1135 			KASSERT(RB_BLACK_P(RB_FATHER(self)));
1151 				    && RB_BLACK_P(self->rb_left)
1152 				    && RB_BLACK_P(self->rb_right)));
1159 				|| RB_BLACK_P(brother)
1161 				    && RB_BLACK_P(brother->rb_left)
1162 				    && RB_BLACK_P(brother->rb_right)));
1186 			    && RB_BLACK_P(RB_FATHER(self))) {
1305 		KASSERT(RB_BLACK_P(rbt->rbt_root));
OpenGrok
