Symbol: rb_tree_check_node
common/lib/libc/gen/rbtree.c
1305
rb_tree_check_node(rbt, self, prev, false);
common/lib/libc/gen/rbtree.c
1323
rb_tree_check_node(rbt, self, NULL, true);
common/lib/libc/gen/rbtree.c
315
KASSERT(rb_tree_check_node(rbt, self, NULL, !rebalance));
common/lib/libc/gen/rbtree.c
322
KASSERT(rb_tree_check_node(rbt, self, NULL, true));
common/lib/libc/gen/rbtree.c
351
KASSERT(rb_tree_check_node(rbt, old_father, NULL, false));
common/lib/libc/gen/rbtree.c
352
KASSERT(rb_tree_check_node(rbt, old_child, NULL, false));
common/lib/libc/gen/rbtree.c
354
rb_tree_check_node(rbt, grandpa, NULL, false));
common/lib/libc/gen/rbtree.c
394
KASSERT(rb_tree_check_node(rbt, new_father, NULL, false));
common/lib/libc/gen/rbtree.c
395
KASSERT(rb_tree_check_node(rbt, new_child, NULL, false));
common/lib/libc/gen/rbtree.c
397
rb_tree_check_node(rbt, grandpa, NULL, false));
common/lib/libc/gen/rbtree.c
518
KASSERT(rb_tree_check_node(rbt, self, NULL, false));
common/lib/libc/gen/rbtree.c
552
KASSERT(was_root || rb_tree_check_node(rbt, father, NULL, true));
common/lib/libc/gen/rbtree.c
596
KASSERT(rb_tree_check_node(rbt, self, NULL, false));
common/lib/libc/gen/rbtree.c
597
KASSERT(rb_tree_check_node(rbt, standin, NULL, false));
common/lib/libc/gen/rbtree.c
604
KASSERT(rb_tree_check_node(rbt, standin_son, NULL, true));
common/lib/libc/gen/rbtree.c
689
KASSERT(rb_tree_check_node(rbt, standin, NULL, false));
common/lib/libc/gen/rbtree.c
691
|| rb_tree_check_node(rbt, standin_father, NULL, false));
common/lib/libc/gen/rbtree.c
693
|| rb_tree_check_node(rbt, standin->rb_left, NULL, false));
common/lib/libc/gen/rbtree.c
695
|| rb_tree_check_node(rbt, standin->rb_right, NULL, false));
common/lib/libc/gen/rbtree.c
701
KASSERT(rb_tree_check_node(rbt, standin, NULL, true));
common/lib/libc/gen/rbtree.c
725
KASSERT(rb_tree_check_node(rbt, self, NULL, false));
common/lib/libc/gen/rbtree.c
726
KASSERT(rb_tree_check_node(rbt, son, NULL, false));
common/lib/libc/gen/rbtree.c
752
KASSERT(was_root || rb_tree_check_node(rbt, father, NULL, true));
common/lib/libc/gen/rbtree.c
753
KASSERT(rb_tree_check_node(rbt, son, NULL, true));
common/lib/libc/gen/rbtree.c
862
KASSERT(rb_tree_check_node(rbt, brother, NULL, false));
common/lib/libc/gen/rbtree.c
863
KASSERT(rb_tree_check_node(rbt, parent, NULL, false));
common/lib/libc/gen/rbtree.c
879
KASSERT(rb_tree_check_node(rbt, brother, NULL, false));
common/lib/libc/gen/rbtree.c
880
KASSERT(rb_tree_check_node(rbt, parent, NULL, false));
common/lib/libc/gen/rbtree.c
910
KASSERT(rb_tree_check_node(rbt, brother, NULL, true));
common/lib/libc/gen/rbtree.c
96
static bool rb_tree_check_node(const struct rb_tree *, const struct rb_node *,
common/lib/libc/gen/rbtree.c
969
KASSERT(rb_tree_check_node(rbt, parent, NULL, true));