dequeue_lock_waiter
launch_dedupe(lock, dequeue_lock_waiter(lock), false);
while (((data_vio = dequeue_lock_waiter(lock)) != NULL) &&
struct data_vio *new_agent = dequeue_lock_waiter(lock);