From mboxrd@z Thu Jan 1 00:00:00 1970 From: Andre Przywara Subject: Re: [RFC] ARM: New (Xen) VGIC design document Date: Wed, 1 Nov 2017 09:15:56 +0000 Message-ID: <37740904-434c-7372-91ac-adc5acf5eb8c@linaro.org> References: <20171011143303.27453-1-andre.przywara@arm.com> Mime-Version: 1.0 Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: base64 Return-path: Received: from mail6.bemta5.messagelabs.com ([195.245.231.135]) by lists.xenproject.org with esmtp (Exim 4.84_2) (envelope-from ) id 1e9p3l-0002TR-Tp for xen-devel@lists.xenproject.org; Wed, 01 Nov 2017 09:11:42 +0000 Received: by mail-wm0-f68.google.com with SMTP id s66so3436954wmf.5 for ; Wed, 01 Nov 2017 02:11:39 -0700 (PDT) In-Reply-To: Content-Language: en-GB List-Unsubscribe: , List-Post: List-Help: List-Subscribe: , Errors-To: xen-devel-bounces@lists.xen.org Sender: "Xen-devel" To: Christoffer Dall , Stefano Stabellini Cc: Marc Zyngier , "xen-devel@lists.xenproject.org" , Julien Grall , Eric Auger List-Id: xen-devel@lists.xenproject.org SGksCgpPbiAwMS8xMS8xNyAwNDozMSwgQ2hyaXN0b2ZmZXIgRGFsbCB3cm90ZToKPiBPbiBXZWQs IE5vdiAxLCAyMDE3IGF0IDk6NTggQU0sIFN0ZWZhbm8gU3RhYmVsbGluaQo+IDxzc3RhYmVsbGlu aUBrZXJuZWwub3JnPiB3cm90ZToKPiAKPiBbLi4uLl0KCkNocmlzdG9mZmVyLCBtYW55IHRoYW5r cyBmb3IgYW5zd2VyaW5nIHRoaXMhCkkgdGhpbmsgd2UgaGF2ZSBhIGxvdCBvZiBhc3N1bXB0aW9u cyBhYm91dCB0aGUgd2hvbGUgVkdJQyBsaWZlIGN5Y2xlCmZsb2F0aW5nIGFyb3VuZCwgYnV0IGl0 IHdvdWxkIGluZGVlZCBiZSBnb29kIHRvIGdldCBzb21lIG51bWJlcnMgYmVoaW5kIGl0LgpJIHdv dWxkIGJlIGFsbCB0b28gaGFwcHkgdG8gdHJhY2Ugc29tZSB3b3JrbG9hZHMgb24gWGVuIGFnYWlu IGFuZApnZXR0aW5nIHNvbWUgbWV0cmljcywgdGhvdWdoIHRoaXMgc291bmRzIHRpbWUgY29uc3Vt aW5nIGlmIGRvbmUgcHJvcGVybHkuCgpEbyB5b3UgaGF2ZSBhbnkgbnVtYmVycyBvbiBWR0lDIHBl cmZvcm1hbmNlIGF2YWlsYWJsZSBzb21ld2hlcmU/CgouLi4uCgo+Pj4gIyMjIExpc3QgcmVnaXN0 ZXIgbWFuYWdlbWVudAo+Pj4KPj4+IEEgbGlzdCByZWdpc3RlciAoTFIpIGhvbGRzIHRoZSBzdGF0 ZSBvZiBhIHZpcnR1YWwgaW50ZXJydXB0LCB3aGljaCB3aWxsCj4+PiBiZSB1c2VkIGJ5IHRoZSBH SUMgaGFyZHdhcmUgdG8gc2ltdWxhdGUgYW4gSVJRIGxpZmUgY3ljbGUgZm9yIGEgZ3Vlc3QuCj4+ PiBFYWNoIEdJQyBoYXJkd2FyZSBpbXBsZW1lbnRhdGlvbiBjYW4gY2hvb3NlIHRvIGltcGxlbWVu dCBhIG51bWJlciBvZiBMUnMsCj4+PiBoYXZpbmcgZm91ciBvZiB0aGVtIHNlZW1zIHRvIGJlIGEg Y29tbW9uIHZhbHVlLiBUaGlzIGRlc2lnbiBoZXJlIGRvZXMgbm90Cj4+PiB0cnkgdG8gbWFuYWdl IHRoZSBMUnMgdmVyeSBjbGV2ZXJseSwgaW5zdGVhZCBvbiBldmVyeSBndWVzdCBleGl0IGV2ZXJ5 IExSCj4+PiBpbiB1c2Ugd2lsbCBiZSBzeW5jZWQgdG8gdGhlIGVtdWxhdGVkIHN0YXRlLCB0aGVu IGNsZWFyZWQuIFVwb24gZ3Vlc3QgZW50cnkKPj4+IHRoZSB0b3AgcHJpb3JpdHkgdmlydHVhbCBJ UlFzIHdpbGwgYmUgaW5zZXJ0ZWQgaW50byB0aGUgTFJzLiBJZiB0aGVyZSBhcmUKPj4+IG1vcmUg cGVuZGluZyBvciBhY3RpdmUgSVJRcyB0aGFuIGxpc3QgcmVnaXN0ZXJzLCB0aGUgR0lDIG1hbmFn ZW1lbnQgSVJRCj4+PiB3aWxsIGJlIGNvbmZpZ3VyZWQgdG8gbm90aWZ5IHRoZSBoeXBlcnZpc29y IG9mIGEgZnJlZSBMUiAob25jZSB0aGUgZ3Vlc3QKPj4+IGhhcyBFT0llZCBvbmUgSVJRKS4gVGhp cyB3aWxsIHRyaWdnZXIgYSBub3JtYWwgZXhpdCwgd2hpY2ggd2lsbCBnbyB0aHJvdWdoCj4+PiB0 aGUgbm9ybWFsIGNsZWFudXAvcmVwb3B1bGF0ZSBzY2hlbWUsIHBvc3NpYmx5IG5vdyBxdWV1aW5n IHRoZSBsZWZ0b3Zlcgo+Pj4gaW50ZXJydXB0KHMpLgo+Pj4gVG8gZmFjaWxpdGF0ZSBxdWljayBn dWVzdCBleGl0IGFuZCBlbnRyeSB0aW1lcywgdGhlIFZHSUMgbWFpbnRhaW5zIHRoZSBsaXN0Cj4+ PiBvZiBwZW5kaW5nIG9yIGFjdGl2ZSBpbnRlcnJ1cHRzIChhcFxfbGlzdCkgc29ydGVkIGJ5IHRo ZWlyIHByaW9yaXR5LiBBY3RpdmUKPj4+IGludGVycnVwdHMgYWx3YXlzIGdvIGZpcnN0IG9uIHRo ZSBsaXN0LCBzaW5jZSBhIGd1ZXN0IGFuZCB0aGUgaGFyZHdhcmUgR0lDCj4+PiBleHBlY3QgdGhv c2UgdG8gc3RheSB1bnRpbCB0aGV5IGhhdmUgYmVlbiBleHBsaWNpdGx5IGRlYWN0aXZhdGVkLiBG YWlsdXJlCj4+PiBpbiBrZWVwaW5nIGFjdGl2ZSBJUlFzIGFyb3VuZCB3aWxsIHJlc3VsdCBpbiBl cnJvciBjb25kaXRpb25zIGluIHRoZSBHSUMuCj4+PiBUaGUgc2Vjb25kIHNvcnQgY3JpdGVyaWEg Zm9yIHRoZSBhcFxfbGlzdCBpcyB0aGVpciBwcmlvcml0eSwgc28gaGlnaGVyCj4+PiBwcmlvcml0 eSBwZW5kaW5nIGludGVycnVwdCBhbHdheXMgZ28gZmlyc3QgaW50byB0aGUgTFJzLgo+Pgo+PiBU aGUgc3VnZ2VzdGlvbiBvZiB1c2luZyB0aGlzIG1vZGVsIGluIFhlbiB3YXMgbWFkZSBpbiB0aGUg cGFzdCBhbHJlYWR5Lgo+PiBJIGFsd2F5cyBvYmplY3RlZCBmb3IgdGhlIHJlYXNvbiB0aGF0IHdl IGRvbid0IGFjdHVhbGx5IGtub3cgaG93IG1hbnkKPj4gTFJzIHRoZSBoYXJkd2FyZSBwcm92aWRl cywgcG90ZW50aWFsbHkgdmVyeSBtYW55LCBhbmQgaXQgaXMgZXhwZW5zaXZlCj4+IGFuZCBuZWVk bGVzcyB0byByZWFkL3dyaXRlIHRoZW0gYWxsIGV2ZXJ5IHRpbWUgb24gZW50cnkvZXhpdC4KPj4K Pj4gSSB3b3VsZCBwcmVmZXIgdG8gYXZvaWQgdGhhdCwgYnV0IEknbGwgYmUgaG9uZXN0OiBJIGNh biBiZSBjb252aW5jZWQKPj4gdGhhdCB0aGF0IG1vZGVsIG9mIGhhbmRsaW5nIExScyBpcyBzbyBt dWNoIHNpbXBsZXIgdGhhdCBpdCBpcyB3b3J0aCBpdC4KPj4gSSBhbSBtb3JlIGNvbmNlcm5lZCBh Ym91dCB0aGUgZnV0dXJlIG1haW50YWluYW5jZSBvZiBhIHNlcGFyYXRlIG5ldwo+PiBkcml2ZXIg ZGV2ZWxvcGVkIGVsc2V3aGVyZS4KPiAKPiBbSGF2aW5nIGp1c3Qgc3BlbnQgYSBmYWlyIGFtb3Vu dCBvZiB0aW1lIG9wdGltaXppbmcgS1ZNL0FSTSBhbmQKPiBtZWFzdXJpbmcgR0lDIGludGVyYWN0 aW9uLCBJJ2xsIGNvbW1lbnQgb24gdGhpcyBhbmQgbGVhdmUgaXQgdXAgdG8KPiBBbmRyZSB0byBk cml2ZSB0aGUgcmVzdCBvZiB0aGUgZGlzY3Vzc2lvbl0uCj4gCj4gSW4gS1ZNIHdlIGN1cnJlbnRs eSBvbmx5IGV2ZXIgdG91Y2ggYW4gTFIgd2hlbiB3ZSBhYnNvbHV0ZWx5IGhhdmUgdG8uCj4gRm9y IGV4YW1wbGUsIGlmIHRoZXJlIGFyZSBubyBpbnRlcnJ1cHRzLCB3ZSBkbyBub3QgdG91Y2ggYW4g TFIuCgpZZXMsIEkgdGhpbmsgdGhpcyBpcyBhIGtleSBwb2ludC4gV2Ugb25seSB0b3VjaCBMUnMg dGhhdCB3ZSBuZWVkIHRvCnRvdWNoOiBPbiBndWVzdCBlbnRyeSB3ZSBpdGVyYXRlIG91ciBwZXIt VkNQVSBsaXN0IG9mIHBlbmRpbmcgSVJRcwooYXBfbGlzdCwgdGhhdCBjb3VsZCBiZSBlbXB0eSEp LCBhbmQgc3RvcmUgdGhhdCBudW1iZXIgaW4gYSB2YXJpYWJsZS4KT24gZW50cnkgd2UganVzdCBz eW5jIGJhY2sgdGhlIGZpcnN0IDxuPiBMUnMuCkkgdGhpbmsgdGhlIGNvZGUgaW4gS1ZNIGV4cGxh aW5zIGl0IHF1aXRlIHdlbGw6Cmh0dHBzOi8vZ2l0Lmtlcm5lbC5vcmcvcHViL3NjbS9saW51eC9r ZXJuZWwvZ2l0L3RvcnZhbGRzL2xpbnV4LmdpdC90cmVlL3ZpcnQva3ZtL2FybS92Z2ljL3ZnaWMu YyNuNjc3Cgo+IFdoZW4geW91IGRvIGhhdmUgYW4gaW50ZXJydXB0IGluIGZsaWdodCwgYW5kIGhh dmUgcHJvZ3JhbW1lZCBvbmUgb3IKPiBtb3JlIExScywgeW91IGhhdmUgdG8gZWl0aGVyIHJlYWQg YmFjayB0aGF0IExSLCBvciByZWFkIG9uZSBvZiB0aGUKPiBzdGF0dXMgcmVnaXN0ZXJzIHRvIGZp Z3VyZSBvdXQgaWYgdGhlIGludGVycnVwdCBoYXMgYmVjb21lIGluYWN0aXZlCj4gKGFuZCBzaG91 bGQgcG90ZW50aWFsbHkgYmUgaW5qZWN0ZWQgYWdhaW4pLiAgSSBtZWFzdXJlZCBib3RoIG9uIEtW TQo+IGZvciB2YXJpb3VzIHdvcmtsb2FkcyBhbmQgaXQgd2FzIGZhc3RlciB0byBuZXZlciByZWFk IHRoZSBzdGF0dXMKPiByZWdpc3RlcnMsIGJ1dCBzaW1wbHkgcmVhZCBiYWNrIHRoZSBMUnMgdGhh dCB3ZXJlIGluIHVzZSB3aGVuIGVudGVyaW5nCj4gdGhlIGd1ZXN0Lgo+IAo+IFlvdSBjYW4gcG90 ZW50aWFsbHkgbWljcm8tb3B0aW1pemUgc2xpZ2h0bHkgYnkgcmVtZW1iZXJpbmcgdGhlIGV4aXQK PiB2YWx1ZSBvZiBhbiBMUiAoYW5kIG5vdCBjbGVhcmluZyBpdCBvbiBndWVzdCBleGl0KSwgYnV0 IHlvdSBoYXZlIHRvCj4gcGF5IHRoZSBjb3N0IGluIHRlcm1zIG9mIGFkZGl0aW9uYWwgbG9naWMg ZHVyaW5nIFZDUFUgbWlncmF0aW9uIGFuZAo+IHdoZW4geW91IGVudGVyIGEgVk0gYWdhaW4sIG1h aW50YWluaW5nIGEgbWFwcGluZyBvZiB0aGUgTFIgYW5kIHRoZQo+IHZpcnR1YWwgc3RhdGUsIHRv IGF2b2lkIHJld3JpdGluZyB0aGUgc2FtZSB2YWx1ZSB0byB0aGUgTFIgYWdhaW4uICBXZQo+IHRy aWVkIHRoYXQgaW4gS1ZNIGFuZCBjb3VsZCBub3QgbWVhc3VyZSBhbnkgYmVuZWZpdCB1c2luZyBl aXRoZXIgYQo+IHBpbm5lZCBvciBvdmVyc3Vic2NyaWJlZCB3b3JrbG9hZDsgSSBzcGVjdWxhdGUg dGhhdCB0aGUgbnVtYmVyIG9mCj4gdGltZXMgeW91IGV4aXQgd2l0aCB1bnByb2Nlc3NlZCBpbnRl cnJ1cHRzIGluIHRoZSBMUnMgaXMgZXh0cmVtZWx5Cj4gcmFyZS4KPiAKPiBJbiB0ZXJtcyBvZiB0 aGUgbnVtYmVyIG9mIExScywgSSBzdGlsIGhhdmVuJ3Qgc2VlbiBhbiBpbXBsZW1lbnRhdGlvbgo+ IHdpdGggYW55dGhpbmcgZWxzZSB0aGFuIDQgTFJzLgoKWWVzLCB0aGF0IGlzIHdoYXQgSSBrbm93 IG9mIGFzIHdlbGwuIFRoZSBmYXN0IG1vZGVsIGhhcyAxNiwgYnV0IEkgZ3Vlc3MKdGhpcyBkb2Vz bid0IGNvdW50IC0gdGhvdWdoIGl0J3MgZ29vZCB0byB0ZXN0IHNvbWUgY29kZS4gSSBjYW4gdHJ5 IHRvCmxlYXJuIHRoZSBmaWd1cmUgaW4gbmV3ZXIgaGFyZHdhcmUuCgpJbiB0aGUgcGFzdCBJIHRy YWNlZCBzb21lIHdvcmtsb2FkcyBhbmQgZm91bmQgb25seSBhIHNtYWxsIG51bWJlciBvZiBMUnMK dG8gYmUgYWN0dWFsbHkgdXNlZCwgd2l0aCA0IG9yIG1vcmUgYmVpbmcgZXh0cmVtZWx5IHJhcmUu CgpDaGVlcnMsCkFuZHJlLgoKX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19f X19fX19fX18KWGVuLWRldmVsIG1haWxpbmcgbGlzdApYZW4tZGV2ZWxAbGlzdHMueGVuLm9yZwpo dHRwczovL2xpc3RzLnhlbi5vcmcveGVuLWRldmVsCg==