Do you try to switch to the if the domid is the same.

diff --git a/dom0_driver.c b/dom0_driver.c
index 4c3c60623ad30c62472395bff83110145bdf23f5..1df5fd6e66d8523baa11931db432c89121e9d69e 100644 (file)
--- a/dom0_driver.c
+++ b/dom0_driver.c
@@ -529,6 +529,12 @@ static void dom0_driver_switch_controller(int slot, int controller)
        return;
     }
 
+    if (info.domid == positions[slot])
+    {
+       DEBUG("Cannot switch controller %d to %d, already got the focus\n", controller, slot);
+       return;
+    }
+
     dom0_driver_xs_write("new-slot", slot, controller);
     dom0_driver_xs_write("timestamp", time(NULL), controller);
     dom0_driver_xs_write("state", 0, controller);