if (x->rtavl_link[0] != NULL)
  y->rtavl_link[1] = x->rtavl_link[0];
else
  y->rtavl_rtag = RTAVL_THREAD;
x->rtavl_link[0] = y;
y->rtavl_balance = x->rtavl_balance = 0;
