vdo_free_work_queue
vdo_free_work_queue(vdo_forget(*queue_ptr));
void vdo_free_work_queue(struct vdo_work_queue *queue);
vdo_free_work_queue(vdo_forget(vdo->threads[i].queue));