From mboxrd@z Thu Jan 1 00:00:00 1970 From: Julien Grall Subject: Re: [PATCH 1/4] xen/arm: gic: Ensure we have an ISB between ack and do_IRQ() Date: Wed, 24 Oct 2018 15:41:59 +0100 Message-ID: <57ee191b-be21-701e-ef19-4ed4df1cf289@arm.com> References: <20181023181709.11883-1-julien.grall@arm.com> <20181023181709.11883-2-julien.grall@arm.com> <6098937f-98de-bff9-6c48-5575a45875e0@epam.com> Mime-Version: 1.0 Content-Type: text/plain; charset="utf-8"; Format="flowed" Content-Transfer-Encoding: base64 Return-path: In-Reply-To: <6098937f-98de-bff9-6c48-5575a45875e0@epam.com> Content-Language: en-US List-Unsubscribe: , List-Post: List-Help: List-Subscribe: , Errors-To: xen-devel-bounces@lists.xenproject.org Sender: "Xen-devel" To: Andrii Anisov , "xen-devel@lists.xen.org" Cc: "andre.przywara@arm.com" , "sstabellini@kernel.org" List-Id: xen-devel@lists.xenproject.org CgpPbiAxMC8yNC8xOCAxMDozOCBBTSwgQW5kcmlpIEFuaXNvdiB3cm90ZToKPiBIZWxsbyBKdWxp ZW4sCgpIaSBBbmRyaWksCgpUaGFuayB5b3UgZm9yIHRoZSByZXZpZXcuCgo+IE9uIDIzLjEwLjE4 IDIxOjE3LCBKdWxpZW4gR3JhbGwgd3JvdGU6Cj4+IERldmljZXMgdGhhdCBleHBvc2UgdGhlaXIg aW50ZXJydXB0IHN0YXR1cyByZWdpc3RlcnMgdmlhIHN5c3RlbQo+PiByZWdpc3RlcnMgKGUuZy4g U3RhdGlzdGljYWwgcHJvZmlsaW5nLCBDUFUgUE1VLCBEeW5hbUlRIFBNVSwgYXJjaCB0aW1lciwK Pj4gdmdpYyAoYWx0aG91Z2ggdW51c2VkIGJ5IExpbnV4KSwgLi4uKQo+IEkgZ3Vlc3MgdW5kZXIg dmdpYyB5b3UgbWVhbiBHSUNIIHJlZ2lzdGVycywgaXMgaXQgY29ycmVjdD8KPiBJIHdvdWxkIHNw ZWN1bGF0ZSB0aGF0IEdJQyB2MiByZWdpc3RlcnMgYXJlIG1lbW9yeSBtYXBwZWQsIG5vdCBleHBv c2VkCj4gdmlhIHN5c3RlbSByZWdpc3RlcnMuCgp2R0lDIGlzIG5vdCBvbmx5IGFib3V0IEdJQ3Yy LiBJdCBhbHNvIGNvdmVycyBHSUN2MyB0aGF0IGlzIGFjY2Vzc2libGUgCnZpYSBzeXN0ZW0gcmVn aXN0ZXJzLgoKPiAKPj4gICAgcmVseSBvbiBhIGNvbnRleHQgc3luY2hyb25pc2luZwo+PiBvcGVy YXRpb24gb24gdGhlIENQVSB0byBlbnN1cmUgdGhhdCB0aGUgdXBkYXRlZCBzdGF0dXMgcmVnaXN0 ZXIgaXMKPj4gdmlzaWJsZSB0byB0aGUgQ1BVIHdoZW4gaGFuZGxpbmcgdGhlIGludGVycnVwdC4g VGhpcyB1c3VhbGx5IGhhcHBlbnMgYXMKPj4gYSByZXN1bHQgb2YgdGFraW5nIHRoZSBJUlEgZXhj ZXB0aW9uIGluIHRoZSBmaXJzdCBwbGFjZSwgYnV0IHRoZXJlIGFyZQo+PiB0d28gcmFjZSBzY2Vu YXJpb3Mgd2hlcmUgdGhpcyBpc24ndCB0aGUgY2FzZS4KPj4KPj4gRm9yIGV4YW1wbGUsIGxldCdz IHNheSB3ZSBoYXZlIHR3byBwZXJpcGhlcmFscyAoWCBhbmQgWSksIHdoZXJlIFkgdXNlcyBhCj4+ IHN5c3RlbSByZWdpc3RlciBmb3IgaXRzIGludGVycnVwdCBzdGF0dXMuCj4+Cj4+IENhc2UgMToK Pj4gMS4gQ1BVIHRha2VzIGFuIElSUSBleGNlcHRpb24gYXMgYSByZXN1bHQgb2YgWCByYWlzaW5n IGFuIGludGVycnVwdAo+PiAyLiBZIHRoZW4gcmFpc2VzIGl0cyBpbnRlcnJ1cHQgbGluZSwgYnV0 IHRoZSB1cGRhdGUgdG8gaXRzIHN5c3RlbQo+PiAgICAgIHJlZ2lzdGVyIGlzIG5vdCB5ZXQgdmlz aWJsZSB0byB0aGUgQ1BVCj4+IDMuIFRoZSBHSUMgZGVjaWRlcyB0byBleHBvc2UgWSdzIGludGVy cnVwdCBudW1iZXIgZmlyc3QgaW4gdGhlIEFjawo+PiAgICAgIHJlZ2lzdGVyCj4+IDQuIFRoZSBD UFUgcnVucyB0aGUgSVJRIGhhbmRsZXIgZm9yIFksIGJ1dCB0aGUgc3RhdHVzIHJlZ2lzdGVyIGlz IHN0YWxlCj4gQnV0IHRoaXMgc2NlbmFyaW8gc29tZWhvdyBleHBsYWlucyBhIHN0cmFuZ2UgdGhp bmcgSSBzYXcgZHVyaW5nIElSUQo+IGxhdGVuY3kgaW52ZXN0aWdhdGlvbiAob3B0aW1pemF0aW9u IGF0dGVtcHRzKSBkdXJpbmcgbGFzdCB3ZWVrcy4KPiBUaGUgc3RyYW5nZSBzZXF1ZW5jZSBpcyBh cyBmb2xsb3dpbmc6Cj4gICDCoMKgwqAgMS4gQ1BVIHRha2VzIGFuIElSUSBleGNlcHRpb24gZnJv bSB0aGUgZ3Vlc3QgY29udGV4dAo+ICAgwqDCoMKgIDIuIEluIGBlbnRlcl9oeXBlcnZpc29yX2hl YWQoKWAgZnVuY3Rpb24gKGkuZS4gaW4gYGdpY19jbGVhcl9scnMoKWAKPiBhcyBmb3IgbWFpbmxp bmUpIGZyb20gc29tZSBMUiByZWdpc3RlcnMgaW50ZXJydXB0IHN0YXR1c2VzIGFyZSByZWFkIGFz Cj4gUEVORElORwo+ICAgwqDCoMKgIDMuIFBlcmZvcm1pbmcgZnVydGhlciBjb2RlLCB3aXRob3V0 IHJldHVybmluZyB0byB0aGUgZ3Vlc3QgKGkuZS4KPiBpbnNpZGUgdmdpY192Y3B1X2luamVjdF9p cnEoKSksIGl0IGhhcHBlbnMgdGhhdCB3ZSByZWFkIHN0YXR1cyBJTlZBTElECj4gZnJvbSB0aGUg TFIgd2UgcmVhZCBQRU5ESU5HIGJlZm9yZSwgaW4gc3RlcCAyLiA+Cj4gUGxlYXNlIG5vdGUgdGhh dCB3ZSBhcmUgdGFpbG9yaW5nIHhlbiBiYXNlZCBvbiBSRUxFQVNFLTQuMTAuMC4KCkFzIHlvdSB0 YWlsb3IgWGVuLCBJIG5lZWQgbW9yZSBkZXRhaWxzIG9uIHlvdXIgbW9kaWZpY2F0aW9uIHRvIGJl IGFibGUgCnRvIHByb3ZpZGUgZmVlZGJhY2sgb24gdGhlIG9kZG5lc3MgeW91IGVuY291bnRlci4K CkJ1dCB5b3UgYXJlIHVzaW5nIEdJQ3YyLCByaWdodD8gSWYgc28sIHlvdSBhcmUgbm90IHVzaW5n IHN5c3RlbSAKcmVnaXN0ZXJzIGZvciB0aGUgdkdJQy4gVGhpcyBpcyBub3QgY292ZXJlZCBieSB0 aGlzIHBhdGNoLgoKPiAKPj4gQ2FzZSAyOgo+PiAxLiBDUFUgdGFrZXMgYW4gSVJRIGV4Y2VwdGlv biBhcyBhIHJlc3VsdCBvZiBYIHJhaXNpbmcgYW4gaW50ZXJydXB0Cj4+IDIuIENQVSByZWFkcyB0 aGUgaW50ZXJydXB0IG51bWJlciBmb3IgWCBmcm9tIHRoZSBBY2sgcmVnaXN0ZXIgYW5kIHJ1bnMK Pj4gICAgICBpdHMgSVJRIGhhbmRsZXIKPj4gMy4gWSByYWlzZXMgaXRzIGludGVycnVwdCBsaW5l IGFuZCB0aGUgQWNrIHJlZ2lzdGVyIGlzIHVwZGF0ZWQsIGJ1dAo+PiAgICAgIGFnYWluLCB0aGUg dXBkYXRlIHRvIGl0cyBzeXN0ZW0gcmVnaXN0ZXIgaXMgbm90IHlldCB2aXNpYmxlIHRvIHRoZQo+ PiAgICAgIENQVS4KPj4gNC4gU2luY2UgdGhlIEdJQyBkcml2ZXJzIHBvbGwgdGhlIEFjayByZWdp c3Rlciwgd2UgcmVhZCBZJ3MgaW50ZXJydXB0Cj4+ICAgICAgbnVtYmVyIGFuZCBydW4gaXRzIGhh bmRsZXIgd2l0aG91dCBhIGNvbnRleHQgc3luY2hyb25pc2F0aW9uCj4+ICAgICAgb3BlcmF0aW9u LCB0aGVyZWZvcmUgc2VlaW5nIHRoZSBzdGFsZSByZWdpc3RlciB2YWx1ZS4KPj4KPj4gSW4gZWl0 aGVyIGNhc2UsIHdlIHJ1biB0aGUgcmlzayBvZiBtaXNzaW5nIGFuIElSUS4gVGhpcyBwYXRjaCBz b2x2ZXMgdGhlCj4+IHByb2JsZW0gYnkgZW5zdXJpbmcgdGhhdCB3ZSBleGVjdXRlIGFuIElTQiBp biB0aGUgR0lDIGRyaXZlcnMgcHJpb3IKPj4gdG8gaW52b2tpbmcgdGhlIGludGVycnVwdCBoYW5k bGVyLgo+Pgo+PiBCYXNlZCBvbiBMaW51eCBjb21taXQgMzlhMDZiNjdjMmMxMjU2YmNmMjM2MWEx ZjY3ZDI1MjlmNzBhYjIwNgo+PiAiaXJxY2hpcC9naWM6IEVuc3VyZSB3ZSBoYXZlIGFuIElTQiBi ZXR3ZWVuIGFjayBhbmQgLT5oYW5kbGVfaXJxIi4KPj4KPj4gU2lnbmVkLW9mZi1ieTogSnVsaWVu IEdyYWxsIDxqdWxpZW4uZ3JhbGxAYXJtLmNvbT4KPj4KPj4gLS0tCj4+ICAgICAgIFRoaXMgcGF0 Y2ggaXMgYSBjYW5kaWRhdGUgZm9yIGJhY2twb3J0aW5nIHVwIHRvIFhlbiA0LjkuCj4+IC0tLQo+ PiAgICB4ZW4vYXJjaC9hcm0vZ2ljLmMgfCAyICsrCj4+ICAgIDEgZmlsZSBjaGFuZ2VkLCAyIGlu c2VydGlvbnMoKykKPj4KPj4gZGlmZiAtLWdpdCBhL3hlbi9hcmNoL2FybS9naWMuYyBiL3hlbi9h cmNoL2FybS9naWMuYwo+PiBpbmRleCA4ZDdlNDkxMDYwLi4zMDVmYmQ2NmRkIDEwMDY0NAo+PiAt LS0gYS94ZW4vYXJjaC9hcm0vZ2ljLmMKPj4gKysrIGIveGVuL2FyY2gvYXJtL2dpYy5jCj4+IEBA IC0zODgsMTIgKzM4OCwxNCBAQCB2b2lkIGdpY19pbnRlcnJ1cHQoc3RydWN0IGNwdV91c2VyX3Jl Z3MgKnJlZ3MsIGludCBpc19maXEpCj4+ICAgICAgICAgICAgaWYgKCBsaWtlbHkoaXJxID49IDE2 ICYmIGlycSA8IDEwMjApICkKPj4gICAgICAgICAgICB7Cj4+ICAgICAgICAgICAgICAgIGxvY2Fs X2lycV9lbmFibGUoKTsKPj4gKyAgICAgICAgICAgIGlzYigpOwo+IFRha2luZyBpbiBhY2NvdW50 IHRoYXQgdGhlIGZpcnN0IEdJQ0ggYWNjZXNzZXMgYXJlIGZyb20KPiBgZ2ljX2NsZWFyX2xycygp YCwgY2FsbGVkIGZyb20gYGVudGVyX2h5cGVydmlzb3JfaGVhZGAsIEkgd291bGQgc3VnZ2VzdAo+ IG1vdmluZyBpc2IoKSB0aGVyZS4KPiAKPj4gICAgICAgICAgICAgICAgZG9fSVJRKHJlZ3MsIGly cSwgaXNfZmlxKTsKPj4gICAgICAgICAgICAgICAgbG9jYWxfaXJxX2Rpc2FibGUoKTsKPj4gICAg ICAgICAgICB9Cj4+ICAgICAgICAgICAgZWxzZSBpZiAoIGlzX2xwaShpcnEpICkKPj4gICAgICAg ICAgICB7Cj4+ICAgICAgICAgICAgICAgIGxvY2FsX2lycV9lbmFibGUoKTsKPj4gKyAgICAgICAg ICAgIGlzYigpOwo+PiAgICAgICAgICAgICAgICBnaWNfaHdfb3BzLT5kb19MUEkoaXJxKTsKPj4g ICAgICAgICAgICAgICAgbG9jYWxfaXJxX2Rpc2FibGUoKTsKPj4gICAgICAgICAgICB9Cj4gCgpD aGVlcnMsCgotLSAKSnVsaWVuIEdyYWxsCgpfX19fX19fX19fX19fX19fX19fX19fX19fX19fX19f X19fX19fX19fX19fX19fXwpYZW4tZGV2ZWwgbWFpbGluZyBsaXN0Clhlbi1kZXZlbEBsaXN0cy54 ZW5wcm9qZWN0Lm9yZwpodHRwczovL2xpc3RzLnhlbnByb2plY3Qub3JnL21haWxtYW4vbGlzdGlu Zm8veGVuLWRldmVs