sys/libprop/prop_rb.c

1222

rb_tree_check_node(rbt, self, prev, false);

sys/libprop/prop_rb.c

1240

rb_tree_check_node(rbt, self, NULL, true);

sys/libprop/prop_rb.c

231

KASSERT(rb_tree_check_node(rbt, self, NULL, !rebalance));

sys/libprop/prop_rb.c

238

KASSERT(rb_tree_check_node(rbt, self, NULL, true));

sys/libprop/prop_rb.c

268

KASSERT(rb_tree_check_node(rbt, old_father, NULL, false));

sys/libprop/prop_rb.c

269

KASSERT(rb_tree_check_node(rbt, old_child, NULL, false));

sys/libprop/prop_rb.c

271

rb_tree_check_node(rbt, grandpa, NULL, false));

sys/libprop/prop_rb.c

311

KASSERT(rb_tree_check_node(rbt, new_father, NULL, false));

sys/libprop/prop_rb.c

312

KASSERT(rb_tree_check_node(rbt, new_child, NULL, false));

sys/libprop/prop_rb.c

314

rb_tree_check_node(rbt, grandpa, NULL, false));

sys/libprop/prop_rb.c

435

KASSERT(rb_tree_check_node(rbt, self, NULL, false));

sys/libprop/prop_rb.c

469

KASSERT(was_root || rb_tree_check_node(rbt, father, NULL, true));

sys/libprop/prop_rb.c

513

KASSERT(rb_tree_check_node(rbt, self, NULL, false));

sys/libprop/prop_rb.c

514

KASSERT(rb_tree_check_node(rbt, standin, NULL, false));

sys/libprop/prop_rb.c

521

KASSERT(rb_tree_check_node(rbt, standin_son, NULL, true));

sys/libprop/prop_rb.c

54

static bool rb_tree_check_node(const struct rb_tree *, const struct rb_node *,

sys/libprop/prop_rb.c

606

KASSERT(rb_tree_check_node(rbt, standin, NULL, false));

sys/libprop/prop_rb.c

608

|| rb_tree_check_node(rbt, standin_father, NULL, false));

sys/libprop/prop_rb.c

610

|| rb_tree_check_node(rbt, standin->rb_left, NULL, false));

sys/libprop/prop_rb.c

612

|| rb_tree_check_node(rbt, standin->rb_right, NULL, false));

sys/libprop/prop_rb.c

618

KASSERT(rb_tree_check_node(rbt, standin, NULL, true));

sys/libprop/prop_rb.c

642

KASSERT(rb_tree_check_node(rbt, self, NULL, false));

sys/libprop/prop_rb.c

643

KASSERT(rb_tree_check_node(rbt, son, NULL, false));

sys/libprop/prop_rb.c

669

KASSERT(was_root || rb_tree_check_node(rbt, father, NULL, true));

sys/libprop/prop_rb.c

670

KASSERT(rb_tree_check_node(rbt, son, NULL, true));

sys/libprop/prop_rb.c

779

KASSERT(rb_tree_check_node(rbt, brother, NULL, false));

sys/libprop/prop_rb.c

780

KASSERT(rb_tree_check_node(rbt, parent, NULL, false));

sys/libprop/prop_rb.c

796

KASSERT(rb_tree_check_node(rbt, brother, NULL, false));

sys/libprop/prop_rb.c

797

KASSERT(rb_tree_check_node(rbt, parent, NULL, false));

sys/libprop/prop_rb.c

827

KASSERT(rb_tree_check_node(rbt, brother, NULL, true));

sys/libprop/prop_rb.c

886

KASSERT(rb_tree_check_node(rbt, parent, NULL, true));