428   IN OUT RED_BLACK_TREE_NODE *Pivot,  in RedBlackTreeRotateRight()  argument
436   Parent         = Pivot->Parent;  in RedBlackTreeRotateRight()
437   LeftChild      = Pivot->Left;  in RedBlackTreeRotateRight()
440   Pivot->Left = LeftRightChild;  in RedBlackTreeRotateRight()
442     LeftRightChild->Parent = Pivot;  in RedBlackTreeRotateRight()
448     if (Pivot == Parent->Left) {  in RedBlackTreeRotateRight()
454   LeftChild->Right = Pivot;  in RedBlackTreeRotateRight()
455   Pivot->Parent = LeftChild;  in RedBlackTreeRotateRight()
493   IN OUT RED_BLACK_TREE_NODE *Pivot,  in RedBlackTreeRotateLeft()  argument
501   Parent         = Pivot->Parent;  in RedBlackTreeRotateLeft()
502   RightChild     = Pivot->Right;  in RedBlackTreeRotateLeft()
505   Pivot->Right = RightLeftChild;  in RedBlackTreeRotateLeft()
507     RightLeftChild->Parent = Pivot;  in RedBlackTreeRotateLeft()
513     if (Pivot == Parent->Left) {  in RedBlackTreeRotateLeft()
519   RightChild->Left = Pivot;  in RedBlackTreeRotateLeft()
520   Pivot->Parent = RightChild;  in RedBlackTreeRotateLeft()