[Xen-changelog] [xen-unstable] gdbsx: send virq to guest if gdbsx_vcpu_event is not active

[Xen patchbot-unstable <patchbot@xxxxxxx>]

# HG changeset patch
# User Mukesh Rathor <mukesh.rathor@xxxxxxxxxx>
# Date 1339423918 -3600
# Node ID e12e0b0382191af6adc5bc797951d84be874e16d
# Parent  a70b35deb2b5592cc1b2363860f21bb2c7049885
gdbsx: send virq to guest if gdbsx_vcpu_event is not active

gdbsx got broken along the way. During domain pause, don't send
VIRQ_DEBUGGER to guest if gdbsx is active on that guest.

Signed-off-by: Mukesh Rathor <mukesh.rathor@xxxxxxxxxx>
Committed-by: Keir Fraser <keir@xxxxxxx>
---


diff -r a70b35deb2b5 -r e12e0b038219 xen/common/domain.c
--- a/xen/common/domain.c       Fri Jun 08 17:00:13 2012 +0100
+++ b/xen/common/domain.c       Mon Jun 11 15:11:58 2012 +0100
@@ -624,7 +624,9 @@ void domain_pause_for_debugger(void)
     for_each_vcpu ( d, v )
         vcpu_sleep_nosync(v);
 
-    send_global_virq(VIRQ_DEBUGGER);
+    /* if gdbsx active, we just need to pause the domain */
+    if (current->arch.gdbsx_vcpu_event == 0)
+        send_global_virq(VIRQ_DEBUGGER);
 }
 
 /* Complete domain destroy after RCU readers are not holding old references. */

_______________________________________________
Xen-changelog mailing list
Xen-changelog@xxxxxxxxxxxxx
http://lists.xensource.com/xen-changelog