From mboxrd@z Thu Jan 1 00:00:00 1970 From: George Dunlap Subject: Re: [RFC] xen/arm: Handling cache maintenance instructions by set/way Date: Fri, 8 Dec 2017 10:56:35 +0000 Message-ID: <3fdd243a-a40d-3f02-e64e-2253f9456b3f@citrix.com> References: <688fe6e3-3410-aed2-0182-6589d0d8268a@citrix.com> <2b5f6c00-49bc-6d38-9d44-09813e191d74@arm.com> <5A29702A0200007800195A5E@prv-mh.provo.novell.com> <0c4fbdf8-8f61-a3ad-d24e-401001d396b2@linaro.org> <6f628444-1040-b6f3-d9c1-9af0a2669541@citrix.com> <8a010933-cd4a-9ac8-ed1a-63d527452a24@citrix.com> Mime-Version: 1.0 Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: base64 Return-path: Received: from all-amaz-eas1.inumbo.com ([34.197.232.57]) by lists.xenproject.org with esmtp (Exim 4.84_2) (envelope-from ) id 1eNGKi-0005VI-Nk for xen-devel@lists.xenproject.org; Fri, 08 Dec 2017 10:56:44 +0000 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: Marc Zyngier , Julien Grall , Jan Beulich Cc: Stefano Stabellini , George Dunlap , Andre Przywara , Tim Deegan , Andrew Cooper , xen-devel List-Id: xen-devel@lists.xenproject.org T24gMTIvMDcvMjAxNyAwNzoyMSBQTSwgTWFyYyBaeW5naWVyIHdyb3RlOgo+IE9uIDA3LzEyLzE3 IDE4OjA2LCBHZW9yZ2UgRHVubGFwIHdyb3RlOgo+PiBPbiAxMi8wNy8yMDE3IDA0OjU4IFBNLCBN YXJjIFp5bmdpZXIgd3JvdGU6Cj4+PiBPbiAwNy8xMi8xNyAxNjo0NCwgR2VvcmdlIER1bmxhcCB3 cm90ZToKPj4+PiBPbiAxMi8wNy8yMDE3IDA0OjA0IFBNLCBKdWxpZW4gR3JhbGwgd3JvdGU6Cj4+ Pj4+IEhpIEphbiwKPj4+Pj4KPj4+Pj4gT24gMDcvMTIvMTcgMTU6NDUsIEphbiBCZXVsaWNoIHdy b3RlOgo+Pj4+Pj4+Pj4gT24gMDcuMTIuMTcgYXQgMTU6NTMsIDxtYXJjLnp5bmdpZXJAYXJtLmNv bT4gd3JvdGU6Cj4+Pj4+Pj4gT24gMDcvMTIvMTcgMTM6NTIsIEp1bGllbiBHcmFsbCB3cm90ZToK Pj4+Pj4+PiBUaGVyZSBpcyBleGFjdGx5IG9uZSBjYXNlIHdoZXJlIHNldC93YXkgbWFrZXMgc2Vu c2UsIGFuZCB0aGF0J3Mgd2hlbgo+Pj4+Pj4+IHlvdSdyZSB0aGUgb25seSBDUFUgbGVmdCBpbiB0 aGUgc3lzdGVtLCB5b3VyIE1NVSBpcyBvZmYsIGFuZCB5b3UncmUKPj4+Pj4+PiBhYm91dCB0byBn byBkb3duLgo+Pj4+Pj4KPj4+Pj4+IFdpdGggdGhpcyBhbmQgLi4uCj4+Pj4+Pgo+Pj4+Pj4+IE9u IHRvcCBvZiBieXBhc3NpbmcgdGhlIGNvaGVyZW5jeSwgUy9XIENNT3MgZG8gbm90IHByZXZlbnQg bGluZXMgZnJvbQo+Pj4+Pj4+IG1pZ3JhdGluZyBmcm9tIG9uZSBDUFUgdG8gYW5vdGhlci4gU28g eW91IGNvdWxkIGhhcHBpbHkgYmUgZmx1c2hpbmcgYnkKPj4+Pj4+PiBTL1csIGFuZCBzdGlsbCBl bmQgdXAgd2l0aCBkaXJ0eSBsaW5lcyBpbiB5b3VyIGNhY2hlLiBTdWNjZXNzIQo+Pj4+Pj4KPj4+ Pj4+IC4uLiB0aGlzIEkgd29uZGVyIHdoYXQgdmFsdWUgZW11bGF0aW5nIHRob3NlIGluc25zIHRo ZW4gaGFzIGluIHRoZSBmaXJzdAo+Pj4+Pj4gcGxhY2UuIENhbid0IHlvdSBhcyB3ZWxsIHNpbXBs eSBza2lwIGFuZCBpZ25vcmUgdGhlbSwgd2l0aCB0aGUgc2FtZQo+Pj4+Pj4gKGJhZCkgcmVzdWx0 Pwo+Pj4+Pgo+Pj4+PiBUaGUgcmVzdWx0IHdpbGwgYmUgbXVjaCBtdWNoIHdvcnN0LiBIZXJlIGEg Y29uY3JldGUgZXhhbXBsZSB3aXRoIGEgTGludXgKPj4+Pj4gQXJtIDMyLWJpdDoKPj4+Pj4KPj4+ Pj4gwqDCoMKgwqAxKSBDYWNoZSBlbmFibGVkCj4+Pj4+IMKgwqDCoMKgMikgRGVjb21wcmVzcwo+ Pj4+PiDCoMKgwqDCoDMpIE51a2UgY2FjaGUgKFMvVykKPj4+Pj4gwqDCoMKgwqA0KSBDYWNoZSBv ZmYKPj4+Pj4gwqDCoMKgwqA1KSBBY2Nlc3MgbmV3IGtlcm5lbAo+Pj4+Pgo+Pj4+PiBJZiB5b3Ug c2tpcCAjMywgdGhlIGRlY29tcHJlc3MgZGF0YSBtYXkgbm90IGhhdmUgcmVhY2hlZCB0aGUgbWVt b3J5LCBzbwo+Pj4+PiB5b3Ugd291bGQgYWNjZXNzIHN0YWxsIGRhdGEuCj4+Pj4+Cj4+Pj4+IFRo aXMgd291bGQgZWZmZWN0aXZlbHkgbWVhbiB3ZSBkb24ndCBzdXBwb3J0IExpbnV4IEFybSAzMi1i aXQuCj4+Pj4KPj4+PiBTbyBNYXJjIHNhaWQgdGhhdCAjMyAiZG9lc24ndCBtYWtlIHNlbnNlIiwg c2luY2UgYWx0aG91Z2ggaXQgbWlnaHQgYmUKPj4+PiB0aGUgb25seSBjcHUgb24gaW4gdGhlIHN5 c3RlbSwgeW91J3JlIG5vdCAiYWJvdXQgdG8gZ28gZG93biI7IGJ1dCBMaW51eAo+Pj4+IDMyLWJp dCBpcyBkb2luZyB0aGF0IGFueXdheS4KPj4+Cj4+PiAiRG9lc24ndCBtYWtlIHNlbnNlIiBvbiBh biBBUk12Nysgd2l0aCBTTVAuIFRoYXQgY29kZSBkYXRlcyBiYWNrIHRvCj4+PiBBUk12NCwgYW5k IGhhcyBiZWVuIGxlZnQgdW50b3VjaGVkIGV2ZXIgc2luY2UuICJJZiBpdCBhaW4ndCBicm9rZS4u LiIKPj4+Cj4+Pj4gSXQgc291bmRzIGxpa2UgZnJvbSB0aGUgc2xpZGVzIHRoZSBwdXJwb3NlIG9m ICMzIG1pZ2h0IGJlIHRvIGdldCBzdHVmZgo+Pj4+IG91dCBvZiB0aGUgRC1jYWNoZSBpbnRvIHRo ZSBJLWNhY2hlLiAgQnV0IHdoeSBpcyB0aGUgY2FjaGUgdHVybmVkIG9mZj8KPj4+Cj4+PiBMaW51 eCBtYW5kYXRlcyB0aGF0IHRoZSBrZXJuZWwgaW4gZW50ZXJlZCB3aXRoIHRoZSBNTVUgb2ZmLiBX aGljaCBoYXMKPj4+IHRoZSBlZmZlY3Qgb2YgZGlzYWJsaW5nIHRoZSBjYWNoZXMgdG9vIChWSVZU IGNhY2hlcyBhbmQgYWxsIHRoYXQgamF6eikuCj4+Pgo+Pj4+IEFuZCB3aHkgZG9lc24ndCBMaW51 eCB1c2UgdGhlIFZBLWJhc2VkIGZsdXNoZXMgcmF0aGVyIHRoYW4gdGhlIFMvVyBmbHVzaGVzPwo+ Pj4KPj4+IExpbnV4L2FybTY0IGRvZXMuIENoYW5naW5nIHRoZSAzMmJpdCBwb3J0IHRvIHVzZSBW QSBDTU9zIHdvdWxkIHByb2JhYmx5Cj4+PiBicmVhayBzdHVmZiBmcm9tIHRoZSBsYXRlIDkwcywg c28gdGhhdCdzIG5vdCBnb2luZyB0byBoYXBwZW4uIFRoZXNlCj4+PiBkYXlzLCBJIHRlbmQgdG8g cGljayBteSBiYXR0bGVzLi4uIDstKQo+Pgo+PiBPSywgc28gbGV0IG1lIHRyeSB0byBzdGF0ZSB0 aGlzICJmb3J3YXJkcyIgZm9yIHRob3NlIG9mIHVzIG5vdCBmYW1pbGlhcgo+PiB3aXRoIHRoZSBz aXR1YXRpb246Cj4+Cj4+IDEuIExpbnV4IGV4cGVjdHMgdG8gc3RhcnQgaW4gJ2xpbmVhcicgbW9k ZSwgd2l0aCB0aGUgTU1VIGRpc2FibGVkLgo+Pgo+PiAyLiBPbiBBUk0sIGRpc2FibGluZyB0aGUg TU1VIGRpc2FibGVzIGNhY2hpbmcgKCEpLiAgQnV0IGRpc2FibGluZwo+PiBjYWNoaW5nIGRvZXNu J3QgZmx1c2ggdGhlIGNhY2hlOyBpdCBqdXN0IG1lYW5zIHRoZSBjYWNoZSBpcyBieXBhc3NlZCAo ISkuCj4+Cj4+IDMuIFdoaWNoIG1lYW5zIGZvciBMaW51eCBvbiBBUk0sIGFmdGVyIHVuemlwcGlu ZyB0aGUga2VybmVsIGltYWdlLCB5b3UKPj4gbmVlZCB0byBmbHVzaCB0aGUgY2FjaGUgYmVmb3Jl IGRpc2FibGluZyB0aGUgTU1VIGFuZCBzdGFydGluZyBMaW51eCBwcm9wZXIKPj4KPj4gNC4gRm9y IGhpc3RvcmljYWwgcmVhc29ucywgMzItYml0IEFSTSBMaW51eCB1c2VzIHRoZSBTL1cgaW5zdHJ1 Y3Rpb25zIHRvCj4+IGZsdXNoIHRoZSBjYWNoZS4gIFRoaXMgc3RpbGwgd29ya3Mgb24gMzItYml0 IGhhcmR3YXJlLCBhbmQgc28gdGhlIExpbnV4Cj4+IG1haW50YWluZXJzIGFyZSBsb2F0aGUgdG8g Y2hhbmdlIGl0LCBldmVuIHRob3VnaCBtb3JlIHJlbGlhYmxlIFZBLWJhc2VkCj4+IGluc3RydWN0 aW9ucyBhcmUgYXZhaWxhYmxlICg/KS4KPiAKPiBJdCBhbHNvIHdvcmtzIG9uIDY0Yml0IEhXLiBJ dCBpcyBqdXN0IG5vdCBlYXNpbHkgdmlydHVhbGl6YWJsZSwgd2hpY2ggaXMKPiB3aHkgd2UndmUg cmVtb3ZlZCBhbGwgUy9XIGZyb20gdGhlIDY0Yml0IExpbnV4IHBvcnQgYSB3aGlsZSBhZ28uCgpG cm9tIHRoZSBkaWFncmFtIGluIHlvdXIgdGFsaywgaXQgbG9va2VkIGxpa2UgdGhlICJmbHVzaCB0 aGUgY2FjaGUiCm9wZXJhdGlvbiAqZG9lc24ndCogd29yayBhbnl3aGVyZSB0aGF0IGhhcyBhICJz eXN0ZW0gY2FjaGUiLCBldmVuIG9uCmJhcmUgbWV0YWwuCgo+PiA2LiBSYXRoZXIgdGhhbiBmaXgg dGhpcyBpbiBMaW51eCwgS1ZNIGhhcyBhZGRlZCBhIHdvcmstYXJvdW5kIGluIHdoaWNoCj4+IHRo ZSAqaHlwZXJ2aXNvciogZmx1c2hlcyB0aGUgY2FjaGVzIGF0IGNlcnRhaW4gcG9pbnRzICghISEp LiAgSnVsaWVuIGlzCj4+IGxvb2tpbmcgaW50byBkb2luZyB0aGUgc2FtZSB3aXRoIFhlbi4KPiAK PiBUaGUgImF0IGNlcnRhaW4gcG9pbnRzIiBkb2Vzbid0IHF1aXRlIGRlc2NyaWJlIGl0LiBXZSBm dWxseSBlbXVsYXRlIFMvVwo+IGluc3RydWN0aW9uIHVzaW5nIHRoZSBiaWdnZXN0IGhhbW1lciB3 ZSBjYW4gZmluZC4KCk9oLCBJIHRob3VnaHQgSnVsaWVuIHdhcyBzYXlpbmcgc29tZXRoaW5nIGFi b3V0IGZsdXNoaW5nIHRoZSBndWVzdCdzIFJBTQpldmVyeSB0aW1lIGNhY2hpbmcgd2FzIGVuYWJs ZWQgb3IgZGlzYWJsZWQuCgo+PiBHaXZlbiB0aGUgdmFyaWV0eSBvZiBoYXJkd2FyZSB0aGF0IExp bnV4IGhhcyB0byBydW4gb24sIGl0J3MgaGFyZCB0bwo+PiB1bmRlcnN0YW5kIHdoeSAxKSAzMi1i aXQgQVJNIExpbnV4IGNvdWxkbid0IGRldGVjdCBpZiBpdCB3b3VsZCBiZQo+PiBhcHByb3ByaWF0 ZSB0byB1c2UgVkEtYmFzZWQgaW5zdHJ1Y3Rpb25zIHJhdGhlciB0aGFuIFMvVyBpbnN0cnVjdGlv bnMgMikKPj4gVGhlcmUgY291bGRuJ3QgYXQgbGVhc3QgYmUgYSBLY29uZmlnIG9wdGlvbiB0byB1 c2UgVkEgaW5zdHJ1Y3Rpb25zCj4+IGluc3RlYWQgb2YgUy9XIGluc3RydWN0aW9ucy4KPiAKPiBb TGludXggaGF0IG9uXQo+IAo+IDEpIFRoZXJlIGlzIGhhcmRseSBhbnl0aGluZyB0byBkZXRlY3Qu IEJvdGggc2V0cyBvZiBDTU9zIGFyZSBhdmFpbGFibGUKPiBvbiBhIG1vZGVyYXRlbHkgcmVjZW50 IGltcGxlbWVudGF0aW9uLiBXaGF0IHlvdSdkIHdhbnQgdG8gZGV0ZWN0IGlzIHRoZQo+IHRoZSBr ZXJuZWwgaXMgInZpcnR1YWxpemFibGUiLCB3aGljaCBpcyBub3QgYW4gZWFzeSB0YXNrLgo8c25p cD4KPiBBbiBhbHRlcm5hdGl2ZSBvcHRpb24gd291bGQgYmUgdG8gc3dpdGNoIHRvIFZBIENNT3Mg aWYgY29tcGlsZWQgZm9yCj4gQVJNdjcgKGFuZCBtYXliZSB2NiksIGFzc3VtaW5nIHRoYXQgZG9l c24ndCBoYXZlIGFueSBob3JyaWJsZSBzaWRlCj4gZWZmZWN0IHdpdGggYnJva2VuIGNhY2hlIGlt cGxlbWVudGF0aW9ucyAoYW5kIHRoZXJlIGlzIGEgZmV3IG91dCB0aGVyZSkuCj4gWW91J2xsIGhh dmUgdG8gY2hlY2sgdGhhdCB0aGlzIGRvZXNuJ3QgcmVncmVzcyBvbiBhbnkgZXhpc3RpbmcgSFcu CgpTbyB0aGUgaWRlYSB3b3VsZCBiZSB0byB1c2UgdGhlIFZBLWJhc2VkIG9wZXJhdGlvbnMgaWYg YXZhaWxhYmxlLCBhbmQKdGhlbiBzcGVjaWFsLWNhc2Ugc3BlY2lmaWMgY2hpcHNldHMga25vd24g dG8gaGF2ZSBpc3N1ZXMuICBMaW51eCAoYW5kClhlbiBhbmQuLi4pIGVuZCB1cCBkb2luZyB0aGlz IGZvciBsb3RzIG9mIGRpZmZlcmVudCBraW5kcyBvZiBoYXJkd2FyZTsKdGhpcyB3b3VsZCBiZSBu byBkaWZmZXJlbnQuCgo+IDIpIEtjb25maWcgb3B0aW9ucyBhcmUgdGhlIHdheSB0byBoZWxsLiBJ dCB0b29rIHVzIDUgeWVhcnMgdG8gZ2V0IGEKPiAzMmJpdCBrZXJuZWwgdGhhdCB3b3VsZCBib290 IG9uIGFib3V0IGFueXRoaW5nLCBhbmQgd2UncmUgbm90IGdvaW5nIHRvCj4gZ28gYmFjay4KCldl bGwsIGF0IHRoZSBtb21lbnQgeW91ICpkb24ndCogaGF2ZSBhIDMyLWJpdCBrZXJuZWwgdGhhdCB3 aWxsIGJvb3Qgb24KYW55dGhpbmcuICBJdCB3b24ndCBib290IChpdCBzb3VuZHMgbGlrZSkgb24g YW55IDMyLWJpdCBzeXN0ZW0gdGhhdCBoYXMKYSBzeXN0ZW0gY2FjaGUsIGluY2x1ZGluZyBhIDY0 LWJpdCBoeXBlcnZpc29yIHByb3ZpZGluZyBhIDMyLWJpdCBndWVzdC4KCkFsdGVybmF0ZWx5LCB3 b3VsZCBpdCBtYWtlIHNlbnNlIHRvIGhhdmUgYSBQViAiY2FjaGUgZmx1c2giIG9wZXJhdGlvbgpm b3IgaHlwZXJ2aXNvcnM/ICB4ODYgaGFzIGEgd2F5IHRvIGV4cG9zZSBoeXBlcnZpc29yIGNhcGFi aWxpdGllcyB2aWEKc3BlY2lmaWMgQ1BVSUQgbGVhdmVzLiAgRG9lcyBhbnl0aGluZyBsaWtlIHRo aXMgZXhpc3QgZm9yIEFSTT8gIElmIHNvLAp0aGUgY29kZSBjb3VsZCBiZSwgIklmIHZpcnR1YWxp emVkIGFuZCBoeXBlcnZpc29yIHByb3ZpZGVzIFBWIGNhY2hlCmZsdXNoLCB1c2UgdGhhdC4gIE90 aGVyd2lzZSwgZmFsbCBiYWNrIHRvIFMvVyBvcGVyYXRpb24uIgoKPiBPZiBjb3Vyc2UsIG5vbmUg b2YgdGhhdCB3aWxsIHNvbHZlIHRoZSBtb3N0IGltcG9ydGFudCBpc3N1ZSwgd2hpY2ggaXMgdG8K PiBib290IGFuIHVubW9kaWZpZWQga2VybmVsIGZyb20geWVzdGVyZGF5IHRvIGluc3RhbGwgYSBk aXN0cmlidXRpb24uIElmCj4geW91IHdhbnQgdG8gYmUgYWJsZSB0byBkbyB0aGF0LCB5b3UnbGwg aGF2ZSB0byB1c2UgdGhlIGFmb3JlbWVudGlvbmVkCj4gaGFtbWVyLgoKV2VsbCBpdCB3aWxsIHRh a2UgdGltZSB0byBjb2RlIHVwIGEgc29sdXRpb24gYW5kIGdldCAqdGhhdCogaW50byB1c2VyJ3MK aGFuZHMgYXMgd2VsbC4gIEkgd291bGQgdGhpbmsgdGhlIGZhc3Rlc3Qgd2F5IHRvIGdldCAqbW9z dCogZGlzdHJvcwp3b3JraW5nIHdvdWxkIGJlIHRvIG9wZW4gYSB0aWNrZXQgc2F5aW5nIGl0J3Mg YnJva2VuIG9uIHZpcnR1YWwKaGFyZHdhcmUsIGFuZCBhc2tpbmcgdGhlbSB0byBhcHBseSBhIHBh dGNoLiAgVGhlbiB0aGUgcHJpb3JpdHkgb2YKZ2V0dGluZyBtb3JlICJlbnRlcnByaXNleSIgZGlz dHJvcyB3b3JraW5nIGlmIGFuZCB3aGVuLgoKSnVzdCB0byBiZSBjbGVhciAtLSBJJ20ganVzdCB0 cnlpbmcgdG8gaGVscCBwdXNoIHRvIGV4cGxvcmUgb3RoZXIKb3B0aW9ucyBoZXJlLiAgSSdtIG5v dCBvcHBvc2VkIHRvIEp1bGllbiBvciBzb21lb25lIG1ha2luZyBhIHdvcmstYXJvdW5kCmluIFhl bi4gIEJ1dCBpdCdzIHF1aXRlIGEgYml0IG9mIGVmZm9ydCB0byBhY2hpZXZlIGEgcHJldHR5IGNy YXBweSBlbmQsCnNvIEkgdGhpbmsgaXQncyB3b3J0aCBleHBsb3Jpbmcgd2hhdCBraW5kIG9mIGVm Zm9ydCB3ZSBjb3VsZCBzcGVuZAphY2hpZXZpbmcgYSAicHJvcGVyIiBmaXggZmlyc3QuCgooVGhh bmtzIGFsc28gZm9yIHRha2luZyB0aGUgdGltZSB0byBoZWxwIGV4cGxhaW4gdGhpcy4pCgogLUdl b3JnZQoKX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX18KWGVu LWRldmVsIG1haWxpbmcgbGlzdApYZW4tZGV2ZWxAbGlzdHMueGVucHJvamVjdC5vcmcKaHR0cHM6 Ly9saXN0cy54ZW5wcm9qZWN0Lm9yZy9tYWlsbWFuL2xpc3RpbmZvL3hlbi1kZXZlbA==