From: Mukesh Rathor <mukesh.rathor@oracle.com>
Date: Mon, 11 Jun 2012 14:11:58 +0000 (+0100)
Subject: gdbsx: send virq to guest if gdbsx_vcpu_event is not active
X-Git-Tag: archive/raspbian/4.8.0-1+rpi1~1^2~8325
X-Git-Url: https://dgit.raspbian.org/?a=commitdiff_plain;h=073d4837444dc3b7480a463945317c2b6c9110c5;p=xen.git

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@oracle.com>
Committed-by: Keir Fraser <keir@xen.org>
---

diff --git a/xen/common/domain.c b/xen/common/domain.c
index 8840202af5..c21d18b548 100644
--- a/xen/common/domain.c
+++ b/xen/common/domain.c
@@ -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. */