From mboxrd@z Thu Jan  1 00:00:00 1970
From: Julien Grall <julien.grall@arm.com>
Subject: Re: [PATCH v3] xen/arm: fix rank/vgic lock inversion bug
Date: Thu, 2 Feb 2017 12:10:37 +0000
Message-ID: <b7084d63-7967-963c-208b-277270a70b7e@arm.com>
References: <1483486167-24607-1-git-send-email-sstabellini@kernel.org>
 <9e43e1df-3551-9933-9cda-d1fcdaed11e0@arm.com>
 <alpine.DEB.2.10.1701311439560.17946@sstabellini-ThinkPad-X260>
 <1b64723b-ece8-32a7-0e2d-a630c0596a76@arm.com>
 <alpine.DEB.2.10.1702011501220.17946@sstabellini-ThinkPad-X260>
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>
Received: from mail6.bemta6.messagelabs.com ([193.109.254.103])
 by lists.xenproject.org with esmtp (Exim 4.84_2)
 (envelope-from <julien.grall@arm.com>) id 1cZGDq-0001Sf-AL
 for xen-devel@lists.xenproject.org; Thu, 02 Feb 2017 12:10:42 +0000
In-Reply-To: <alpine.DEB.2.10.1702011501220.17946@sstabellini-ThinkPad-X260>
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>
Cc: xen-devel@lists.xenproject.org, Andre Przywara <Andre.Przywara@arm.com>
List-Id: xen-devel@lists.xenproject.org

