284 	KASSERT(RB_CHILDLESS_P(self));  in rb_tree_insert_node()
508 	KASSERT(RB_CHILDLESS_P(self));  in rb_tree_prune_node()
715 	KASSERT(RB_CHILDLESS_P(son));  in rb_tree_prune_blackred_branch()
774 	if (RB_CHILDLESS_P(self)) {  in rb_tree_remove_node()
779 	KASSERT(!RB_CHILDLESS_P(self));  in rb_tree_remove_node()
792 		KASSERT(RB_CHILDLESS_P(self->rb_nodes[which]));  in rb_tree_remove_node()
1141 			KASSERT(!RB_CHILDLESS_P(self)  in rb_tree_check_node()
1144 				|| RB_CHILDLESS_P(brother));  in rb_tree_check_node()
1149 			KASSERT(RB_CHILDLESS_P(self)  in rb_tree_check_node()
1158 			KASSERT(RB_CHILDLESS_P(self)  in rb_tree_check_node()
1168 			KASSERT(RB_CHILDLESS_P(self)  in rb_tree_check_node()
1173 				    && RB_CHILDLESS_P(self->rb_left))  in rb_tree_check_node()
1177 				    && RB_CHILDLESS_P(self->rb_right)));  in rb_tree_check_node()
1185 			    && RB_CHILDLESS_P(self)  in rb_tree_check_node()
1218 			|| RB_CHILDLESS_P(self->rb_left)  in rb_tree_check_node()
1225 			|| RB_CHILDLESS_P(self->rb_right)  in rb_tree_check_node()
1234 			|| RB_CHILDLESS_P(self->rb_right)  in rb_tree_check_node()
1235 			|| RB_CHILDLESS_P(self->rb_right->rb_left)  in rb_tree_check_node()
1236 			|| RB_CHILDLESS_P(self->rb_right->rb_left->rb_left)  in rb_tree_check_node()
1237 			|| RB_CHILDLESS_P(self->rb_right->rb_left->rb_right)  in rb_tree_check_node()
1238 			|| RB_CHILDLESS_P(self->rb_right->rb_right)  in rb_tree_check_node()
1239 			|| RB_CHILDLESS_P(self->rb_right->rb_right->rb_left)  in rb_tree_check_node()
1240 			|| RB_CHILDLESS_P(self->rb_right->rb_right->rb_right));  in rb_tree_check_node()
1248 			|| RB_CHILDLESS_P(self->rb_left)  in rb_tree_check_node()
1249 			|| RB_CHILDLESS_P(self->rb_left->rb_left)  in rb_tree_check_node()
1250 			|| RB_CHILDLESS_P(self->rb_left->rb_left->rb_left)  in rb_tree_check_node()
1251 			|| RB_CHILDLESS_P(self->rb_left->rb_left->rb_right)  in rb_tree_check_node()
1252 			|| RB_CHILDLESS_P(self->rb_left->rb_right)  in rb_tree_check_node()
1253 			|| RB_CHILDLESS_P(self->rb_left->rb_right->rb_left)  in rb_tree_check_node()
1254 			|| RB_CHILDLESS_P(self->rb_left->rb_right->rb_right));  in rb_tree_check_node()