ccflags-$(CONFIG_XEN_V2V_DEBUG) += -DDEBUG
diff --git a/drivers/xen/v2v/v2vdev.c b/drivers/xen/v2v/v2vdev.c
new file mode 100644
-index 0000000..9a42523
+index 0000000..f827221
--- /dev/null
+++ b/drivers/xen/v2v/v2vdev.c
-@@ -0,0 +1,909 @@
+@@ -0,0 +1,905 @@
+/******************************************************************************
+ * drivers/xen/v2v/v2vdev.c
+ *
+{
+ struct v2vdev *c = f->private_data;
+
-+
-+ //FIXME - race
-+ if (c->state == V2VDEV_CONNECTED)
-+ v2v_disconnect (c->channel);
-+
++ v2v_disconnect (c->channel);
+ if (c->read_buf)
+ buffer_free (c->read_buf);
+