SPLAY_ROTATE_RIGHT  224 include/tree.h         SPLAY_ROTATE_RIGHT(head, __tmp, field);                               \
SPLAY_ROTATE_RIGHT  260 include/tree.h         SPLAY_ROTATE_RIGHT(head, __tmp, field);                               \