launch_dedupe
launch_dedupe(lock, agent, true);
launch_dedupe(lock, dequeue_lock_waiter(lock), false);
launch_dedupe(lock, data_vio, false);