SGkgU3RlZmFubywKCk9uIDAxLzAyLzE3IDIzOjIzLCBTdGVmYW5vIFN0YWJlbGxpbmkgd3JvdGU6
Cj4gT24gV2VkLCAxIEZlYiAyMDE3LCBKdWxpZW4gR3JhbGwgd3JvdGU6Cj4+IE9uIDMxLzAxLzIw
MTcgMjM6NDksIFN0ZWZhbm8gU3RhYmVsbGluaSB3cm90ZToKPj4+IE9uIEZyaSwgMjcgSmFuIDIw
MTcsIEp1bGllbiBHcmFsbCB3cm90ZToKPj4+PiBPbiAwMy8wMS8xNyAyMzoyOSwgU3RlZmFubyBT
dGFiZWxsaW5pIHdyb3RlOgo+PiBTbyB3ZSBoYXZlIHRvIHdvcnJ5IGFib3V0IFNQSXMgYW5kIExQ
SXMgKHRob3VnaHQgdGhleSBhcmUgbm90IHlldCBzdXBwb3J0ZWQpLgo+PiBGcm9tIHRoZSBub3Rl
IGluIDMuMi4zOgo+PiAiRm9yIGFueSBwcm9jZXNzb3IsIGlmIGFuIGludGVycnVwdCBpcyBhY3Rp
dmUgYW5kIHBlbmRpbmcsIHRoZSBHSUMgZG9lcyBub3QKPj4gc2lnbmFsIGFuIGludGVycnVwdCBl
eGNlcHRpb24gcmVxdWVzdAo+PiBmb3IgdGhlIGludGVycnVwdCB0byBhbnkgcHJvY2Vzc29yIHVu
dGlsIHRoZSBhY3RpdmUgc3RhdHVzIGlzIGNsZWFyZWQuIgo+Pgo+PiBHaXZlbiB0aGF0IFNQSXMg
aGF2ZSBhbiBhY3RpdmF0ZSBzdGF0ZSBhbmQgd2lsbCBiZSBzaGFyZWQsIHRoaXMgc2NlbmFyaW8K
Pj4gY2Fubm90IGhhcHBlbi4KPgo+IFllcywgYnV0IGp1c3QgYWJvdmU6Cj4KPiAgIEEgR0lDdjEg
aW1wbGVtZW50YXRpb24gbWlnaHQgZW5zdXJlIHRoYXQgb25seSBvbmUgcHJvY2Vzc29yIGNhbiBt
YWtlIGEKPiAgIDEtTiBpbnRlcnJ1cHQgYWN0aXZlLCByZW1vdmluZyB0aGUgcmVxdWlyZW1lbnQg
Zm9yIGEgbG9jayBvbiB0aGUgSVNSLgo+ICAgVGhpcyBpcyBub3QgcmVxdWlyZWQgYnkgdGhlIGFy
Y2hpdGVjdHVyZSwgYW5kIGdlbmVyaWMgR0lDIGNvZGUgbXVzdCBub3QKPiAgIHJlbHkgb24gdGhp
cyBiZWhhdmlvci4KClRoYXQncyBmb3IgYSBHSUN2MSBpbXBsZW1lbnRhdGlvbi4gSG93ZXZlciwg
b25seSBHSUN2MiBhbmQgb253YXJkcyAKc3VwcG9ydCB2aXJ0dWFsaXphdGlvbi4KCj4KPiB0aGVu
LCB0aGUgc3BlYyBhbHNvIHNheXM6Cj4KPiAgIFRoZSBHSUMgbWFpbnRhaW5zIGEgc3RhdGUgbWFj
aGluZSBmb3IgZWFjaCBzdXBwb3J0ZWQgaW50ZXJydXB0IG9uIGVhY2gKPiAgIENQVSBpbnRlcmZh
Y2UuCj4KPiBTbyBJIGFtIHRoaW5raW5nIHRoYXQgdGhlIHN0YXRlbWVudCB5b3UgcXVvdGVkIHdv
dWxkbid0IGFwcGx5LCBiZWNhdXNlCj4gdGhlIHNlY29uZCBpbnRlcnJ1cHQgd291bGRuJ3QgbWFy
ayB0aGUgc3RhdGUgb2YgdGhlIGludGVycnVwdCBhcyAiYWN0aXZlCj4gYW5kIHBlbmRpbmciIGJl
Y2F1c2UsIHRoZSBpbnRlcnJ1cHQgYmVpbmcgdGFyZ2V0ZWQgdG8gYW5vdGhlciBwcm9jZXNzb3Is
Cj4gaXQgd291bGQgc2ltcGx5IG1hcmsgaXQgYXMgInBlbmRpbmciIGluIHRoZSBDUFUgaW50ZXJm
YWNlIG9mIHRoZSBvdGhlcgo+IHByb2Nlc3Nvci4KCkkgZG9uJ3QgaGF2ZSB0aGUgcHJvcGVyIHF1
b3RlIGluIHRoZSBzcGVjLCBidXQgSSBjYW4gY29uZmlybSB0aGUgCmludGVycnVwdCBjYW4gb25s
eSBiZSBhY3RpdmUgb24gYSBzaW5nbGUgQ1BVIGF0IHRoZSB0aW1lLiBJdCBpcyBhbHNvIAppbXBs
aWVkIGluIHRoZSBkZXNjcmlwdGlvbiBvZiB0aGUgMS1OIG1vZGVsIChzZWUgMS40LjMpOiAiIE9u
bHkgb25lIApwcm9jZXNzb3IgaGFuZGxlcyB0aGlzIGludGVycnVwdCIuCgo+Cj4KPj4gRm9yIExQ
SXMsIHRoZXJlIGlzIG5vIGFjdGl2YXRlIHN0YXRlLiBTbyBhcyBzb29uIGFzIHRoZXkgYXJlIEVP
SWVkLCB0aGV5IG1pZ2h0Cj4+IGNvbWUgdXAgYWdhaW4uIERlcGVuZGluZyBvbiBob3cgd2lsbCB3
ZSBoYW5kbGUgaXJxIG1pZ3JhdGlvbiwgeW91ciBzY2VuYXJpbwo+PiB3aWxsIGJlY29tZSB0cnVl
LiBJIGFtIG5vdCBzdXJlIGlmIHdlIHNob3VsZCB0YWtlIGludG8gYWNjb3VudCBMUElzIHJpZ2h0
IG5vdy4KPj4KPj4gVG8gYmUgaG9uZXN0LCBJIGRvbid0IG11Y2ggbGlrZSB0aGUgaWRlYSBvZiBr
aWNraW5nIHRoZSBvdGhlciB2Q1BVLiBCdXQgSQo+PiBkb24ndCBoYXZlIGEgYmV0dGVyIGlkZWEg
aW4gb3JkZXIgdG8gY2xlYXIgdGhlIExScy4KPgo+IE1lIG5laXRoZXIsIHRoYXQncyB3aHkgSSB3
YXMgcHJvcG9zaW5nIGEgZGlmZmVyZW50IHNvbHV0aW9uIGluc3RlYWQuIFdlCj4gc3RpbGwgaGF2
ZSB0aGUgb3B0aW9uIHRvIHRha2UgdGhlIHJpZ2h0IGxvY2sgaW4gdmdpY19taWdyYXRlX2lycToK
Pgo+IGh0dHA6Ly9tYXJjLmluZm8vP2w9eGVuLWRldmVsJm09MTQ4MjM3Mjg5NjIwNDcxCj4KPiBU
aGUgY29kZSBpcyBtb3JlIGNvbXBsZXgsIGJ1dCBJIHRoaW5rIGl0J3Mgc2FmZSBpbiBhbGwgY2Fz
ZXMuCgpJdCBpcyBub3Qgb25seSBjb21wbGV4IGJ1dCBhbHNvIHJlYWxseSBjb25mdXNpbmcgYXMg
d2Ugd291bGQgaGF2ZSBhIAp2YXJpYWJsZSBwcm90ZWN0ZWQgYnkgdHdvIGxvY2tzLCBib3RoIGxv
Y2sgZG9lcyBub3QgbmVlZCB0byBiZSB0YWtlbiBhdCAKdGhlIHNhbWUgdGltZS4KCkkgbWF5IGhh
dmUgYW4gaWRlYSB0byBhdm9pZCBjb21wbGV0ZWx5IHRoZSBsb2NrIGluIHZnaWNfZ2V0X3Rhcmdl
dF92Y3B1LiAKVGhlIGxvY2sgaXMgb25seSBoZXJlIHRvIHJlYWQgdGhlIHRhcmdldCB2Y3B1IGlu
IHRoZSByYW5rLCB0aGUgcmVzdCBkb2VzIApub3QgbmVlZCBhIGxvY2ssIHJpZ2h0PyBTbyBjb3Vs
ZCBub3Qgd2UgcmVhZCB0aGUgdGFyZ2V0IHZjcHUgYXRvbWljYWxseSAKaW5zdGVhZD8KCkNoZWVy
cywKCi0tIApKdWxpZW4gR3JhbGwKCl9fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19f
X19fX19fX19fX19fClhlbi1kZXZlbCBtYWlsaW5nIGxpc3QKWGVuLWRldmVsQGxpc3RzLnhlbi5v
cmcKaHR0cHM6Ly9saXN0cy54ZW4ub3JnL3hlbi1kZXZlbAo=