commit d6537e85ee3dc4a85c8b699c15d10db7f07c3745
Author: Jean Guyader <jean.guyader@xxxxxxxxxxxxx>
Date:   Thu May 3 10:18:52 2012 +0100

    patch evtchn-do-not-set-pending-if-s3

diff --git a/xen/common/event_channel.c b/xen/common/event_channel.c
index fee9a7a..d6da5af 100644
--- a/xen/common/event_channel.c
+++ b/xen/common/event_channel.c
@@ -573,6 +573,11 @@ static int evtchn_set_pending(struct vcpu *v, int port)
     struct domain *d = v->domain;
     int vcpuid;
 
+    /* if domain is in S3 it will miss the notification, so check here */
+    if (d->arch.hvm_domain.is_s3_suspended) {
+        return -EFAULT;
+    }
+
     /*
      * The following bit operations must happen in strict order.
      * NB. On x86, the atomic bit operations also act as memory barriers.