void pdeq_push_l(struct cds_list_head *e, struct pdeq *d) { int i; spin_lock(&d->llock); i = d->lidx; deq_push_l(e, &d->bkt[i]); d->lidx = moveleft(d->lidx); spin_unlock(&d->llock); }
void pdeq_push_l(struct cds_list_head *e, struct pdeq *d) { spin_lock(&d->llock); deq_push_l(e, &d->ldeq); spin_unlock(&d->llock); }
void pdeq_push_l(struct cds_list_head *e, struct pdeq *d) //\lnlbl{pushl:b} { spin_lock(&d->llock); //\lnlbl{pushl:acq:l} deq_push_l(e, &d->ldeq); //\lnlbl{pushl:que:l} spin_unlock(&d->llock); //\lnlbl{pushl:rel:l} } //\lnlbl{pushl:e}