STUB
if (cmpxchg(&tl->retire, NULL, STUB)) /* already queued */
NEXT(STUB(queue)) = NULL;
queue->head = queue->tail = STUB(queue);
if (tail == STUB(queue)) {
__wg_prev_queue_enqueue(queue, STUB(queue));
STUB(proc)
STUB(proc)
STUB(GETDEVICELIST),