Symbol: SPLAY_ROTATE_RIGHT
sys/sys/tree.h
218
SPLAY_ROTATE_RIGHT(head, __tmp, field); \
sys/sys/tree.h
254
SPLAY_ROTATE_RIGHT(head, __tmp, field); \