From mboxrd@z Thu Jan  1 00:00:00 1970
From: Andre Przywara <andre.przywara@arm.com>
Subject: ITS emulation race conditions
Date: Mon, 10 Apr 2017 00:10:34 +0100
Message-ID: <56c252be-8034-559c-471f-86f85d8c335b@arm.com>
Mime-Version: 1.0
Content-Type: text/plain; charset="utf-8"
Content-Transfer-Encoding: base64
Return-path: <xen-devel-bounces@lists.xen.org>
Received: from mail6.bemta3.messagelabs.com ([195.245.230.39])
 by lists.xenproject.org with esmtp (Exim 4.84_2)
 (envelope-from <Andre.Przywara@arm.com>) id 1cxM0A-0002hY-Dh
 for xen-devel@lists.xenproject.org; Sun, 09 Apr 2017 23:12:10 +0000
List-Unsubscribe: <https://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: <https://lists.xen.org/cgi-bin/mailman/listinfo/xen-devel>,
 <mailto:xen-devel-request@lists.xen.org?subject=subscribe>
Errors-To: xen-devel-bounces@lists.xen.org
Sender: "Xen-devel" <xen-devel-bounces@lists.xen.org>
To: Stefano Stabellini <sstabellini@kernel.org>, Julien Grall <julien.grall@arm.com>
Cc: xen-devel@lists.xenproject.org
List-Id: xen-devel@lists.xenproject.org

