Home | History | Annotate | Download | only in gen

Lines Matching defs:rb_tree_check_node

87 static bool rb_tree_check_node(const struct rb_tree *, const struct rb_node *,
90 #define rb_tree_check_node(a, b, c, d) true
306 KASSERT(rb_tree_check_node(rbt, self, NULL, !rebalance));
313 KASSERT(rb_tree_check_node(rbt, self, NULL, true));
342 KASSERT(rb_tree_check_node(rbt, old_father, NULL, false));
343 KASSERT(rb_tree_check_node(rbt, old_child, NULL, false));
345 rb_tree_check_node(rbt, grandpa, NULL, false));
385 KASSERT(rb_tree_check_node(rbt, new_father, NULL, false));
386 KASSERT(rb_tree_check_node(rbt, new_child, NULL, false));
388 rb_tree_check_node(rbt, grandpa, NULL, false));
509 KASSERT(rb_tree_check_node(rbt, self, NULL, false));
543 KASSERT(was_root || rb_tree_check_node(rbt, father, NULL, true));
587 KASSERT(rb_tree_check_node(rbt, self, NULL, false));
588 KASSERT(rb_tree_check_node(rbt, standin, NULL, false));
595 KASSERT(rb_tree_check_node(rbt, standin_son, NULL, true));
680 KASSERT(rb_tree_check_node(rbt, standin, NULL, false));
682 || rb_tree_check_node(rbt, standin_father, NULL, false));
684 || rb_tree_check_node(rbt, standin->rb_left, NULL, false));
686 || rb_tree_check_node(rbt, standin->rb_right, NULL, false));
692 KASSERT(rb_tree_check_node(rbt, standin, NULL, true));
716 KASSERT(rb_tree_check_node(rbt, self, NULL, false));
717 KASSERT(rb_tree_check_node(rbt, son, NULL, false));
743 KASSERT(was_root || rb_tree_check_node(rbt, father, NULL, true));
744 KASSERT(rb_tree_check_node(rbt, son, NULL, true));
853 KASSERT(rb_tree_check_node(rbt, brother, NULL, false));
854 KASSERT(rb_tree_check_node(rbt, parent, NULL, false));
870 KASSERT(rb_tree_check_node(rbt, brother, NULL, false));
871 KASSERT(rb_tree_check_node(rbt, parent, NULL, false));
901 KASSERT(rb_tree_check_node(rbt, brother, NULL, true));
960 KASSERT(rb_tree_check_node(rbt, parent, NULL, true));
1076 rb_tree_check_node(const struct rb_tree *rbt, const struct rb_node *self,
1296 rb_tree_check_node(rbt, self, prev, false);
1314 rb_tree_check_node(rbt, self, NULL, true);