RB_ROTATE_RIGHT   412 sys/tree.h     			RB_ROTATE_RIGHT(head, gparent, tmp, field);	\
RB_ROTATE_RIGHT   422 sys/tree.h     				RB_ROTATE_RIGHT(head, parent, tmp, field);\
RB_ROTATE_RIGHT   461 sys/tree.h     					RB_ROTATE_RIGHT(head, tmp, oleft, field);\
RB_ROTATE_RIGHT   476 sys/tree.h     				RB_ROTATE_RIGHT(head, parent, tmp, field);\
RB_ROTATE_RIGHT   500 sys/tree.h     				RB_ROTATE_RIGHT(head, parent, tmp, field);\