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  macro
306 	KASSERT(rb_tree_check_node(rbt, self, NULL, !rebalance));  in rb_tree_insert_node()
313 		KASSERT(rb_tree_check_node(rbt, self, NULL, true));  in rb_tree_insert_node()
342 	KASSERT(rb_tree_check_node(rbt, old_father, NULL, false));  in rb_tree_reparent_nodes()
343 	KASSERT(rb_tree_check_node(rbt, old_child, NULL, false));  in rb_tree_reparent_nodes()
345 	    rb_tree_check_node(rbt, grandpa, NULL, false));  in rb_tree_reparent_nodes()
385 	KASSERT(rb_tree_check_node(rbt, new_father, NULL, false));  in rb_tree_reparent_nodes()
386 	KASSERT(rb_tree_check_node(rbt, new_child, NULL, false));  in rb_tree_reparent_nodes()
388 	    rb_tree_check_node(rbt, grandpa, NULL, false));  in rb_tree_reparent_nodes()
509 	KASSERT(rb_tree_check_node(rbt, self, NULL, false));  in rb_tree_prune_node()
543 	KASSERT(was_root || rb_tree_check_node(rbt, father, NULL, true));  in rb_tree_prune_node()
587 	KASSERT(rb_tree_check_node(rbt, self, NULL, false));  in rb_tree_swap_prune_and_rebalance()
588 	KASSERT(rb_tree_check_node(rbt, standin, NULL, false));  in rb_tree_swap_prune_and_rebalance()
595 		KASSERT(rb_tree_check_node(rbt, standin_son, NULL, true));  in rb_tree_swap_prune_and_rebalance()
680 	KASSERT(rb_tree_check_node(rbt, standin, NULL, false));  in rb_tree_swap_prune_and_rebalance()
682 		|| rb_tree_check_node(rbt, standin_father, NULL, false));  in rb_tree_swap_prune_and_rebalance()
684 		|| rb_tree_check_node(rbt, standin->rb_left, NULL, false));  in rb_tree_swap_prune_and_rebalance()
686 		|| rb_tree_check_node(rbt, standin->rb_right, NULL, false));  in rb_tree_swap_prune_and_rebalance()
692 	KASSERT(rb_tree_check_node(rbt, standin, NULL, true));  in rb_tree_swap_prune_and_rebalance()
716 	KASSERT(rb_tree_check_node(rbt, self, NULL, false));  in rb_tree_prune_blackred_branch()
717 	KASSERT(rb_tree_check_node(rbt, son, NULL, false));  in rb_tree_prune_blackred_branch()
743 	KASSERT(was_root || rb_tree_check_node(rbt, father, NULL, true));  in rb_tree_prune_blackred_branch()
744 	KASSERT(rb_tree_check_node(rbt, son, NULL, true));  in rb_tree_prune_blackred_branch()
853 				KASSERT(rb_tree_check_node(rbt, brother, NULL, false));  in rb_tree_removal_rebalance()
854 				KASSERT(rb_tree_check_node(rbt, parent, NULL, false));  in rb_tree_removal_rebalance()
870 				KASSERT(rb_tree_check_node(rbt, brother, NULL, false));  in rb_tree_removal_rebalance()
871 				KASSERT(rb_tree_check_node(rbt, parent, NULL, false));  in rb_tree_removal_rebalance()
901 			KASSERT(rb_tree_check_node(rbt, brother, NULL, true));  in rb_tree_removal_rebalance()
960 	KASSERT(rb_tree_check_node(rbt, parent, NULL, true));  in rb_tree_removal_rebalance()
1076 rb_tree_check_node(const struct rb_tree *rbt, const struct rb_node *self,  in rb_tree_check_node()  function
1296 		rb_tree_check_node(rbt, self, prev, false);  in rb_tree_check()
1314 			rb_tree_check_node(rbt, self, NULL, true);  in rb_tree_check()