Lines Matching defs:father
394 struct rb_node * father = RB_FATHER(self);
395 struct rb_node * grandpa = RB_FATHER(father);
402 KASSERT(RB_RED_P(father));
409 KASSERT(RB_RED_P(father));
414 grandpa = RB_FATHER(father);
417 which = (father == grandpa->rb_right);
432 RB_MARK_BLACK(father);
443 father = RB_FATHER(self);
445 if (RB_BLACK_P(father)) {
456 KASSERT(RB_RED_P(father));
462 if (self == father->rb_nodes[other]) {
469 rb_tree_reparent_nodes(rbt, father, other);
470 KASSERT(RB_FATHER(father) == self);
471 KASSERT(self->rb_nodes[which] == father);
473 self = father;
474 father = RB_FATHER(self);
476 KASSERT(RB_RED_P(self) && RB_RED_P(father));
477 KASSERT(grandpa->rb_nodes[which] == father);
481 * is black, our father will become black and our new sibling
485 KASSERT(RB_FATHER(self) == father);
488 KASSERT(RB_BLACK_P(father));
501 struct rb_node *father = RB_FATHER(self);
515 father->rb_nodes[which] = self->rb_left;
525 rbt->rbt_minmax[RB_POSITION(self)] = father;
532 rbt->rbt_minmax[RB_DIR_RIGHT] = father;
542 rb_tree_removal_rebalance(rbt, father, which);
543 KASSERT(was_root || rb_tree_check_node(rbt, father, NULL, true));
613 * If we are about to delete the standin's father, then when
614 * we call rebalance, we need to use ourselves as our father.
615 * Otherwise remember our original father. Also, sincef we are
616 * our standin's father we only need to reparent the standin's
636 * Sever standin's connection to his father.
706 struct rb_node *father = RB_FATHER(self);
724 father->rb_nodes[RB_POSITION(son)] = son;
725 RB_SET_FATHER(son, father);
743 KASSERT(was_root || rb_tree_check_node(rbt, father, NULL, true));
830 * be black and our father must be black
890 * We are black, our father is red, our brother and
892 * colors of our father and brother (to black and red
917 * (Our father could be red or black).
931 * is red. Swap our father and brother locations and
936 * father's color)
938 * If the father is red, we will get a red-black-black
944 * If the father is black, we will get an all black
951 * our former father would have a red grandson.
Indexes created Sun Oct 12 05:10:08 GMT 2025