Home | History | Annotate | Download | only in gen

Lines Matching refs:RB_RED_P

278 		rebalance = RB_RED_P(parent);
401 KASSERT(RB_RED_P(self));
402 KASSERT(RB_RED_P(father));
408 KASSERT(RB_RED_P(self));
409 KASSERT(RB_RED_P(father));
444 KASSERT(RB_RED_P(self));
455 KASSERT(RB_RED_P(self));
456 KASSERT(RB_RED_P(father));
476 KASSERT(RB_RED_P(self) && RB_RED_P(father));
487 KASSERT(RB_RED_P(self));
489 KASSERT(RB_RED_P(grandpa));
506 KASSERT(rebalance || (RB_ROOT_P(rbt, self) || RB_RED_P(self)));
582 KASSERT(RB_SENTINEL_P(standin_son) || RB_RED_P(standin_son));
590 if (__predict_false(RB_RED_P(standin_son))) {
713 KASSERT(RB_BLACK_P(self) && RB_RED_P(son));
791 KASSERT(RB_RED_P(self->rb_nodes[which]));
835 if (RB_RED_P(brother)) {
851 KASSERT(RB_RED_P(parent));
881 if (RB_RED_P(parent)
885 KASSERT(RB_RED_P(parent));
909 KASSERT(RB_RED_P(brother->rb_nodes[which]) ||
910 RB_RED_P(brother->rb_nodes[other]));
923 KASSERT(RB_RED_P(brother->rb_nodes[which]));
927 KASSERT(RB_RED_P(brother->rb_nodes[other]));
954 KASSERT(RB_RED_P(brother->rb_nodes[other]));
1131 if (RB_RED_P(self)) {
1143 || RB_RED_P(brother)
1172 && RB_RED_P(self->rb_left)
1176 && RB_RED_P(self->rb_right)
1199 KASSERT(RB_RED_P(relative)
1200 || RB_RED_P(relative->rb_left)
1201 || RB_RED_P(relative->rb_right)
1202 || RB_RED_P(RB_FATHER(relative)));