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: Mon, 19 Nov 2018 17:54:50 +0200 Message-ID: <5ad76791-075d-e588-2669-e01c79674f0d@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> Mime-Version: 1.0 Content-Type: text/plain; charset="utf-8"; Format="flowed" Content-Transfer-Encoding: base64 Return-path: In-Reply-To: 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 , "xen-devel@lists.xen.org" Cc: "andre.przywara@arm.com" , "sstabellini@kernel.org" , Andrii Anisov , Oleksandr Tyshchenko List-Id: xen-devel@lists.xenproject.org SnVsaWVuLAoKCkl0J3MgbWUgYWdhaW4gYWJvdXQgeW91ciBwYXRjaDopCgpJJ3ZlIGZvdW5kIHRo aXMgcGF0Y2ggdXNlZnVsIGFuZCBldmVuIGNhbiBnaXZlIGEgbW90aXZhdGlvbiB0byBoYXZlIGl0 IAppbiB0aGUgbWFpbmxpbmUuIFRoZSBwYXRjaCBlbnN1cmVzIHRoYXQgdmdpY19zeW5jX2Zyb21f bHJzIGlzIHBlcmZvcm1lZCAKb24gZ3Vlc3QgdG8gaHlwIHN3aXRjaCBwcmlvciB0byBhbnkgSVJR IHByb2Nlc3NpbmcuCgpTbywgZG8geW91IHBsYW4gdG8gcHVzaCBpdCBmb3IgcmV2aWV3PyBDb3Vs ZCBJIGRvIHRoYXQgb24gYmVoYWxmIG9mIHlvdT8KCgpPbiAwOS4xMS4xOCAxNjo0MiwgQW5kcmlp IEFuaXNvdiB3cm90ZToKPiBIZWxsbyBKdWxpZW4sCj4KPiBJIGp1c3Qgd29uZGVyLCBkbyB5b3Ug cGxhbiB0byB1cHN0cmVhbSB0aGUgcGF0Y2ggYmVsb3c/Cj4KPiBBbmRyaWkgQW5pc292Cj4KPgo+ Cj4gY29tbWl0IDExZTM2MGI5M2JlODFhNThhNDE4MzJkNzE0ZjMzZjc5N2FkMzEyYTkKPiBBdXRo b3I6IEp1bGllbiBHcmFsbCA8anVsaWVuLmdyYWxsQGFybS5jb20+Cj4gRGF0ZTrCoMKgIE1vbiBP Y3QgMjkgMTM6MzI6NTYgMjAxOCArMDAwMAo+Cj4gIMKgwqDCoMKgIHhlbi9hcm06IFJlLWVuYWJs ZSBpbnRlcnJ1cHQgbGF0ZXIgaW4gdGhlIHRyYXAgcGF0aAo+Cj4gIMKgwqDCoMKgIFNpZ25lZC1v ZmYtYnk6IEp1bGllbiBHcmFsbCA8anVsaWVuLmdyYWxsQGFybS5jb20+Cj4KPiBkaWZmIC0tZ2l0 IGEveGVuL2FyY2gvYXJtL2FybTY0L2VudHJ5LlMgYi94ZW4vYXJjaC9hcm0vYXJtNjQvZW50cnku Uwo+IGluZGV4IDk3YjA1ZjUzZWEuLjhmMjg3ODkxYjYgMTAwNjQ0Cj4gLS0tIGEveGVuL2FyY2gv YXJtL2FybTY0L2VudHJ5LlMKPiArKysgYi94ZW4vYXJjaC9hcm0vYXJtNjQvZW50cnkuUwo+IEBA IC0xOTUsNyArMTk1LDYgQEAgaHlwX2Vycm9yX2ludmFsaWQ6Cj4KPiAgwqAgaHlwX2Vycm9yOgo+ ICDCoMKgwqDCoMKgwqDCoMKgwqAgZW50cnnCoMKgIGh5cD0xCj4gLcKgwqDCoMKgwqDCoMKgIG1z csKgwqDCoMKgIGRhaWZjbHIsICMyCj4gIMKgwqDCoMKgwqDCoMKgwqDCoCBtb3bCoMKgwqDCoCB4 MCwgc3AKPiAgwqDCoMKgwqDCoMKgwqDCoMKgIGJswqDCoMKgwqDCoCBkb190cmFwX2h5cF9zZXJy b3IKPiAgwqDCoMKgwqDCoMKgwqDCoMKgIGV4aXTCoMKgwqAgaHlwPTEKPiBAQCAtMjAzLDcgKzIw Miw3IEBAIGh5cF9lcnJvcjoKPiAgwqAgLyogVHJhcHMgdGFrZW4gaW4gQ3VycmVudCBFTCB3aXRo IFNQX0VMeCAqLwo+ICDCoCBoeXBfc3luYzoKPiAgwqDCoMKgwqDCoMKgwqDCoMKgIGVudHJ5wqDC oCBoeXA9MQo+IC3CoMKgwqDCoMKgwqDCoCBtc3LCoMKgwqDCoCBkYWlmY2xyLCAjNgo+ICvCoMKg wqDCoMKgwqDCoCBtc3LCoMKgwqDCoCBkYWlmY2xyLCAjNAo+ICDCoMKgwqDCoMKgwqDCoMKgwqAg bW92wqDCoMKgwqAgeDAsIHNwCj4gIMKgwqDCoMKgwqDCoMKgwqDCoCBibMKgwqDCoMKgwqAgZG9f dHJhcF9oeXBfc3luYwo+ICDCoMKgwqDCoMKgwqDCoMKgwqAgZXhpdMKgwqDCoCBoeXA9MQo+IEBA IC0zMDQsNyArMzAzLDcgQEAgZ3Vlc3Rfc3luY19zbG93cGF0aDoKPiAgwqDCoMKgwqDCoMKgwqDC oMKgIEFMVEVSTkFUSVZFKCJibCBjaGVja19wZW5kaW5nX3ZzZXJyb3I7IGNibnogeDAsIDFmIiwK PiAgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgICJub3A7IG5vcCIs Cj4gIMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoCBTS0lQX1NZTkNI Uk9OSVpFX1NFUlJPUl9FTlRSWV9FWElUKQo+IC3CoMKgwqDCoMKgwqDCoCBtc3LCoMKgwqDCoCBk YWlmY2xyLCAjNgo+ICvCoMKgwqDCoMKgwqDCoCBtc3LCoMKgwqDCoCBkYWlmY2xyLCAjNAo+ICDC oMKgwqDCoMKgwqDCoMKgwqAgbW92wqDCoMKgwqAgeDAsIHNwCj4gIMKgwqDCoMKgwqDCoMKgwqDC oCBibMKgwqDCoMKgwqAgZG9fdHJhcF9ndWVzdF9zeW5jCj4gIMKgIDE6Cj4gQEAgLTMzMiw3ICsz MzEsNyBAQCBndWVzdF9maXFfaW52YWxpZDoKPgo+ICDCoCBndWVzdF9lcnJvcjoKPiAgwqDCoMKg wqDCoMKgwqDCoMKgIGVudHJ5wqDCoCBoeXA9MCwgY29tcGF0PTAKPiAtwqDCoMKgwqDCoMKgwqAg bXNywqDCoMKgwqAgZGFpZmNsciwgIzYKPiArwqDCoMKgwqDCoMKgwqAgbXNywqDCoMKgwqAgZGFp ZmNsciwgIzQKPiAgwqDCoMKgwqDCoMKgwqDCoMKgIG1vdsKgwqDCoMKgIHgwLCBzcAo+ICDCoMKg wqDCoMKgwqDCoMKgwqAgYmzCoMKgwqDCoMKgIGRvX3RyYXBfZ3Vlc3Rfc2Vycm9yCj4gIMKgwqDC oMKgwqDCoMKgwqDCoCBleGl0wqDCoMKgIGh5cD0wLCBjb21wYXQ9MAo+IEBAIC0zNDcsNyArMzQ2 LDcgQEAgZ3Vlc3Rfc3luY19jb21wYXQ6Cj4gIMKgwqDCoMKgwqDCoMKgwqDCoCBBTFRFUk5BVElW RSgiYmwgY2hlY2tfcGVuZGluZ192c2Vycm9yOyBjYm56IHgwLCAxZiIsCj4gIMKgwqDCoMKgwqDC oMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoCAibm9wOyBub3AiLAo+ICDCoMKgwqDCoMKg wqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqAgU0tJUF9TWU5DSFJPTklaRV9TRVJST1Jf RU5UUllfRVhJVCkKPiAtwqDCoMKgwqDCoMKgwqAgbXNywqDCoMKgwqAgZGFpZmNsciwgIzYKPiAr wqDCoMKgwqDCoMKgwqAgbXNywqDCoMKgwqAgZGFpZmNsciwgIzQKPiAgwqDCoMKgwqDCoMKgwqDC oMKgIG1vdsKgwqDCoMKgIHgwLCBzcAo+ICDCoMKgwqDCoMKgwqDCoMKgwqAgYmzCoMKgwqDCoMKg IGRvX3RyYXBfZ3Vlc3Rfc3luYwo+ICDCoCAxOgo+IEBAIC0zNzUsNyArMzc0LDcgQEAgZ3Vlc3Rf ZmlxX2ludmFsaWRfY29tcGF0Ogo+Cj4gIMKgIGd1ZXN0X2Vycm9yX2NvbXBhdDoKPiAgwqDCoMKg wqDCoMKgwqDCoMKgIGVudHJ5wqDCoCBoeXA9MCwgY29tcGF0PTEKPiAtwqDCoMKgwqDCoMKgwqAg bXNywqDCoMKgwqAgZGFpZmNsciwgIzYKPiArwqDCoMKgwqDCoMKgwqAgbXNywqDCoMKgwqAgZGFp ZmNsciwgIzQKPiAgwqDCoMKgwqDCoMKgwqDCoMKgIG1vdsKgwqDCoMKgIHgwLCBzcAo+ICDCoMKg wqDCoMKgwqDCoMKgwqAgYmzCoMKgwqDCoMKgIGRvX3RyYXBfZ3Vlc3Rfc2Vycm9yCj4gIMKgwqDC oMKgwqDCoMKgwqDCoCBleGl0wqDCoMKgIGh5cD0wLCBjb21wYXQ9MQo+IGRpZmYgLS1naXQgYS94 ZW4vYXJjaC9hcm0vdHJhcHMuYyBiL3hlbi9hcmNoL2FybS90cmFwcy5jCj4gaW5kZXggNTFkMmU0 MmM3Ny4uYzE4Zjg5YjQxZiAxMDA2NDQKPiAtLS0gYS94ZW4vYXJjaC9hcm0vdHJhcHMuYwo+ICsr KyBiL3hlbi9hcmNoL2FybS90cmFwcy5jCj4gQEAgLTIwMzksNiArMjAzOSw4IEBAIHN0YXRpYyB2 b2lkIGVudGVyX2h5cGVydmlzb3JfaGVhZChzdHJ1Y3QgY3B1X3VzZXJfcmVncyAqcmVncykKPiAg wqDCoMKgwqDCoCB7Cj4gIMKgwqDCoMKgwqDCoMKgwqDCoCBzdHJ1Y3QgdmNwdSAqdiA9IGN1cnJl bnQ7Cj4KPiArwqDCoMKgwqDCoMKgwqAgQVNTRVJUKCFsb2NhbF9pcnFfaXNfZW5hYmxlZCgpKTsK PiArCj4gIMKgwqDCoMKgwqDCoMKgwqDCoCAvKiBJZiB0aGUgZ3Vlc3QgaGFzIGRpc2FibGVkIHRo ZSB3b3JrYXJvdW5kLCBicmluZyBpdCBiYWNrIG9uLiAqLwo+ICDCoMKgwqDCoMKgwqDCoMKgwqAg aWYgKCBuZWVkc19zc2JkX2ZsaXAodikgKQo+ICDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoCBh cm1fc21jY2NfMV8xX3NtYyhBUk1fU01DQ0NfQVJDSF9XT1JLQVJPVU5EXzJfRklELCAxLCBOVUxM KTsKPiBAQCAtMjA3Myw2ICsyMDc1LDcgQEAgdm9pZCBkb190cmFwX2d1ZXN0X3N5bmMoc3RydWN0 IGNwdV91c2VyX3JlZ3MgKnJlZ3MpCj4gIMKgwqDCoMKgwqAgY29uc3QgdW5pb24gaHNyIGhzciA9 IHsgLmJpdHMgPSByZWdzLT5oc3IgfTsKPgo+ICDCoMKgwqDCoMKgIGVudGVyX2h5cGVydmlzb3Jf aGVhZChyZWdzKTsKPiArwqDCoMKgIGxvY2FsX2lycV9lbmFibGUoKTsKPgo+ICDCoMKgwqDCoMKg IHN3aXRjaCAoIGhzci5lYyApCj4gIMKgwqDCoMKgwqAgewo+IEBAIC0yMjA4LDYgKzIyMTEsNyBA QCB2b2lkIGRvX3RyYXBfaHlwX3N5bmMoc3RydWN0IGNwdV91c2VyX3JlZ3MgKnJlZ3MpCj4gIMKg wqDCoMKgwqAgY29uc3QgdW5pb24gaHNyIGhzciA9IHsgLmJpdHMgPSByZWdzLT5oc3IgfTsKPgo+ ICDCoMKgwqDCoMKgIGVudGVyX2h5cGVydmlzb3JfaGVhZChyZWdzKTsKPiArwqDCoMKgIGxvY2Fs X2lycV9lbmFibGUoKTsKPgo+ICDCoMKgwqDCoMKgIHN3aXRjaCAoIGhzci5lYyApCj4gIMKgwqDC oMKgwqAgewo+IEBAIC0yMjQ2LDYgKzIyNTAsNyBAQCB2b2lkIGRvX3RyYXBfaHlwX3N5bmMoc3Ry dWN0IGNwdV91c2VyX3JlZ3MgKnJlZ3MpCj4gIMKgIHZvaWQgZG9fdHJhcF9oeXBfc2Vycm9yKHN0 cnVjdCBjcHVfdXNlcl9yZWdzICpyZWdzKQo+ICDCoCB7Cj4gIMKgwqDCoMKgwqAgZW50ZXJfaHlw ZXJ2aXNvcl9oZWFkKHJlZ3MpOwo+ICvCoMKgwqAgbG9jYWxfaXJxX2VuYWJsZSgpOwo+Cj4gIMKg wqDCoMKgwqAgX19kb190cmFwX3NlcnJvcihyZWdzLCBWQUJPUlRfR0VOX0JZX0dVRVNUKHJlZ3Mp KTsKPiAgwqAgfQo+IEBAIC0yMjUzLDYgKzIyNTgsNyBAQCB2b2lkIGRvX3RyYXBfaHlwX3NlcnJv cihzdHJ1Y3QgY3B1X3VzZXJfcmVncyAqcmVncykKPiAgwqAgdm9pZCBkb190cmFwX2d1ZXN0X3Nl cnJvcihzdHJ1Y3QgY3B1X3VzZXJfcmVncyAqcmVncykKPiAgwqAgewo+ICDCoMKgwqDCoMKgIGVu dGVyX2h5cGVydmlzb3JfaGVhZChyZWdzKTsKPiArwqDCoMKgIGxvY2FsX2lycV9lbmFibGUoKTsK Pgo+ICDCoMKgwqDCoMKgIF9fZG9fdHJhcF9zZXJyb3IocmVncywgdHJ1ZSk7Cj4gIMKgIH0KPgot LSAKU2luY2VyZWx5LApBbmRyaWkgQW5pc292LgoKCl9fX19fX19fX19fX19fX19fX19fX19fX19f X19fX19fX19fX19fX19fX19fX19fClhlbi1kZXZlbCBtYWlsaW5nIGxpc3QKWGVuLWRldmVsQGxp c3RzLnhlbnByb2plY3Qub3JnCmh0dHBzOi8vbGlzdHMueGVucHJvamVjdC5vcmcvbWFpbG1hbi9s aXN0aW5mby94ZW4tZGV2ZWw=