From mboxrd@z Thu Jan  1 00:00:00 1970
From: Xu Zhang <xzhang@cs.uic.edu>
Subject: Re: [PATCH V2 0/6] mini-os: check and fix up against
 nested events in x86-64 kernel entry
Date: Mon, 22 Apr 2013 10:00:05 -0500
Message-ID: <51755075.60601@cs.uic.edu>
References: <1365655620-30177-1-git-send-email-xzhang@cs.uic.edu>
	<1366211691.25579.61.camel@zakaz.uk.xensource.com>
	<20130421002241.GZ5841@type.youpi.perso.aquilenet.fr>
	<1366632029.22143.51.camel@zakaz.uk.xensource.com>
Mime-Version: 1.0
Content-Type: text/plain; charset="utf-8"; Format="flowed"
Content-Transfer-Encoding: base64
Return-path: <xen-devel-bounces@lists.xen.org>
In-Reply-To: <1366632029.22143.51.camel@zakaz.uk.xensource.com>
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: Ian Campbell <Ian.Campbell@citrix.com>
Cc: "jeremy@goop.org" <jeremy@goop.org>, Stefano Stabellini <Stefano.Stabellini@eu.citrix.com>, George Dunlap <George.Dunlap@eu.citrix.com>, Xu Zhang <xzhang@cs.uic.edu>, "xen-devel@lists.xen.org" <xen-devel@lists.xen.org>, "gm281@cam.ac.uk" <gm281@cam.ac.uk>, Samuel Thibault <samuel.thibault@ens-lyon.org>
List-Id: xen-devel@lists.xenproject.org