SGksCgpJIHdhbnRlZCB0byBydW4gc29tZSBpZGVhcyBvbiBob3cgdG8gcHJldmVudCB0aGUgcmFj
ZSBjb25kaXRpb25zIHdlIGFyZQpmYWNpbmcgd2l0aCB0aGUgSVRTIGVtdWxhdGlvbiBhbmQgcmVt
b3ZpbmcgZGV2aWNlcyBhbmQvb3IgTFBJcy4KSSB0aGluayBTdGVmYW5vJ3MgaWRlYSBvZiB0YWdn
aW5nIGEgZGlzY2FyZGVkIExQSSBpcyB0aGUga2V5LCBidXQgc3RpbGwKc29tZSBkZXRhaWxzIGFy
ZSBsZWZ0IHRvIGJlIHNvbHZlZC4KSSB0aGluayB3ZSBhcmUgZGVhbGluZyB3aXRoIHR3byBpc3N1
ZXM6CjEpIEEgZ3Vlc3QncyBESVNDQVJEIGNhbiByYWNlIHdpdGggaW4gaW5jb21pbmcgTFBJLgpJ
ZGVhbGx5IERJU0NBUkQgd291bGQgcmVtb3ZlIHRoZSBob3N0IExQSSAtPiB2TFBJIGNvbm5lY3Rp
b24gKGluIHRoZQpob3N0X2xwaXMgdGFibGUpLCBzbyBhbnkgbmV3IGluY29taW5nIChob3N0KSBM
UEkgd291bGQgc2ltcGx5IGJlCmRpc2NhcmRlZCB2ZXJ5IGVhcmx5IGluIGdpY3YzX2RvX0xQSSgp
IHdpdGhvdXQgZXZlciByZXNvbHZpbmcgaW50byBhCnZpcnR1YWwgTFBJLiBOb3cgd2hpbGUgdGhp
cyByZW1vdmFsIGlzIGF0b21pYywgd2UgY291bGQgaGF2ZSBqdXN0IG1pc3NlZAphbiBpbmNvbWlu
ZyBMUEksIHNvIHRoZSBvbGQgdmlydHVhbCBMUEkgd291bGQgc3RpbGwgdHJhdmVyc2UgZG93biB0
aGUKVkdJQyB3aXRoIGEgImRvb21lZCIgdmlydHVhbCBMUEkgSUQuCkkgd29uZGVyIGlmIHRoYXQg
Y291bGQgYmUgc29sdmVkIGJ5IGEgImNyb3Nzd2lzZSIgY2hlY2s6Ci0gVGhlIERJU0NBUkQgaGFu
ZGxlciAqZmlyc3QqIHRhZ3MgdGhlIHBlbmRpbmdfaXJxIGFzICJVTk1BUFBFRCIsICp0aGVuKgpy
ZW1vdmVzIHRoZSBob3N0X2xwaXMgY29ubmVjdGluLgotIGRvX0xQSSgpIHJlYWRzIHRoZSBob3N0
X2xwaXMoKSBhcnJheSwgKnRoZW4qIGNoZWNrcyB0aGUgVU5NQVBQRUQgdGFnCmluIHRoZSBjb3Jy
ZXNwb25kaW5nIHBlbmRpbmdfaXJxIChvciBsZXRzIHZnaWNfdmNwdV9pbmplY3RfaXJxKCkgZG8g
dGhhdCkuCldpdGggdGhpcyBzZXR1cCB0aGUgRElTQ0FSRCBoYW5kbGVyIGNhbiBhc3N1bWUgdGhh
dCBubyBuZXcgdmlydHVhbCBMUEkKaW5zdGFuY2VzIGVudGVyIHRoZSBWR0lDIGFmdGVyd2FyZHMu
CgoyKSBBbiB1bm1hcHBlZCBMUEkgbWlnaHQgc3RpbGwgYmUgaW4gdXNlIGJ5IHRoZSBWR0lDLCBm
b3JlbW9zdCBtaWdodApzdGlsbCBiZSBpbiBhbiBMUi4KVGFnZ2luZyB0aGUgcGVuZGluZ19pcnEg
c2hvdWxkIHNvbHZlIHRoaXMgaW4gZ2VuZXJhbC4gV2hlbmV2ZXIgYSBWR0lDCmZ1bmN0aW9uIGZp
bmRzIHRoZSBVTk1BUFBFRCB0YWcsIGl0IGRvZXMgbm90IHByb2Nlc3MgdGhlIHZJUlEsIGJ1dApy
ZXRpcmVzIGl0LiBGb3Igc2ltcGxpY2l0eSB3ZSBtaWdodCBsaW1pdCB0aGlzIHRvIGhhbmRsaW5n
IHdoZW4gYSBWQ1BVCmV4aXN0cyBhbmQgYW4gTFIgZ2V0cyBjbGVhbmVkIHVwOiBJZiB3ZSBoaXQg
YSB0YWdnZWQgcGVuZGluZ19pcnEgaGVyZSwKd2UgY2xlYW4gdGhlIExSLCByZW1vdmUgdGhlIHBl
bmRpbmdfaXJxIGZyb20gYWxsIGxpc3RzIGFuZCBzaWduYWwgdGhlCklUUyBlbXVsYXRpb24gdGhh
dCB0aGlzIHBlbmRpbmdfaXJxIGlzIG5vdyByZWFkeSB0byBiZSByZW1vdmVkIChieQpjYWxsaW5n
IHNvbWUga2luZCBvZiBjbGVhbnVwX2xwaSgpIGZ1bmN0aW9uLCBmb3IgaW5zdGFuY2UpLgpUaGUg
SVRTIGNvZGUgY2FuIHRoZW4gcmVtb3ZlIHRoZSBzdHJ1Y3QgcGVuZGluZ19pcnEgZnJvbSB0aGUg
cmFkaXggdHJlZS4KCk1BUEQoVj0wKSBpcyBub3cgdXNpbmcgdGhpcyB0byB0YWcgYWxsIHN0aWxs
IG1hcHBlZCBldmVudHMgYXMKIlVOTUFQUEVEIiwgdGhlIGNvdW50aW5nIGRvd24gdGhlICJzdGls
bCBhbGl2ZSIgcGVuZGluZ19pcnFzIGluCmNsZWFudXBfbHBpKCkgdW50aWwgdGhleSByZWFjaCB6
ZXJvLiBBdCB0aGlzIHBvaW50IGl0IHNob3VsZCBiZSBzYWZlIHRvCmZyZWUgdGhlIHBlbmRfaXJx
IGFycmF5LgoKRG9lcyB0aGF0IHNvdW5kIGxpa2UgYSBwbGFuPwpEbyBJIG1pc3Mgc29tZXRoaW5n
IGhlcmU/IFByb2JhYmx5IHllcywgaGVuY2UgSSBhbSBhc2tpbmcgOy0pCgpDaGVlcnMsCkFuZHJl
LgpJTVBPUlRBTlQgTk9USUNFOiBUaGUgY29udGVudHMgb2YgdGhpcyBlbWFpbCBhbmQgYW55IGF0
dGFjaG1lbnRzIGFyZSBjb25maWRlbnRpYWwgYW5kIG1heSBhbHNvIGJlIHByaXZpbGVnZWQuIElm
IHlvdSBhcmUgbm90IHRoZSBpbnRlbmRlZCByZWNpcGllbnQsIHBsZWFzZSBub3RpZnkgdGhlIHNl
bmRlciBpbW1lZGlhdGVseSBhbmQgZG8gbm90IGRpc2Nsb3NlIHRoZSBjb250ZW50cyB0byBhbnkg
b3RoZXIgcGVyc29uLCB1c2UgaXQgZm9yIGFueSBwdXJwb3NlLCBvciBzdG9yZSBvciBjb3B5IHRo
ZSBpbmZvcm1hdGlvbiBpbiBhbnkgbWVkaXVtLiBUaGFuayB5b3UuCgpfX19fX19fX19fX19fX19f
X19fX19fX19fX19fX19fX19fX19fX19fX19fX19fXwpYZW4tZGV2ZWwgbWFpbGluZyBsaXN0Clhl
bi1kZXZlbEBsaXN0cy54ZW4ub3JnCmh0dHBzOi8vbGlzdHMueGVuLm9yZy94ZW4tZGV2ZWwK