#include <urcu/waitqueue-lifo.h>
#include <urcu/wfcqueue.h>
#include <urcu/rculist.h>
#include <urcu/waitqueue-lifo.h>
#include <urcu/wfcqueue.h>
#include <urcu/rculist.h>
- cds_wfcq_dequeue_lock(&sibling->head, &sibling->tail);
- splice_ret = __cds_wfcq_splice_blocking(&worker->head,
+ splice_ret = cds_wfcq_splice_blocking(&worker->head,
/* Ensure that we preserve FIFO work order. */
assert(splice_ret != CDS_WFCQ_RET_DEST_NON_EMPTY);
return splice_ret != CDS_WFCQ_RET_SRC_EMPTY;
/* Ensure that we preserve FIFO work order. */
assert(splice_ret != CDS_WFCQ_RET_DEST_NON_EMPTY);
return splice_ret != CDS_WFCQ_RET_SRC_EMPTY;
/* Protect stack dequeue against ABA */
synchronize_rcu();
was_empty = !urcu_wait_add(&queue->waitqueue,
/* Protect stack dequeue against ABA */
synchronize_rcu();
was_empty = !urcu_wait_add(&queue->waitqueue,