semaphore_queue
rq = semaphore_queue(engine, vma, 0);
head = semaphore_queue(outer, vma, n++);
rq = semaphore_queue(engine, vma, n++);