From mboxrd@z Thu Jan  1 00:00:00 1970
From: David Vrabel <david.vrabel@citrix.com>
Subject: [PATCH 0/3] Linux: fix some event handling bugs
Date: Tue, 13 Aug 2013 15:31:33 +0100
Message-ID: <1376404296-7012-1-git-send-email-david.vrabel@citrix.com>
Mime-Version: 1.0
Content-Type: text/plain; charset="us-ascii"
Content-Transfer-Encoding: 7bit
Return-path: <xen-devel-bounces@lists.xen.org>
List-Unsubscribe: <http://lists.xen.org/cgi-bin/mailman/options/xen-devel>,
	<mailto:xen-devel-request@lists.xen.org?subject=unsubscribe>
List-Post: <mailto:xen-devel@lists.xen.org>
List-Help: <mailto:xen-devel-request@lists.xen.org?subject=help>
List-Subscribe: <http://lists.xen.org/cgi-bin/mailman/listinfo/xen-devel>,
	<mailto:xen-devel-request@lists.xen.org?subject=subscribe>
Sender: xen-devel-bounces@lists.xen.org
Errors-To: xen-devel-bounces@lists.xen.org
To: xen-devel@lists.xen.org
Cc: Boris Ostrovsky <boris.ostrovky@oracle.com>, David Vrabel <david.vrabel@citrix.com>
List-Id: xen-devel@lists.xenproject.org

We have been seeing cases when events are being lost or delayed.  The
event is pending but it is never handled.  This series fixes two bugs
and some documentation that I foudn when reviewing the code.

We do not yet have a good repro of the lost events bug yet so I'm not
sure if this patches fix the problem so I would appreciate some
careful review of the reasoning behind this patches.

Thanks.

David