Mukesh Rathor
2012-Jun-08 18:07 UTC
[PATCH]: 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> thanks, Mukesh _______________________________________________ Xen-devel mailing list Xen-devel@lists.xen.org http://lists.xen.org/xen-devel