void pdeq_push_r(struct cds_list_head *e, struct pdeq *d) { int i; spin_lock(&d->rlock); i = d->ridx; deq_push_r(e, &d->bkt[i]); d->ridx = moveright(d->ridx); spin_unlock(&d->rlock); }
void pdeq_push_r(struct cds_list_head *e, struct pdeq *d) { spin_lock(&d->rlock); deq_push_r(e, &d->rdeq); spin_unlock(&d->rlock); }
void pdeq_push_r(struct cds_list_head *e, struct pdeq *d) //\lnlbl{pushr:b} { spin_lock(&d->rlock); deq_push_r(e, &d->rdeq); spin_unlock(&d->rlock); } //\lnlbl{pushr:e}