struct rtrb_node *y = w->rtrb_link[0]; y->rtrb_color = RTRB_BLACK; w->rtrb_color = RTRB_RED; w->rtrb_link[0] = y->rtrb_link[1]; y->rtrb_link[1] = w; w = pa[k - 1]->rtrb_link[1] = y; if (w->rtrb_rtag == RTRB_THREAD) { w->rtrb_rtag = RTRB_CHILD; w->rtrb_link[1]->rtrb_link[0] = NULL; }