From mboxrd@z Thu Jan 1 00:00:00 1970 From: George Dunlap Subject: Re: [PATCH 03/14] xen/x86: Make mfn_to_gfn typesafe Date: Tue, 28 May 2019 18:29:22 +0100 Message-ID: References: <20190507151458.29350-1-julien.grall@arm.com> <20190507151458.29350-4-julien.grall@arm.com> <5CD5620E020000780022D7CF@prv1-mh.provo.novell.com> <4cef7816-74da-b6e6-6f7d-e327edb083da@arm.com> <5CD57B78020000780022D888@prv1-mh.provo.novell.com> <423c2750-ca33-501f-cdc2-988bb58038b6@arm.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] helo=us1-amaz-eas2.inumbo.com) by lists.xenproject.org with esmtp (Exim 4.89) (envelope-from ) id 1hVfuk-0005uw-J2 for xen-devel@lists.xenproject.org; Tue, 28 May 2019 17:29:30 +0000 In-Reply-To: <423c2750-ca33-501f-cdc2-988bb58038b6@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 , Jan Beulich , George Dunlap Cc: Andrew Cooper , Tim Deegan , Wei Liu , xen-devel , Roger Pau Monne List-Id: xen-devel@lists.xenproject.org T24gNS8yMC8xOSA0OjEzIFBNLCBKdWxpZW4gR3JhbGwgd3JvdGU6Cj4gSGksCj4gCj4gT24gMTAv MDUvMjAxOSAxNDoyNSwgSnVsaWVuIEdyYWxsIHdyb3RlOgo+Pgo+Pgo+PiBPbiAxMC8wNS8yMDE5 IDE0OjI0LCBKYW4gQmV1bGljaCB3cm90ZToKPj4+Pj4+IE9uIDEwLjA1LjE5IGF0IDE1OjAyLCA8 anVsaWVuLmdyYWxsQGFybS5jb20+IHdyb3RlOgo+Pj4KPj4+Pgo+Pj4+IE9uIDEwLzA1LzIwMTkg MTI6MzUsIEphbiBCZXVsaWNoIHdyb3RlOgo+Pj4+Pj4+PiBPbiAwNy4wNS4xOSBhdCAxNzoxNCwg PGp1bGllbi5ncmFsbEBhcm0uY29tPiB3cm90ZToKPj4+Pj4+IC0tLSBhL3hlbi9hcmNoL3g4Ni9t bS9zaGFkb3cvY29tbW9uLmMKPj4+Pj4+ICsrKyBiL3hlbi9hcmNoL3g4Ni9tbS9zaGFkb3cvY29t bW9uLmMKPj4+Pj4+IEBAIC00NzQsNyArNDc0LDggQEAgc3RhdGljIGlubGluZSB2b2lkIHRyYWNl X3Jlc3luYyhpbnQgZXZlbnQsCj4+Pj4+PiBtZm5fdCBnbWZuKQo+Pj4+Pj4gwqDCoMKgwqDCoMKg IGlmICggdGJfaW5pdF9kb25lICkKPj4+Pj4+IMKgwqDCoMKgwqDCoCB7Cj4+Pj4+PiDCoMKgwqDC oMKgwqDCoMKgwqDCoCAvKiBDb252ZXJ0IGdtZm4gdG8gZ2ZuICovCj4+Pj4+PiAtwqDCoMKgwqDC oMKgwqAgdW5zaWduZWQgbG9uZyBnZm4gPSBtZm5fdG9fZ2ZuKGN1cnJlbnQtPmRvbWFpbiwgZ21m bik7Cj4+Pj4+PiArwqDCoMKgwqDCoMKgwqAgdW5zaWduZWQgbG9uZyBnZm4gPSBnZm5feChtZm5f dG9fZ2ZuKGN1cnJlbnQtPmRvbWFpbiwKPj4+Pj4+IGdtZm4pKTsKPj4+Pj4+ICsKPj4+Pj4+IMKg wqDCoMKgwqDCoMKgwqDCoMKgIF9fdHJhY2VfdmFyKGV2ZW50LCAwLyohdHNjKi8sIHNpemVvZihn Zm4pLCAmZ2ZuKTsKPj4+Pj4+IMKgwqDCoMKgwqDCoCB9Cj4+Pj4+Cj4+Pj4+IENhbid0IHlvdSB1 c2UgZ2ZuX3QgaGVyZSwgYW5kIGhlbmNlIGF2b2lkIHRoZSBnZm5feCgpPyBTYW1lIGFnYWluCj4+ Pj4+IGZ1cnRoZXIKPj4+Pj4gZG93bi4KPj4+PiBCZWNhdXNlIF9fdHJhY2VfdmFyIHdpbGwgZXhw b3J0IHRoZSB2YWx1ZSB0byB0aGUgZ3Vlc3QuIEkgd2Fzbid0IHN1cmUKPj4+PiB3aGV0aGVyIHdl Cj4+Pj4gY2FuIHNhZmVseSBjb25zaWRlciB0aGF0IGdmbl90IGlzIGV4YWN0bHkgdGhlIHNhbWUg YXMgdW5zaWduZWQgbG9uZyBpbgo+Pj4+IGRlYnVnLWJ1aWxkLgo+Pj4KPj4+IEhtbSwgd2VsbCAt IHNlZSB0aGUgZGVmaW5pdGlvbiBvZiBnZm5fdC4gR2VvcmdlLCB3aGF0IGRvIHlvdSB0aGluaz8K Pj4KPj4gSSBrbm93IHdoYXQncyB0aGUgY3VycmVudCBkZWZpbml0aW9uLiBNeSBwb2ludCBpcyB3 ZSBuZXZlciBtYWRlIHRoYXQKPj4gYXNzdW1wdGlvbiBiZWZvcmUuIEluIGFsbCBob25lc3R5LCBz dXJlIGFzc3VtcHRpb24gd291bGQgZGVmaW5pdGVseQo+PiBoZWxwIGluIGEgZmV3IHBsYWNlcywg YnV0IEkgdGhpbmsgd2Ugb3VnaHQgdG8gc2FmZWd1YXJkIHdpdGgKPj4gQlVJTERfQlVHKC4uLiku Cj4gCj4gR2VvcmdlLCBkbyB5b3UgaGF2ZSBhbnkgb3BpbmlvbnM/CgpTb3JyeSwgbm90IHN1cmUg aG93IEkgbWlzc2VkIHRoaXMgcXVlc3Rpb24gZWFybGllci4KClRoZSBfX3RyYWNlX3ZhcigpIGNh bGwgaGVyZSBpcyBkZXNpZ25lZCB0byBiZSBnZW5lcmljOiB3aGF0ZXZlciB0eXBlIG9yCnNpemUg Z2ZuIGlzLCBpdCB3aWxsIGNvcHkgdGhlIHdob2xlIHRoaW5nLiAgVHJhY2luZyBpcyBleHBsaWNp dGx5IG5vdAptZWFudCB0byBiZSBhIHN0YWJsZSBpbnRlcmZhY2UgLS0gdGhlIHRvb2xzdGFjayBu ZWVkcyB0byB0cmFjayB0aGUKaHlwZXJ2aXNvciBpbiB0ZXJtcyBvZiB3aGF0IGl0J3MgZ29pbmcg dG8ga2ljayBvdXQuCgpTbywgaGF2aW5nIGdmbiBiZSBhIGdmbl90IGluIHRoaXMgY2FzZSBzaG91 bGQgYmUgZmluZTsgaW4gZmFjdCBpdCBzaG91bGQKYmUgX2JldHRlcl8gdGhhbiB1bnNpZ25lZCBs b25nLCBzaW5jZSBpZiBnZm5fdCBldmVyIGRvZXMgY2hhbmdlIHNpemUsCnRoZSB0cmFjZSByZWNv cmQgd2lsbCBjaGFuZ2Ugc2l6ZSBhcHByb3ByaWF0ZWx5LiAgSWYgdGhhdCBoYXBwZW5zLAp4ZW5h bHl6ZSB3aWxsIG5lZWQgdG8gYmUgbW9kaWZpZWQgdG8gdW5kZXJzdGFuZCBob3cgdG8gZGVhbCB3 aXRoIHRoZSBuZXcKc2l6ZSwgYnV0IHRoYXQncyBleHBlY3RlZC4KCkFsbCB0aGF0IHRvIHNheTog aXQgbG9va3MgbGlrZSBKYW4ncyBzdWdnZXN0aW9uIG9mIGhhdmluZyBnZm5fdCBoZXJlCndvdWxk IGJlIGJldHRlci4KCiAtR2VvcmdlCgpfX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19f X19fX19fX19fX19fXwpYZW4tZGV2ZWwgbWFpbGluZyBsaXN0Clhlbi1kZXZlbEBsaXN0cy54ZW5w cm9qZWN0Lm9yZwpodHRwczovL2xpc3RzLnhlbnByb2plY3Qub3JnL21haWxtYW4vbGlzdGluZm8v eGVuLWRldmVs 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=-1.0 required=3.0 tests=HEADER_FROM_DIFFERENT_DOMAINS, MAILING_LIST_MULTI,SPF_HELO_NONE,SPF_PASS,URIBL_BLOCKED autolearn=ham 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 717CAC04AB6 for ; Tue, 28 May 2019 17:30:01 +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 41F48216FD for ; Tue, 28 May 2019 17:30:01 +0000 (UTC) DMARC-Filter: OpenDMARC Filter v1.3.2 mail.kernel.org 41F48216FD Authentication-Results: mail.kernel.org; dmarc=none (p=none dis=none) header.from=citrix.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 1hVful-0005v1-Gm; Tue, 28 May 2019 17:29:31 +0000 Received: from all-amaz-eas1.inumbo.com ([34.197.232.57] helo=us1-amaz-eas2.inumbo.com) by lists.xenproject.org with esmtp (Exim 4.89) (envelope-from ) id 1hVfuk-0005uw-J2 for xen-devel@lists.xenproject.org; Tue, 28 May 2019 17:29:30 +0000 X-Inumbo-ID: 241144b0-816e-11e9-af04-57c0a9c118a6 Received: from esa4.hc3370-68.iphmx.com (unknown [216.71.155.144]) by us1-amaz-eas2.inumbo.com (Halon) with ESMTPS id 241144b0-816e-11e9-af04-57c0a9c118a6; Tue, 28 May 2019 17:29:26 +0000 (UTC) Authentication-Results: esa4.hc3370-68.iphmx.com; dkim=none (message not signed) header.i=none; spf=None smtp.pra=george.dunlap@citrix.com; spf=Pass smtp.mailfrom=George.Dunlap@citrix.com; spf=None smtp.helo=postmaster@MIAPEX02MSOL01.citrite.net Received-SPF: None (esa4.hc3370-68.iphmx.com: no sender authenticity information available from domain of george.dunlap@citrix.com) identity=pra; client-ip=23.29.105.83; receiver=esa4.hc3370-68.iphmx.com; envelope-from="George.Dunlap@citrix.com"; x-sender="george.dunlap@citrix.com"; x-conformance=sidf_compatible Received-SPF: Pass (esa4.hc3370-68.iphmx.com: domain of George.Dunlap@citrix.com designates 23.29.105.83 as permitted sender) identity=mailfrom; client-ip=23.29.105.83; receiver=esa4.hc3370-68.iphmx.com; envelope-from="George.Dunlap@citrix.com"; x-sender="George.Dunlap@citrix.com"; x-conformance=sidf_compatible; x-record-type="v=spf1"; x-record-text="v=spf1 ip4:209.167.231.154 ip4:178.63.86.133 ip4:195.66.111.40/30 ip4:85.115.9.32/28 ip4:199.102.83.4 ip4:192.28.146.160 ip4:192.28.146.107 ip4:216.52.6.88 ip4:216.52.6.188 ip4:23.29.105.83 ip4:162.221.156.50 ~all" Received-SPF: None (esa4.hc3370-68.iphmx.com: no sender authenticity information available from domain of postmaster@MIAPEX02MSOL01.citrite.net) identity=helo; client-ip=23.29.105.83; receiver=esa4.hc3370-68.iphmx.com; envelope-from="George.Dunlap@citrix.com"; x-sender="postmaster@MIAPEX02MSOL01.citrite.net"; x-conformance=sidf_compatible IronPort-SDR: YuAWEbeQzCRPNkBHMOYMOYkuF2EzXbMo9wkubMBukKT0UDrsxjswGAgB3CnwT5n/vlKt2ussgA sSbi24d87P6uW1REbi9AXh9WkeqfLQfL2mFoY4xZXr/D43QwmKHtJvFxWh9kUlYmXzl4sO0oyF jS7UXkycp6BlM+VBRUFe8dbRDN6RTxcElYujhxuM/EQyY11ed6jCDVEgotICLiVu0NM/ng6qt7 Rasb2W6lhnMmsGY4612GCHkNW4g8YOApsi5l7HtABfEkNU7es62S+dI1IUjRPbA0tZERRGIl0s qoA= X-SBRS: 2.7 X-MesageID: 997747 X-Ironport-Server: esa4.hc3370-68.iphmx.com X-Remote-IP: 23.29.105.83 X-Policy: $RELAYED X-IronPort-AV: E=Sophos;i="5.60,523,1549947600"; d="scan'208";a="997747" To: Julien Grall , Jan Beulich , George Dunlap References: <20190507151458.29350-1-julien.grall@arm.com> <20190507151458.29350-4-julien.grall@arm.com> <5CD5620E020000780022D7CF@prv1-mh.provo.novell.com> <4cef7816-74da-b6e6-6f7d-e327edb083da@arm.com> <5CD57B78020000780022D888@prv1-mh.provo.novell.com> <423c2750-ca33-501f-cdc2-988bb58038b6@arm.com> From: George Dunlap Openpgp: preference=signencrypt Autocrypt: addr=george.dunlap@citrix.com; prefer-encrypt=mutual; keydata= mQINBFPqG+MBEACwPYTQpHepyshcufo0dVmqxDo917iWPslB8lauFxVf4WZtGvQSsKStHJSj 92Qkxp4CH2DwudI8qpVbnWCXsZxodDWac9c3PordLwz5/XL41LevEoM3NWRm5TNgJ3ckPA+J K5OfSK04QtmwSHFP3G/SXDJpGs+oDJgASta2AOl9vPV+t3xG6xyfa2NMGn9wmEvvVMD44Z7R W3RhZPn/NEZ5gaJhIUMgTChGwwWDOX0YPY19vcy5fT4bTIxvoZsLOkLSGoZb/jHIzkAAznug Q7PPeZJ1kXpbW9EHHaUHiCD9C87dMyty0N3TmWfp0VvBCaw32yFtM9jUgB7UVneoZUMUKeHA fgIXhJ7I7JFmw3J0PjGLxCLHf2Q5JOD8jeEXpdxugqF7B/fWYYmyIgwKutiGZeoPhl9c/7RE Bf6f9Qv4AtQoJwtLw6+5pDXsTD5q/GwhPjt7ohF7aQZTMMHhZuS52/izKhDzIufl6uiqUBge 0lqG+/ViLKwCkxHDREuSUTtfjRc9/AoAt2V2HOfgKORSCjFC1eI0+8UMxlfdq2z1AAchinU0 eSkRpX2An3CPEjgGFmu2Je4a/R/Kd6nGU8AFaE8ta0oq5BSFDRYdcKchw4TSxetkG6iUtqOO ZFS7VAdF00eqFJNQpi6IUQryhnrOByw+zSobqlOPUO7XC5fjnwARAQABtCRHZW9yZ2UgVy4g RHVubGFwIDxkdW5sYXBnQHVtaWNoLmVkdT6JAlcEEwEKAEECGwMFCwkIBwMFFQoJCAsFFgID AQACHgECF4ACGQEWIQTXqBy2bTNXPzpOYFimNjwxBZC0bQUCXEowWQUJDCJ7dgAKCRCmNjwx BZC0beKvEACJ75YlJXd7TnNHgFyiCJkm/qPeoQ3sFGSDZuZh7SKcdt9+3V2bFEb0Mii1hQaz 3hRqZb8sYPHJrGP0ljK09k3wf8k3OuNxziLQBJyzvn7WNlE4wBEcy/Ejo9TVBdA4ph5D0YaZ nqdsPmxe/xlTFuSkgu4ep1v9dfVP1TQR0e+JIBa/Ss+cKC5intKm+8JxpOploAHuzaPu0L/X FapzsIXqgT9eIQeBEgO2hge6h9Jov3WeED/vh8kA7f8c6zQ/gs5E7VGALwsiLrhr0LZFcKcw kI3oCCrB/C/wyPZv789Ra8EXbeRSJmTjcnBwHRPjnjwQmetRDD1t+VyrkC6uujT5jmgOBzaj KCqZ8PcMAssOzdzQtKmjUQ2b3ICPs2X13xZ5M5/OVs1W3TG5gkvMh4YoHi4ilFnOk+v3/j7q 65FG6N0JLb94Ndi80HkIOQQ1XVGTyu6bUPaBg3rWK91Csp1682kD/dNVF3FKHrRLmSVtmEQR 5rK0+VGc/FmR6vd4haKGWIRuPxzg+pBR77avIZpU7C7+UXGuZ5CbHwIdY8LojJg2TuUdqaVj yxmEZLOA8rVHipCGrslRNthVbJrGN/pqtKjCClFZHIAYJQ9EGLHXLG9Pj76opfjHij3MpR3o pCGAh6KsCrfrsvjnpDwqSbngGyEVH030irSk4SwIqZ7FwLkBDQRUWmc6AQgAzpc8Ng5Opbrh iZrn69Xr3js28p+b4a+0BOvC48NfrNovZw4eFeKIzmI/t6EkJkSqBIxobWRpBkwGweENsqnd 0qigmsDw4N7J9Xx0h9ARDqiWxX4jr7u9xauI+CRJ1rBNO3VV30QdACwQ4LqhR/WA+IjdhyMH wj3EJGE61NdP/h0zfaLYAbvEg47/TPThFsm4m8Rd6bX7RkrrOgBbL/AOnYOMEivyfZZKX1vv iEemAvLfdk2lZt7Vm6X/fbKbV8tPUuZELzNedJvTTBS3/l1FVz9OUcLDeWhGEdlxqXH0sYWh E9+PXTAfz5JxKH+LMetwEM8DbuOoDIpmIGZKrZ+2fQARAQABiQNbBBgBCgAmAhsCFiEE16gc tm0zVz86TmBYpjY8MQWQtG0FAlxKMJ4FCQnQ/OQBKcBdIAQZAQoABgUCVFpnOgAKCRCyFcen x4Qb7cXrCAC0qQeEWmLa9oEAPa+5U6wvG1t/mi22gZN6uzQXH1faIOoDehr7PPESE6tuR/vI CTTnaSrd4UDPNeqOqVF07YexWD1LDcQG6PnRqC5DIX1RGE3BaSaMl2pFJP8y+chews11yP8G DBbxaIsTcHZI1iVIC9XLhoeegWi84vYc8F4ziADVfowbmbvcVw11gE8tmALCwTeBeZVteXjh 0OELHwrc1/4j4yvENjIXRO+QLIgk43kB57Upr4tP2MEcs0odgPM+Q+oETOJ00xzLgkTnLPim C1FIW2bOZdTj+Uq6ezRS2LKsNmW+PRRvNyA5ojEbA/faxmAjMZtLdSSSeFK8y4SoCRCmNjwx BZC0bevWEACRu+GyQgrdGmorUptniIeO1jQlpTiP5WpVnk9Oe8SiLoXUhXXNj6EtzyLGpYmf kEAbki+S6WAKnzZd3shL58AuMyDxtFNNjNeKJOcl6FL7JPBIIgIp3wR401Ep+/s5pl3Nw8Ii 157f0T7o8CPb54w6S1WsMkU78WzTxIs/1lLblSMcvyz1Jq64g4OqiWI85JfkzPLlloVf1rzy ebIBLrrmjhCE2tL1RONpE/KRVb+Q+PIs5+YcZ+Q1e0vXWA7NhTWFbWx3+N6WW6gaGpbFbopo FkYRpj+2TA5cX5zW148/xU5/ATEb5vdUkFLUFVy5YNUSyeBHuaf6fGmBrDc47rQjAOt1rmyD 56MUBHpLUbvA6NkPezb7T6bQpupyzGRkMUmSwHiLyQNJQhVe+9NiJJvtEE3jol0JVJoQ9WVn FAzPNCgHQyvbsIF3gYkCYKI0w8EhEoH5FHYLoKS6Jg880IY5rXzoAEfPvLXegy6mhYl+mNVN QUBD4h9XtOvcdzR559lZuC0Ksy7Xqw3BMolmKsRO3gWKhXSna3zKl4UuheyZtubVWoNWP/bn vbyiYnLwuiKDfNAinEWERC8nPKlv3PkZw5d3t46F1Dx0TMf16NmP+azsRpnMZyzpY8BL2eur feSGAOB9qjZNyzbo5nEKHldKWCKE7Ye0EPEjECS1gjKDwbkBDQRUWrq9AQgA7aJ0i1pQSmUR 6ZXZD2YEDxia2ByR0uZoTS7N0NYv1OjU8v6p017u0Fco5+Qoju/fZ97ScHhp5xGVAk5kxZBF DT4ovJd0nIeSr3bbWwfNzGx1waztfdzXt6n3MBKr7AhioB1m+vuk31redUdnhbtvN7O40MC+ fgSk5/+jRGxY3IOVPooQKzUO7M51GoOg4wl9ia3H2EzOoGhN2vpTbT8qCcL92ZZZwkBRldoA Wn7c1hEKSTuT3f1VpSmhjnX0J4uvKZ1V2R7rooKJYFBcySC0wa8aTmAtAvLgfcpe+legOtgq DKzLuN45xzEjyjCiI521t8zxNMPJY9FiCPNv0sCkDwARAQABiQI8BBgBCgAmAhsMFiEE16gc tm0zVz86TmBYpjY8MQWQtG0FAlxKNJYFCQnQrVkACgkQpjY8MQWQtG2Xxg//RrRP+PFYuNXt 9C5hec/JoY24TkGPPd2tMC9usWZVImIk7VlHlAeqHeE0lWU0LRGIvOBITbS9izw6fOVQBvCA Fni56S12fKLusWgWhgu03toT9ZGxZ9W22yfw5uThSHQ4y09wRWAIYvhJsKnPGGC2KDxFvtz5 4pYYNe8Icy4bwsxcgbaSFaRh+mYtts6wE9VzyJvyfTqbe8VrvE+3InG5rrlNn51AO6M4Wv20 iFEgYanJXfhicl0WCQrHyTLfdB5p1w+072CL8uryHQVfD0FcDe+J/wl3bmYze+aD1SlPzFoI MaSIXKejC6oh6DAT4rvU8kMAbX90T834Mvbc3jplaWorNJEwjAH/r+v877AI9Vsmptis+rni JwUissjRbcdlkKBisoUZRPmxQeUifxUpqgulZcYwbEC/a49+WvbaYUriaDLHzg9xisijHwD2 yWV8igBeg+cmwnk0mPz8tIVvwi4lICAgXob7HZiaqKnwaDXs4LiS4vdG5s/ElnE3rIc87yru 24n3ypeDZ6f5LkdqL1UNp5/0Aqbr3EiN7/ina4YVyscy9754l944kyHnnMRLVykg0v+kakj0 h0RJ5LbfLAMM8M52KIA3y14g0Fb7kHLcOUMVcgfQ3PrN6chtC+5l6ouDIlSLR3toxH8Aam7E rIFfe2Dk+lD9A9BVd2rfoHA= Message-ID: Date: Tue, 28 May 2019 18:29:22 +0100 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:60.0) Gecko/20100101 Thunderbird/60.6.1 MIME-Version: 1.0 In-Reply-To: <423c2750-ca33-501f-cdc2-988bb58038b6@arm.com> Content-Language: en-US Subject: Re: [Xen-devel] [PATCH 03/14] xen/x86: Make mfn_to_gfn typesafe 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: Andrew Cooper , Tim Deegan , Wei Liu , xen-devel , Roger Pau Monne Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: base64 Errors-To: xen-devel-bounces@lists.xenproject.org Sender: "Xen-devel" Message-ID: <20190528172922.DtDVF02Up7GOddX4CfAM-7IRHDSXWArUl2wKYXyu_oM@z> T24gNS8yMC8xOSA0OjEzIFBNLCBKdWxpZW4gR3JhbGwgd3JvdGU6Cj4gSGksCj4gCj4gT24gMTAv MDUvMjAxOSAxNDoyNSwgSnVsaWVuIEdyYWxsIHdyb3RlOgo+Pgo+Pgo+PiBPbiAxMC8wNS8yMDE5 IDE0OjI0LCBKYW4gQmV1bGljaCB3cm90ZToKPj4+Pj4+IE9uIDEwLjA1LjE5IGF0IDE1OjAyLCA8 anVsaWVuLmdyYWxsQGFybS5jb20+IHdyb3RlOgo+Pj4KPj4+Pgo+Pj4+IE9uIDEwLzA1LzIwMTkg MTI6MzUsIEphbiBCZXVsaWNoIHdyb3RlOgo+Pj4+Pj4+PiBPbiAwNy4wNS4xOSBhdCAxNzoxNCwg PGp1bGllbi5ncmFsbEBhcm0uY29tPiB3cm90ZToKPj4+Pj4+IC0tLSBhL3hlbi9hcmNoL3g4Ni9t bS9zaGFkb3cvY29tbW9uLmMKPj4+Pj4+ICsrKyBiL3hlbi9hcmNoL3g4Ni9tbS9zaGFkb3cvY29t bW9uLmMKPj4+Pj4+IEBAIC00NzQsNyArNDc0LDggQEAgc3RhdGljIGlubGluZSB2b2lkIHRyYWNl X3Jlc3luYyhpbnQgZXZlbnQsCj4+Pj4+PiBtZm5fdCBnbWZuKQo+Pj4+Pj4gwqDCoMKgwqDCoMKg IGlmICggdGJfaW5pdF9kb25lICkKPj4+Pj4+IMKgwqDCoMKgwqDCoCB7Cj4+Pj4+PiDCoMKgwqDC oMKgwqDCoMKgwqDCoCAvKiBDb252ZXJ0IGdtZm4gdG8gZ2ZuICovCj4+Pj4+PiAtwqDCoMKgwqDC oMKgwqAgdW5zaWduZWQgbG9uZyBnZm4gPSBtZm5fdG9fZ2ZuKGN1cnJlbnQtPmRvbWFpbiwgZ21m bik7Cj4+Pj4+PiArwqDCoMKgwqDCoMKgwqAgdW5zaWduZWQgbG9uZyBnZm4gPSBnZm5feChtZm5f dG9fZ2ZuKGN1cnJlbnQtPmRvbWFpbiwKPj4+Pj4+IGdtZm4pKTsKPj4+Pj4+ICsKPj4+Pj4+IMKg wqDCoMKgwqDCoMKgwqDCoMKgIF9fdHJhY2VfdmFyKGV2ZW50LCAwLyohdHNjKi8sIHNpemVvZihn Zm4pLCAmZ2ZuKTsKPj4+Pj4+IMKgwqDCoMKgwqDCoCB9Cj4+Pj4+Cj4+Pj4+IENhbid0IHlvdSB1 c2UgZ2ZuX3QgaGVyZSwgYW5kIGhlbmNlIGF2b2lkIHRoZSBnZm5feCgpPyBTYW1lIGFnYWluCj4+ Pj4+IGZ1cnRoZXIKPj4+Pj4gZG93bi4KPj4+PiBCZWNhdXNlIF9fdHJhY2VfdmFyIHdpbGwgZXhw b3J0IHRoZSB2YWx1ZSB0byB0aGUgZ3Vlc3QuIEkgd2Fzbid0IHN1cmUKPj4+PiB3aGV0aGVyIHdl Cj4+Pj4gY2FuIHNhZmVseSBjb25zaWRlciB0aGF0IGdmbl90IGlzIGV4YWN0bHkgdGhlIHNhbWUg YXMgdW5zaWduZWQgbG9uZyBpbgo+Pj4+IGRlYnVnLWJ1aWxkLgo+Pj4KPj4+IEhtbSwgd2VsbCAt IHNlZSB0aGUgZGVmaW5pdGlvbiBvZiBnZm5fdC4gR2VvcmdlLCB3aGF0IGRvIHlvdSB0aGluaz8K Pj4KPj4gSSBrbm93IHdoYXQncyB0aGUgY3VycmVudCBkZWZpbml0aW9uLiBNeSBwb2ludCBpcyB3 ZSBuZXZlciBtYWRlIHRoYXQKPj4gYXNzdW1wdGlvbiBiZWZvcmUuIEluIGFsbCBob25lc3R5LCBz dXJlIGFzc3VtcHRpb24gd291bGQgZGVmaW5pdGVseQo+PiBoZWxwIGluIGEgZmV3IHBsYWNlcywg YnV0IEkgdGhpbmsgd2Ugb3VnaHQgdG8gc2FmZWd1YXJkIHdpdGgKPj4gQlVJTERfQlVHKC4uLiku Cj4gCj4gR2VvcmdlLCBkbyB5b3UgaGF2ZSBhbnkgb3BpbmlvbnM/CgpTb3JyeSwgbm90IHN1cmUg aG93IEkgbWlzc2VkIHRoaXMgcXVlc3Rpb24gZWFybGllci4KClRoZSBfX3RyYWNlX3ZhcigpIGNh bGwgaGVyZSBpcyBkZXNpZ25lZCB0byBiZSBnZW5lcmljOiB3aGF0ZXZlciB0eXBlIG9yCnNpemUg Z2ZuIGlzLCBpdCB3aWxsIGNvcHkgdGhlIHdob2xlIHRoaW5nLiAgVHJhY2luZyBpcyBleHBsaWNp dGx5IG5vdAptZWFudCB0byBiZSBhIHN0YWJsZSBpbnRlcmZhY2UgLS0gdGhlIHRvb2xzdGFjayBu ZWVkcyB0byB0cmFjayB0aGUKaHlwZXJ2aXNvciBpbiB0ZXJtcyBvZiB3aGF0IGl0J3MgZ29pbmcg dG8ga2ljayBvdXQuCgpTbywgaGF2aW5nIGdmbiBiZSBhIGdmbl90IGluIHRoaXMgY2FzZSBzaG91 bGQgYmUgZmluZTsgaW4gZmFjdCBpdCBzaG91bGQKYmUgX2JldHRlcl8gdGhhbiB1bnNpZ25lZCBs b25nLCBzaW5jZSBpZiBnZm5fdCBldmVyIGRvZXMgY2hhbmdlIHNpemUsCnRoZSB0cmFjZSByZWNv cmQgd2lsbCBjaGFuZ2Ugc2l6ZSBhcHByb3ByaWF0ZWx5LiAgSWYgdGhhdCBoYXBwZW5zLAp4ZW5h bHl6ZSB3aWxsIG5lZWQgdG8gYmUgbW9kaWZpZWQgdG8gdW5kZXJzdGFuZCBob3cgdG8gZGVhbCB3 aXRoIHRoZSBuZXcKc2l6ZSwgYnV0IHRoYXQncyBleHBlY3RlZC4KCkFsbCB0aGF0IHRvIHNheTog aXQgbG9va3MgbGlrZSBKYW4ncyBzdWdnZXN0aW9uIG9mIGhhdmluZyBnZm5fdCBoZXJlCndvdWxk IGJlIGJldHRlci4KCiAtR2VvcmdlCgpfX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19f X19fX19fX19fX19fXwpYZW4tZGV2ZWwgbWFpbGluZyBsaXN0Clhlbi1kZXZlbEBsaXN0cy54ZW5w cm9qZWN0Lm9yZwpodHRwczovL2xpc3RzLnhlbnByb2plY3Qub3JnL21haWxtYW4vbGlzdGluZm8v eGVuLWRldmVs