54 static bool rb_tree_check_node(const struct rb_tree *, const struct rb_node *,
57 #define	rb_tree_check_node(a, b, c, d)	true  macro
231 	KASSERT(rb_tree_check_node(rbt, self, NULL, !rebalance));  in _prop_rb_tree_insert_node()
238 		KASSERT(rb_tree_check_node(rbt, self, NULL, true));  in _prop_rb_tree_insert_node()
268 	KASSERT(rb_tree_check_node(rbt, old_father, NULL, false));  in rb_tree_reparent_nodes()
269 	KASSERT(rb_tree_check_node(rbt, old_child, NULL, false));  in rb_tree_reparent_nodes()
271 	    rb_tree_check_node(rbt, grandpa, NULL, false));  in rb_tree_reparent_nodes()
311 	KASSERT(rb_tree_check_node(rbt, new_father, NULL, false));  in rb_tree_reparent_nodes()
312 	KASSERT(rb_tree_check_node(rbt, new_child, NULL, false));  in rb_tree_reparent_nodes()
314 	    rb_tree_check_node(rbt, grandpa, NULL, false));  in rb_tree_reparent_nodes()
435 	KASSERT(rb_tree_check_node(rbt, self, NULL, false));  in rb_tree_prune_node()
469 	KASSERT(was_root || rb_tree_check_node(rbt, father, NULL, true));  in rb_tree_prune_node()
513 	KASSERT(rb_tree_check_node(rbt, self, NULL, false));  in rb_tree_swap_prune_and_rebalance()
514 	KASSERT(rb_tree_check_node(rbt, standin, NULL, false));  in rb_tree_swap_prune_and_rebalance()
521 		KASSERT(rb_tree_check_node(rbt, standin_son, NULL, true));  in rb_tree_swap_prune_and_rebalance()
606 	KASSERT(rb_tree_check_node(rbt, standin, NULL, false));  in rb_tree_swap_prune_and_rebalance()
608 		|| rb_tree_check_node(rbt, standin_father, NULL, false));  in rb_tree_swap_prune_and_rebalance()
610 		|| rb_tree_check_node(rbt, standin->rb_left, NULL, false));  in rb_tree_swap_prune_and_rebalance()
612 		|| rb_tree_check_node(rbt, standin->rb_right, NULL, false));  in rb_tree_swap_prune_and_rebalance()
618 	KASSERT(rb_tree_check_node(rbt, standin, NULL, true));  in rb_tree_swap_prune_and_rebalance()
642 	KASSERT(rb_tree_check_node(rbt, self, NULL, false));  in rb_tree_prune_blackred_branch()
643 	KASSERT(rb_tree_check_node(rbt, son, NULL, false));  in rb_tree_prune_blackred_branch()
669 	KASSERT(was_root || rb_tree_check_node(rbt, father, NULL, true));  in rb_tree_prune_blackred_branch()
670 	KASSERT(rb_tree_check_node(rbt, son, NULL, true));  in rb_tree_prune_blackred_branch()
779 				KASSERT(rb_tree_check_node(rbt, brother, NULL, false));  in rb_tree_removal_rebalance()
780 				KASSERT(rb_tree_check_node(rbt, parent, NULL, false));  in rb_tree_removal_rebalance()
796 				KASSERT(rb_tree_check_node(rbt, brother, NULL, false));  in rb_tree_removal_rebalance()
797 				KASSERT(rb_tree_check_node(rbt, parent, NULL, false));  in rb_tree_removal_rebalance()
827 			KASSERT(rb_tree_check_node(rbt, brother, NULL, true));  in rb_tree_removal_rebalance()
886 	KASSERT(rb_tree_check_node(rbt, parent, NULL, true));  in rb_tree_removal_rebalance()
1002 rb_tree_check_node(const struct rb_tree *rbt, const struct rb_node *self,  in rb_tree_check_node()  function
1222 		rb_tree_check_node(rbt, self, prev, false);  in rb_tree_check()
1240 			rb_tree_check_node(rbt, self, NULL, true);  in rb_tree_check()