From mboxrd@z Thu Jan 1 00:00:00 1970 From: Andrii Anisov Subject: Re: [PATCH 1/4] xen/arm: gic: Ensure we have an ISB between ack and do_IRQ() Date: Thu, 22 Nov 2018 18:51:13 +0200 Message-ID: <2199be43-ef12-28c3-4dcb-cac404be1e4d@gmail.com> References: <20181023181709.11883-1-julien.grall@arm.com> <20181023181709.11883-2-julien.grall@arm.com> <6098937f-98de-bff9-6c48-5575a45875e0@epam.com> <57ee191b-be21-701e-ef19-4ed4df1cf289@arm.com> <77f72cc9-6548-afd9-3766-23326b3551d9@epam.com> <6acf65ef-4302-c403-32ba-1d88ab954265@epam.com> <22f7ebc8-c74b-0d8e-4847-9d3df9bcf5db@arm.com> <3622e468-8f44-1e31-138f-db58ca3835ff@epam.com> <2090f5b4-22ff-38bc-3d47-6dbb6d7fccfb@epam.com> <6d1c980b-b316-f634-7793-0aca4b34aa85@arm.com> <5ad76791-075d-e588-2669-e01c79674f0d@gmail.com> <4ceea0f6-ede1-420a-d3b7-80c4584739ce@arm.com> Mime-Version: 1.0 Content-Type: text/plain; charset="utf-8"; Format="flowed" Content-Transfer-Encoding: base64 Return-path: In-Reply-To: <4ceea0f6-ede1-420a-d3b7-80c4584739ce@arm.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: Julien Grall , Julien Grall Cc: "andre.przywara@arm.com" , Oleksandr Tyshchenko , "sstabellini@kernel.org" , Andrii Anisov , "xen-devel@lists.xen.org" List-Id: xen-devel@lists.xenproject.org SGVsbG8gSnVsaWVuLAoKT24gMjAuMTEuMTggMjA6NDcsIEp1bGllbiBHcmFsbCB3cm90ZToKPiAK PiAKPiBPbiAyMC8xMS8yMDE4IDE4OjEwLCBBbmRyaWkgQW5pc292IHdyb3RlOgo+PiBIZWxsbyBK dWxpZW4sCj4+Cj4+Cj4+IE9uIDE5LjExLjE4IDE4OjQyLCBKdWxpZW4gR3JhbGwgd3JvdGU6Cj4+ PiBUaGVyZSBhcmUgbm8gaXNzdWUgYWJvdXQgcHJvY2Vzc2luZyBJUlFzIGJlZm9yZSB0aGUgc3lu Y3MuIEl0IGlzIHRoZSAKPj4+IHNhbWUgYXMgaWYgYW4gSVJRIHdhcyByYWlzZWQgZnJvbSBpbGEg ZGlmZmVyZW50IHBDUFVzLgo+Pj4gU28gd2h5IGRvIHlvdSBuZWVkIHRoYXQ/Cj4+Cj4+IMKgRnJv bSBteSB1bmRlcnN0YW5kaW5nIG9mIGdpYy12Z2ljIGNvZGUgKG9sZCB2Z2ljKSwgZm9yIHRoZSBJ UlFzIAo+PiB0YXJnZXRpbmcgdGhlIGBjdXJyZW50YCB2Y3B1LCBpdCBsZWFkcyB0byBhIGZhc3Rl ciBwcm9jZXNzaW5nIHVuZGVyIAo+PiBpbnRlcnJ1cHRzIHN0b3JtIGNvbmRpdGlvbnMuIElmIGl0 IHdhcyBhbGwgTFJzIHNldCBvbiBwcmV2aW91cyBzd2l0Y2ggCj4+IHRvIGEgZ3Vlc3QsIGEgdGhl IElSUSB3aWxsIGhhdmUgYSBjaGFuY2UgdG8gZ28gZGlyZWN0bHkgdG8gTFIgaW5zdGVhZCAKPj4g b2Ygc2V0dGluZyBvbiBscl9wZW5kaW5nIHF1ZXVlLiBBbHNvIGluZmxpZ2h0X2lycXMgcXVldWUg aGF2ZSBhIGNoYW5jZSAKPj4gdG8gYmUgc2hvcnRlciB0byBpbnNlcnQuCj4gCj4gRG8geW91IGhh dmUgYWN0dWFsIG51bWJlcnM/ClVuZm9ydHVuYXRlbHksIG15IG51bWJlcnMgYXJlIHByZXR0eSBp bmRpcmVjdC4gSSdtIHJlZmVycmluZyBnbG1hcmsyIApiZW5jaG1hcmsgcmVzdWx0cy4gV2l0aCB0 aGlzIGFuZCB0aGUgcmVzdCBvZiBteSBjaGFuZ2VzIChub3QgeWV0IApwdWJsaXNoZWQpLCBJIGNh biBjdXQgb3V0IGFub3RoZXIgcGVyY2VudCBvciB0d28gb2YgcGVyZm9ybWFuY2UgZHJvcCBkdWUg CnRvIFhFTiBleGlzdGVuY2UgaW4gdGhlIHN5c3RlbS4gQlRXLCB0aGF0J3Mgd2h5IEkgcmVjZW50 bHkgYXNrZWQgU3RlZmFubyAKYWJvdXQgaGlzIGFwcHJvYWNoIG9mIGludGVycnVwdCBsYXRlbmN5 IG1lYXN1cmVtZW50LgoKT24gbXkgYm9hcmQgdGhhdCBiZW5jaG1hcmsgcHJvY2Vzc2luZyBjYXVz ZXMgYXQgbGVhc3QgNCBkaWZmZXJlbnQgSFcgCmludGVycnVwdHMgaXNzdWluZyB3aXRoIGRpZmZl cmVudCBmcmVxdWVuY3kuIEFkZGluZyB0aGUgcmVzY2hlZHVsZSBJUlEgCm1ha2VzIHRoZSBzeXN0 ZW0gdGVuZCB0byBub3QgZml0IGFsbCBJUlFzIGludG8gNCBMUnMgYXZhaWxhYmxlIGluIG15IApH SUMuIE1vcmVvdmVyLCB0aGUgYmVuY2htYXJrIGRvZXMgbm90IGVtaXQgYSBuZXR3b3JrIHRyYWZm aWMgb3IgZGlzayAKdXNhZ2UgZHVyaW5nIHRoZSBydW4uIFNvIHJlYWwgbGlmZSBjYXNlcyB3aWxs IGFkZCBtb3JlIGNvbmN1cnJlbnQgSVJRcy4KCj4gQWxzbyB0byBiZSBvbiB0aGUgc2FtZSBwYWdl LCB3aGF0IGlzIHlvdXIgCj4gZGVmaW5pdGlvbiBvZiBpbnRlcnJ1cHRzIHN0b3JtPwpJIG1lYW4g dGhlIHN5c3RlbSB0YWtlcyBkaWZmZXJlbnQgaW50ZXJydXB0cyAobW9yZSBJUlEgc291cmNlcyB0 aGFuIExScyAKYXZhaWxhYmxlKSB3aXRoIGEgcmVsYXRpdmVseSBoaWdoIHJhdGUuIExldCdzIHNh eSBtb3JlIHRoYW4gNzAwMCAKaW50ZXJydXB0cyBwZXIgc2Vjb25kLiBJdCdzIG5vdCB2ZXJ5IGJp ZyBudW1iZXIsIGJ1dCBjbG9zZSB0byB3aGF0IEkgc2VlIApvbiBteSBkZXNrLgoKPiBCZWFyIGlu IG1pbmQgdGhhdCB0aGUgb2xkIHZHSUMgd2lsbCBiZSBwaGFzZWQgb3V0IHNvb24uCkFzIEkgcmVt ZW1iZXIgYSBuZXcgdmdpYyBleHBlcmltZW50YWwgeWV0LiBEbyBub3Qgc3VwcG9ydCBHSUMtdjMg eWV0LgoKPiBJZiB5b3UgYXJlIAo+IHdvcnJpZWQgYWJvdXQgcGVyZm9ybWFuY2UsIHRoZW4gSSB3 b3VsZCByZWNvbW1lbmQgdG8gdHJ5IHRoZSBuZXcgdkdJQyAKPiBhbmQgc2VlIHdoZXRoZXIgaXQg aW1wcm92ZXMuCllvdSBrbm93LCB3ZSBhcmUgYmFzZWQgb24gWEVOIDQuMTAuIEluaXRpYWxseSwg d2hlbiBhIGN1c3RvbWVyIHNhaWQgCmFib3V0IHRoZWlyIGRpc3NhdGlzZmFjdGlvbiBhYm91dCBw ZXJmb3JtYW5jZSBkcm9wIGluIGJlbmNobWFyayBkdWUgdG8gClhFTiBleGlzdGVuY2UsIEkgdHJp ZWQgNC4xMi11bnN0YWJsZSwgYm90aCBhbiBvbGQgYW5kIGEgbmV3IFZHSUMuIFNvIApwZXJmb3Jt YW5jZSB3aXRoIDQuMTItdW5zdGFibGUgd2l0aCB0aGUgb2xkIFZHSUMgd2FzIHdvcnNlIHRoYW4g NC4xMCwgCmFuZCB0aGUgbmV3IFZHSUMgbWFkZSB0aGluZ3MgZXZlbiBtdWNoIHdvcnNlLiBJIGNh bid0IHJlbWVtYmVyIHRoZSBleGFjdCAKbnVtYmVycyBvciBwcm9wb3J0aW9ucywgYnV0IHRoYXQg d2FzIHRoZSByZWFzb24gd2UgZG8gbm90IG9mZmVyIAp1cGdyYWRpbmcgWEVOIHlldC4KCj4gV2Vs bCwgaWYgeW91IHJlLWVuYWJsZSB0aGUgaW50ZXJydXB0cyB5b3UgZ2l2ZSBhIGNoYW5jZSBmb3Ig aGlnaGVyIAo+IHByaW9yaXR5IGludGVycnVwdHMgdG8gY29tZSB1cC4gVGhpcyB3aWxsIG5vdCBo YXBwZW4gaWYgeW91IGhhdmUgCj4gaW50ZXJydXB0cyBkaXNhYmxlZC4KSSB1bmRlcnN0YW5kIHRo ZSB0aGVvcnksIGJ1dCBjYW4gbm90IG1hdGNoIGl0IHdpdGggdGhlIGN1cnJlbnQgWEVOIGNvZGUu Ckd1ZXN0IGludGVycnVwdHMgcHJpb3JpdGl6YXRpb24gd2l0aGluIGRvX0lSUSBpcyBwcmV0dHkg bWVhbmluZ2xlc3MuIApUaGV5IHdpbGwgZ28gdGhyb3VnaCB0aGUgc2FtZSBwYXRoLiBBbmQgYW4g ZWZmZWN0IHdvdWxkIG5vdCBiZSBzZWVuIApiZWZvcmUgZXhpdGluZyB0byBhIGd1ZXN0LgpUaGUg UFBJIGludGVycnVwdHMgYXJlIHJlZmxlY3RlZCBpbnRvIHRoZSBwcm9jZXNzaW5nIG9mIHNvZnQg SVJRcyBvciAKaW5qZWN0aW5nIGFuIElSUSBpbnRvIHF1ZXVlcy4gU28gaXQgZG9lcyBub3QgbWF0 dGVyIG11Y2ggd2hlbiBleGFjdGx5IHdlIApkbyByZWFkIHRoZSBJUlEgZnJvbSBJQVIgaW4gYSBn aWNfaW50ZXJydXB0IGxvb3AuIEkgc3VwcG9zZSBpdCBzaG91bGQgYmUgCmZhc3RlciB0byBsb29w IHRocm91Z2ggZ2ljX2ludGVycnVwdCBhdCBvbmNlLCBjb2xsZWN0aW5nIGFsbCBpbnRlcnJ1cHRz LCAKd2l0aG91dCBnb2luZyB0aHJvdWdoIGV4Y2VwdGlvbiBwYXRoLCB0aGVuIHN3aXRjaCB0byBz b2Z0IElSUXMgCnByb2Nlc3NpbmcgaW4gbGVhdmVfaHlwZXJ2aXNvcl90YWlsLgpUaGUgb25seSB0 aGluZyB3aGljaCBtaWdodCBnZXQgYSBub3RpY2VhYmxlIGVmZmVjdCBoZXJlIGlzIHNlcnZpbmcg CkdJQ19TR0lfQ0FMTF9GVU5DVElPTiwgd2hpY2ggaXMgZXhlY3V0ZWQgcmlnaHQgYXdheSBmcm9t IGBnaWNfaW50ZXJydXB0YC4KCj4gQnV0IHlvdSBzZWVtIHRvIGJhc2UgeW91ciBhc3N1bXB0aW9u IG9uIGludGVycnVwdHMgc3Rvcm0gKHlldCB0byBiZSAKPiBkZWZpbmVkKS4gSWYgeW91IGhhdmUg YW4gaW50ZXJydXB0IHN0b3JtLCB0aGVuIHlvdSBhcmUgYWxyZWFkeSBkb29tZWQgYXMgCj4geW91 ciBndWVzdC9YZW4gd2lsbCBub3QgaGF2ZSB0aW1lIHRvIGRvIGFueSBvdGhlciB3b3JrLgoKPiAK PiBJbiBhbnkgY2FzZSwgeW91IG5lZWQgdG8gcHJvdmlkZSBudW1iZXIgdG8gc3VwcG9ydCB5b3Vy IG9wdGltaXphdGlvbi5JJ20gbW92aW5nIGFsbCBteSBwYXRjaGVzIHRvIGN1cnJlbnQgc3RhZ2lu ZyBhbmQgd291bGQgc2VuZCB0aGVtIGFzIFJGQyAKd2l0aCBhIGRlc2NyaXB0aW9uIG9mIHdoeSBp cyBpdCBkb25lIGFuZCBob3cgSSBtZWFzdXJlZCByZXN1bHRzLgoKLS0gClNpbmNlcmVseSwKQW5k cmlpIEFuaXNvdi4KCl9fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19f X19fClhlbi1kZXZlbCBtYWlsaW5nIGxpc3QKWGVuLWRldmVsQGxpc3RzLnhlbnByb2plY3Qub3Jn Cmh0dHBzOi8vbGlzdHMueGVucHJvamVjdC5vcmcvbWFpbG1hbi9saXN0aW5mby94ZW4tZGV2ZWw=