From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.4.0 (2014-02-07) on aws-us-west-2-korg-lkml-1.web.codeaurora.org X-Spam-Level: X-Spam-Status: No, score=-2.2 required=3.0 tests=HEADER_FROM_DIFFERENT_DOMAINS, MAILING_LIST_MULTI,SPF_HELO_NONE,SPF_PASS,URIBL_BLOCKED,USER_AGENT_SANE_1 autolearn=no autolearn_force=no version=3.4.0 Received: from mail.kernel.org (mail.kernel.org [198.145.29.99]) by smtp.lore.kernel.org (Postfix) with ESMTP id 784B8C7618B for ; Mon, 29 Jul 2019 12:09:00 +0000 (UTC) Received: from lists.xenproject.org (lists.xenproject.org [192.237.175.120]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by mail.kernel.org (Postfix) with ESMTPS id 5107E206B8 for ; Mon, 29 Jul 2019 12:09:00 +0000 (UTC) DMARC-Filter: OpenDMARC Filter v1.3.2 mail.kernel.org 5107E206B8 Authentication-Results: mail.kernel.org; dmarc=none (p=none dis=none) header.from=arm.com Authentication-Results: mail.kernel.org; spf=none smtp.mailfrom=xen-devel-bounces@lists.xenproject.org Received: from localhost ([127.0.0.1] helo=lists.xenproject.org) by lists.xenproject.org with esmtp (Exim 4.89) (envelope-from ) id 1hs4SF-0005v8-Dt; Mon, 29 Jul 2019 12:08:39 +0000 Received: from us1-rack-dfw2.inumbo.com ([104.130.134.6]) by lists.xenproject.org with esmtp (Exim 4.89) (envelope-from ) id 1hs4SD-0005v1-W2 for xen-devel@lists.xenproject.org; Mon, 29 Jul 2019 12:08:38 +0000 X-Inumbo-ID: 97c1d95e-b1f9-11e9-8980-bc764e045a96 Received: from foss.arm.com (unknown [217.140.110.172]) by us1-rack-dfw2.inumbo.com (Halon) with ESMTP id 97c1d95e-b1f9-11e9-8980-bc764e045a96; Mon, 29 Jul 2019 12:08:36 +0000 (UTC) Received: from usa-sjc-imap-foss1.foss.arm.com (unknown [10.121.207.14]) by usa-sjc-mx-foss1.foss.arm.com (Postfix) with ESMTP id E6D8128; Mon, 29 Jul 2019 05:08:35 -0700 (PDT) Received: from [10.37.8.36] (unknown [10.37.8.36]) by usa-sjc-imap-foss1.foss.arm.com (Postfix) with ESMTPSA id 85D363F575; Mon, 29 Jul 2019 05:08:32 -0700 (PDT) To: Jan Beulich References: <20190603160350.29806-1-julien.grall@arm.com> <20190603160350.29806-8-julien.grall@arm.com> <5CF698EB0200007800235319@prv1-mh.provo.novell.com> <5CF76BC30200007800235596@prv1-mh.provo.novell.com> <5CF7950302000078002356E9@prv1-mh.provo.novell.com> From: Julien Grall Message-ID: Date: Mon, 29 Jul 2019 13:08:30 +0100 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:60.0) Gecko/20100101 Thunderbird/60.8.0 MIME-Version: 1.0 In-Reply-To: <5CF7950302000078002356E9@prv1-mh.provo.novell.com> Content-Language: en-US Subject: Re: [Xen-devel] [PATCH v3 07/14] xen: Introduce HAS_M2P config and use to protect mfn_to_gmfn call X-BeenThere: xen-devel@lists.xenproject.org X-Mailman-Version: 2.1.23 Precedence: list List-Id: Xen developer discussion List-Unsubscribe: , List-Post: List-Help: List-Subscribe: , Cc: Stefano Stabellini , "andrii_anisov@epam.com" , WeiLiu , Konrad Rzeszutek Wilk , George Dunlap , Andrew Cooper , Ian Jackson , Tim Deegan , oleksandr_tyshchenko@epam.com, xen-devel , Roger Pau Monne Content-Transfer-Encoding: base64 Content-Type: text/plain; charset="utf-8"; Format="flowed" Errors-To: xen-devel-bounces@lists.xenproject.org Sender: "Xen-devel" SGksCgpPbiA2LzUvMTkgMTE6MTAgQU0sIEphbiBCZXVsaWNoIHdyb3RlOgo+Pj4+IE9uIDA1LjA2 LjE5IGF0IDExOjM1LCA8anVsaWVuLmdyYWxsQGFybS5jb20+IHdyb3RlOgo+PiBPbiAwNS8wNi8y MDE5IDA4OjE0LCBKYW4gQmV1bGljaCB3cm90ZToKPj4+Pj4+IE9uIDA0LjA2LjE5IGF0IDE4OjIy LCA8anVsaWVuLmdyYWxsQGFybS5jb20+IHdyb3RlOgo+Pj4+IE9uIDYvNC8xOSA1OjE0IFBNLCBK YW4gQmV1bGljaCB3cm90ZToKPj4+Pj4+Pj4gT24gMDMuMDYuMTkgYXQgMTg6MDMsIDxqdWxpZW4u Z3JhbGxAYXJtLmNvbT4gd3JvdGU6Cj4+Pj4+PiBUaGlzIHBhdGNoIGludHJvZHVjZXMgYSBjb25m aWcgb3B0aW9uIEhBU19NMlAgdG8gdGVsbCB3aGV0aGVyIGFuCj4+Pj4+PiBhcmNoaXRlY3R1cmUg aW1wbGVtZW50cyB0aGUgTTJQLgo+Pj4+Pj4gICAgICAgIC0gaW9tbXVfaHdkb21faW5pdDogRm9y IG5vdywgd2UgcmVxdWlyZSB0aGUgTTJQIHN1cHBvcnQgd2hlbiB0aGUgSU9NTVUKPj4+Pj4+ICAg ICAgICBpcyBub3Qgc2hhcmluZyB0aGUgUDJNLgo+Pj4+Pj4gICAgICAgIC0gbWVtb3J5X2V4Y2hh bmdlOiBUaGUgaHlwZXJjYWxsIGlzIG1hcmtlZCBhcyBub3Qgc3VwcG9ydGVkIHdoZW4gdGhlCj4+ Pj4+PiAgICAgICAgTTJQIGRvZXMgbm90IGV4aXN0Lgo+Pj4+Pgo+Pj4+PiBCdXQgd2hlcmUncyB0 aGUgY29ubmVjdGlvbiBiZXR3ZWVuIHRoZXJlIGJlaW5nIE0yUCBhbmQgdGhlCj4+Pj4+IGF2YWls YWJpbGl0eSBvZiB0aGlzIG9wZXJhdGlvbj8gSSB0aGluayBJJ3ZlIHN1Z2dlc3RlZCBzbyBiZWZv cmU6Cj4+Pj4+IFdoeSBkb24ndCB3ZSBzaW1wbHkgZGlzYWJsZSB0aGlzIG9wZXJhdGlvbiBmb3Ig dHJhbnNsYXRlZAo+Pj4+PiBndWVzdHMgKGluIGFuIGluZGVwZW5kZW50IHBhdGNoKT8KPj4+Pgo+ Pj4+IEFuZCBJIGFuc3dlcmVkIHRoYXQgbWZuX3RvX2dtZm4oKSBpcyB1c2VkIGluIHRoZSBmdW5j dGlvbi4gSSByZWFsbHkKPj4+PiBkb24ndCB3YW50IHRvIGltcGxlbWVudCB0aGUgbWFjcm8gb24g QXJtIChldmVuIGlmIGl0IGlzIGR1bW15KS4KPj4+Pgo+Pj4+IFlvdSBoYXZlbid0IGFuc3dlcmVk IGJhY2sgdG8gdGhhdCBjb21tZW50IGFuZCBJIGFzc3VtZWQgdGhpcyB3YXMgZmluZQo+Pj4+IHdp dGggeW91Li4uCj4+Pgo+Pj4gV2VsbCwgSSBndWVzcyBpdCB3YXMsIGJ1dCBzdXBwbHlpbmcgdGhl ICJ3aHkiIGluIHRoZSBkZXNjcmlwdGlvbiAob3IKPj4+IGF0dGFjaGVkIGFzIGEgYnJpZWYgY29t bWVudCB0byB0aGUgI2lmZGVmKSB3b3VsZCBoYXZlIGhlbHBlZAo+Pj4gYXZvaWQgcmUtcmFpc2lu ZyB0aGUgc2FtZSBxdWVzdGlvbi4gSG93ZXZlciwgdGhpbmtpbmcgYWJvdXQgaXQKPj4+IGFnYWlu IEknbSBub3Qgc3VyZSBJIGFncmVlIHdpdGggI2lmZGVmLWluZyBvdXQgdGhlIGVudGlyZSAobGFy Z2UpCj4+PiBmdW5jdGlvbiBib2R5IC0gSSdkIHJlYWxseSBwcmVmZXIgdGhlIGFsdGVybmF0aXZl IGFwcHJvYWNoCj4+PiBzdWdnZXN0ZWQgYWJvdmUuCj4+Cj4+IEkgd291bGQgYXBwcmVjaWF0ZSBp ZiB5b3UgY2xhcmlmaWVkIGl0IGluIHRoZSBwcmV2aW91cyB2ZXJzaW9uIHJhdGhlciB0aGFuCj4+ IGV4cGVjdGluZyBtZSB0byB1bmRlcnN0YW5kIHRoZSBoaWRkZW4gbWVhbmluZy4gQmVjYXVzZSAu Li4KPiAKPiBJJ20gc29ycnkgZm9yIHRoaXMsIGJ1dCAidGhpbmtpbmcgYWJvdXQgdGhpcyBhZ2Fp biIgbWVhbnMgSSB3YXMgY29taW5nCj4gdG8gdGhhdCBjb25jbHVzaW9uIG5vdywgbm90IGJhY2sg dGhlbi4KPiAKPj4+IE9yIG90aGVyd2lzZSBJJ2Qgc2VlIHlldCBhbm90aGVyIHNlcGFyYXRlIEtj b25maWcgb3B0aW9uCj4+PiBpZGVudGlmeWluZyB3aGV0aGVyIGFuIGFyY2ggc3VwcG9ydHMgbm9u LXRyYW5zbGF0ZWQgbW9kZSBpbiB0aGUKPj4+IGZpcnN0IHBsYWNlLiBUaGF0IG9wdGlvbiB3b3Vs ZCBzZWxlY3QgdGhlIE0yUCBvbmUgdGhlbiwgYXMgSSBjYW4ndAo+Pj4gc2VlIGhvdyBvbmUgd291 bGQgZ28gYWJvdXQgc3VwcG9ydGluZyBub24tdHJhbnNsYXRlZCBndWVzdHMKPj4+IHdpdGhvdXQg TTJQLiBJbiB0aGlzIGNhc2UgeW91J2QgYWRkIGFuICNpZmRlZiBoZXJlIChwbGFjZW1lbnQKPj4+ IHN1YmplY3QgdG8gZnVydGhlciBkaXNjdXNzaW9uOyBwZXJzb25hbGx5IEknZCBmYXZvciBpZiBp dCB3YXMgcHV0Cj4+PiBhcm91bmQganVzdCB0aGUgcHJvYmxlbWF0aWMgaW52b2NhdGlvbiBvZiBt Zm5fdG9fZ21mbigpLCB3aXRoCj4+PiBhIHN1aXRhYmxlICNlbHNlOyBhbHRlcm5hdGl2ZWx5IGhh dmUgY29tbW9uIGNvZGUgcHJvdmlkZSBhCj4+PiBzdHViIG1mbl90b19nbWZuKCkpIF9hbmRfIGEg cGFnaW5nX21vZGVfdHJhbnNsYXRlKCkgY2hlY2sKPj4+IG5lYXIgdGhlIHRvcCBvZiB0aGUgZnVu Y3Rpb24sIHRodXMgeWllbGRpbmcgY29uc2lzdGVudCBiZWhhdmlvci4KPj4KPj4gLi4uIEkgd291 bGQgaGF2ZSBhdm9pZGVkIHRvIHdhc3RlIHRpbWUgcmVzZW5kaW5nIHRoZSBzZXJpZXMgd2l0aG91 dAo+PiBhZGRyZXNzaW5nCj4+IHlvdXIgY29uY2Vybi4KPj4KPj4gSW4gdGhpcyBjYXNlLCBJIHdp bGwgc3Ryb25nbHkgbmFjayBhbnkgZGVmaW5pdGlvbiBvZiBtZm5fdG9fZ21mbigpIGluIHRoZQo+ PiBub24tTTJQIGNhc2UuIFdlIHNhdyB0aGUgaW1wbGljYXRpb24gb24gQXJtIGFuZCBJIGp1c3Qg d2FudCB0byBzZWUgdGhlIG1hY3JvCj4+IGNvbXBsZXRlbHkgZGlzYXBwZWFyIGZyb20gQXJtLgo+ Pgo+PiBGdXJ0aGVybW9yZSwgI2lmZGVmIGNodW5rIG9mIGNvZGUgbWVhbnMgdGhleSBjb21wbGV0 ZWx5IGRpc2FwcGVhciBmcm9tIHRoZSBjb2RlCj4+IGJhc2Ugd2l0aG91dCB0aGUgYWlkIG9mIHRo ZSBjb21waWxlciBpdHNlbGYgKHZpYSBvcHRpbWl6YXRpb24pLiBUaGlzIGlzIGxlc3MKPj4gZXJy b3ItcHJvbmUgdGhhbiBhIHBvdGVudGlhbGx5IHdyb25nIGNoZWNrIGFuZCB3b3VsZCBhbHNvIGhl bHAgc2FmZXR5Cj4+IGNlcnRpZmljYXRpb24gYXMgd2UgZG9uJ3QgbmVlZC4KPiAKPiBUaGF0J3Mg b25lIHBlcnNwZWN0aXZlIHRvIHRha2UuIFRoZSBvdGhlciBpcyB0aGF0IHBlb3BsZSBjaGFuZ2lu ZyBhbmQKPiB0ZXN0aW5nIG9ubHkgQXJtIGNvZGUgd2lsbCBub3QgZWFzaWx5IG5vdGljZSBpZiB0 aGV5IGJyZWFrIHRoYXQgZnVuY3Rpb24uCgpUaGF0J3Mgbm90IGRpZmZlcmVudCBmcm9tIGFueSBm aWxlcyB0aGF0IGFyZSBub3QgY29tcGlsZWQgb3V0IG9uIEFybS4gClNlZSBjb21wYXQsIGtleGVj ICYgY28uIFNvIHdoeSAjaWZkZWYgaXMgYSBjb25jZXJuIGhlcmU/Cgo+IFNlZSBmb3IgZXhhbXBs ZSBBbmRyZXcncyByZXF1ZXN0IGFuZCBmb2xsb3ctdXAgcGF0Y2ggdG8gbXkgaHdlaWdodCgpCj4g c2VyaWVzLCBjb252ZXJ0aW5nIGZyb20gI2lmZGVmIHRvIGlmKCkuCgoKPj4gU28gSSBzdGlsbCBm YXZvciB1c2luZyAjaWZkZWYgaGVyZS4gSSBjb3VsZCByZXBsYWNlIGJ5IGEgc3BlY2lmaWMgS2Nv bmZpZyAoc2VlIGEKPj4gcHJldmlvdXMgYXR0ZW1wdCBbMV0pLgo+IAo+IERpZCB5b3UgcGVyaGFw cyBzdXBwbHkgdGhlIHdyb25nIGxpbms/IFRoZXJlJ3Mgbm8gS2NvbmZpZyBvcHRpb24KPiBiZWlu ZyBpbnRyb2R1Y2VkL3N1Z2dlc3RlZCB0aGVyZS4KClRoaXMgd2FzIGEgbGluayB0byBhbiBhdHRl bXB0IHRvIGFkZCBzdXBwb3J0IGZvciBYRU5NRU1fZXhjaGFuZ2Ugb24gQXJtLiAKIEZyb20gdGhl IGRpc2N1c3Npb24gYmFjayB0aGVuIGl0IGlzIHF1aXRlIGNsZWFyIHRoYXQgdGhlIGh5cGVyY2Fs bCBpcyAKdW5saWtlbHkgdG8gYmUgaW1wbGVtZW50ZWQgb24gQXJtLiBTbyBpdCBmZWVscyB0byBt ZSB0aGF0IHRyeWluZyB0byBrZWVwIAp0aGUgY29kZSBhcm91bmQgaXMgbm90IGFuIG9wdGlvbi4K Cj4gCj4+PiBJIGZpbmQgaXQgb2RkIHRoYXQgbm8gc3VjaCBjaGVjayBpcyB0aGVyZSByaWdodCBu b3csIGFzIHRoZSBwdWJsaWMKPj4+IGhlYWRlciBjbGVhcmx5IHNheXMgdGhpcyBpcyBhIFBWLW9u bHkgaW50ZXJmYWNlLgo+Pj4KPj4+IE5vdGUgdGhhdCB3aXRoIGEgcGFnaW5nX21vZGVfdHJhbnNs YXRlKCkgY2hlY2sgYXQgdGhlIHRvcCBvZgo+Pj4gdGhlIGZ1bmN0aW9uIChvciBldmVuIGF0IGl0 cyBvbmx5IGNhbGwgc2l0ZSkgdGhlIG9uZSB0b3dhcmRzIHRoZQo+Pj4gZW5kIG9mIHRoZSBmdW5j dGlvbiBzaG91bGQgdGhlbiBiZSBkaXRjaGVkLgo+Pgo+PiBTZWUgYWJvdmUgbXkgb3BpbmlvbiBv biBwYWdpbmdfbW9kZV90cmFuc2xhdGUoKS4KPiAKPiBBcyBzYWlkIC0gYXMgcGVyIHRoZSBwdWJs aWMgaGVhZGVyIHN1Y2ggYSBjaGVjayBzaG91bGQgYmUgYWRkZWQKPiBfYW55d2F5Xy4gVGhlICNp ZmRlZiwgaWYgd2UgZGVjaWRlIHRvIGdvIHRoYXQgcm91dGUsIGltbyBzaG91bGQKPiB0aGVuIGxp dmUgX2FmdGVyXyB0aGF0IGNoZWNrLCB3aXRoIEFTU0VSVF9VTlJFQUNIQUJMRSgpIGluIGl0cyAj ZWxzZS4KClRoYXQncyBhbiBvcHRpb24uCgpDaGVlcnMsCgotLSAKSnVsaWVuIEdyYWxsCgpfX19f X19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fXwpYZW4tZGV2ZWwgbWFp bGluZyBsaXN0Clhlbi1kZXZlbEBsaXN0cy54ZW5wcm9qZWN0Lm9yZwpodHRwczovL2xpc3RzLnhl bnByb2plY3Qub3JnL21haWxtYW4vbGlzdGluZm8veGVuLWRldmVs