T24gMDQvMjIvMjAxMyAwNzowMCBBTSwgSWFuIENhbXBiZWxsIHdyb3RlOgo+IE9uIFN1biwgMjAx
My0wNC0yMSBhdCAwMToyMiArMDEwMCwgU2FtdWVsIFRoaWJhdWx0IHdyb3RlOgo+PiBJYW4gQ2Ft
cGJlbGwsIGxlIFdlZCAxNyBBcHIgMjAxMyAxNjoxNDo1MSArMDEwMCwgYSDDqWNyaXQgOgo+Pj4g
T24gVGh1LCAyMDEzLTA0LTExIGF0IDA1OjQ2ICswMTAwLCBYdSBaaGFuZyB3cm90ZToKPj4+PiBt
aW5pLW9zIGFsbW9zdCBhbHdheXMgdXNlIGRpcmVjdCBpcmV0IHRvIHJldHVybiBmcm9tIGludGVy
cnVwdC4KPj4+PiBCdXQgdGhpcyBvcGVyYXRpb24gaXMgbm90IGF0b21pYyBiZWNhdXNlIFhlbiB1
c2VzIGV2ZW50IG1hc2sgdG8KPj4+PiBlbmFibGUvZGlzYWJsZSBldmVudCBkZWxpdmVyeS4gU28g
dGhlcmUgaXMgYSB3aW5kb3cgZm9yIG5lc3RlZAo+Pj4+IGV2ZW50cyB0byBoYXBwZW4gYWZ0ZXIg
cmUtZW5hYmxpbmcgZXZlbnQgZGVsaXZlcnkgYW5kIGJlZm9yZQo+Pj4+IGEgZGlyZWN0IGlyZXQu
Cj4+Pj4KPj4+PiBUaGUgaXNzdWVzIGNvbWUgd2l0aCBzdWNoIG5vbi1hdG9taWNpdHkgaGF2ZSBi
ZWVuIGRpc2N1c3NlZCBpbjoKPj4+PiBodHRwOi8vbGlzdHMueGVuLm9yZy9hcmNoaXZlcy9odG1s
L3hlbi1kZXZlbC8yMDA3LTA2L21zZzAwMTQyLmh0bWwKPj4+Pgo+Pj4+IEFuZCBhbHNvIG9uIFhl
bi1kZXZlbDoKPj4+PiBodHRwOi8vbWFya21haWwub3JnL21lc3NhZ2Uvamt6aHp5NmZ5ZXM2aWdj
Zgo+Pj4+Cj4+Pj4gVGhpcyBwYXRjaCBjaGVja3MgYW5kIGZpeGVzIHVwIGFnYWluc3QgbmVzdGVk
IGV2ZW50cyBpbiBhIHNpbWlsYXIKPj4+PiBmYXNoaW9uIG9mIExpbnV4IDMyYml0IHB2b3BzLgo+
Pj4+IEl0IGNoZWNrcyBhZ2FpbnN0IHJlLWVudHJhbnQgb2YgY3JpdGljYWwgc2VjdGlvbiBpbiBl
dmVudCBoYW5kbGluZwo+Pj4+IGNhbGxiYWNrLiBUcnkgdG8gZml4IHVwIGJ5IGNvYWxlc2Npbmcg
dGhlIHR3byBzdGFjayBmcmFtZXMgaW50bwo+Pj4+IG9uZSB3aGVuIHRoZSBhIG5lc3RlZCBldmVu
dCBjYW1lLgo+Pj4+IEl0IHRoZW4gcmVzdW1lcyBleGVjdXRpb24gYXMgaWYgdGhlIHNlY29uZCBl
dmVudCBuZXZlciBoYXBwZW5lZC4KPj4+Pgo+Pj4+IEl0IGFsc28gcmVmYWN0b3JzIG1pbmktb3Mn
cyB4ODYtNjQga2VybmVsIGVudHJ5IGFzc2VtYmx5IGNvZGUuCj4+PiBTYW11ZWwgYXJlIHlvdSBu
b3cgaGFwcHkgd2l0aCB0aGlzPwo+PiBZZXMuCj4gVGhhbmtzLiBHZW9yZ2UgYWxzbyBBY2tlZCBv
biBJUkMgd3J0IHRoZSBmcmVlemUgc28gYXBwbGllZC4KPgo+IFRoYW5rcyBYdS4KPgo+IElhbi4K
PgoKVGhhbmtzLCBJYW4uCgpBbm90aGVyIHRoaW5nOiBtaW5pLW9zIHg4Ni0zMmJpdCBmaXhlcyB1
cCBhZ2FpbnN0IGV2ZW50IHJlLWVudHJhbnQgdXNpbmcgCmEgbG9vayB1cCB0YWJsZSBpbiB0aGUg
c2ltaWxhciBmYXNoaW9uIG9mIHRoZSBpbml0aWFsIHZlcnNpb24gb2YgdGhlc2UgCnBhdGNoZXMu
IFRoZXJlIGlzIG5vIHByb2JsZW0gY29ycmVjdG5lc3Mgd2lzZS4gQnV0IHN1Y2ggdGFibGUgY291
bGQgYmUgCmhhcmQgdG8gbWFpbnRhaW4sIGFzIEplcmVteSBwb2ludGVkIG91dC4gU28gSSBjYW4g
YXBwbHkgdGhlIHNpbWlsYXIgCnJlZmluZW1lbnQgb24geDg2XzMyLlMsIHRvby4gSXQgYWxzbyBt
YWtlcyBtaW5pLW9zIDMyYml0IGtlcm5lbCBlbnRyeSAKY29uc2lzdGVudCB3aXRoIDY0Yml0J3Mu
IExldCBtZSBrbm93IGlmIGl0IGlzIHdvcnRoIGRvaW5nLgoKVGhhbmtzIGFnYWluLgoKLS0gCnh1
Cgo6cSEKCgoKX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX18K
WGVuLWRldmVsIG1haWxpbmcgbGlzdApYZW4tZGV2ZWxAbGlzdHMueGVuLm9yZwpodHRwOi8vbGlz
dHMueGVuLm9yZy94ZW4tZGV2ZWwK