From mboxrd@z Thu Jan 1 00:00:00 1970 From: Julien Grall Subject: Re: [PATCH v3 for-next 0/4] xen: Convert __page_to_mfn and _mfn_to_page to use typesafe MFN Date: Thu, 9 Nov 2017 15:20:41 +0000 Message-ID: References: <20171101140316.31333-1-julien.grall@linaro.org> <5A005786020000780018C824@prv-mh.provo.novell.com> <5A005F70020000780018C8A0@prv-mh.provo.novell.com> <249a2e70-a445-6d50-77f5-5c0996f00026@linaro.org> <5A006739020000780018C8F1@prv-mh.provo.novell.com> Mime-Version: 1.0 Content-Type: text/plain; charset="utf-8"; Format="flowed" Content-Transfer-Encoding: base64 Return-path: In-Reply-To: <5A006739020000780018C8F1@prv-mh.provo.novell.com> Content-Language: en-US List-Unsubscribe: , List-Post: List-Help: List-Subscribe: , Errors-To: xen-devel-bounces@lists.xen.org Sender: "Xen-devel" To: Jan Beulich Cc: Tim Deegan , Kevin Tian , Stefano Stabellini , Wei Liu , Jun Nakajima , Razvan Cojocaru , Konrad Rzeszutek Wilk , George Dunlap , Andrew Cooper , Ian Jackson , xen-devel@lists.xen.org, Julien Grall , Paul Durrant , Tamas K Lengyel , Suravee Suthikulpanit , Shane Wang , Boris Ostrovsky , Gang Wei List-Id: xen-devel@lists.xenproject.org SGkgSmFuLAoKT24gMDYvMTEvMTcgMTI6NDQsIEphbiBCZXVsaWNoIHdyb3RlOgo+Pj4+IE9uIDA2 LjExLjE3IGF0IDEzOjE2LCA8anVsaWVuLmdyYWxsQGxpbmFyby5vcmc+IHdyb3RlOgo+IAo+Pgo+ PiBPbiAwNi8xMS8xNyAxMjoxMSwgSmFuIEJldWxpY2ggd3JvdGU6Cj4+Pj4+PiBPbiAwNi4xMS4x NyBhdCAxMjo0NywgPGp1bGllbi5ncmFsbEBsaW5hcm8ub3JnPiB3cm90ZToKPj4+PiBIaSBKYW4s Cj4+Pj4KPj4+PiBPbiAwNi8xMS8xNyAxMTozNywgSmFuIEJldWxpY2ggd3JvdGU6Cj4+Pj4+Pj4+ IE9uIDAxLjExLjE3IGF0IDE1OjAzLCA8anVsaWVuLmdyYWxsQGxpbmFyby5vcmc+IHdyb3RlOgo+ Pj4+Pj4gTW9zdCBvZiB0aGUgdXNlcnMgb2YgcGFnZV90b19tZm4gYW5kIG1mbl90b19wYWdlIGFy ZSBlaXRoZXIgb3ZlcnJpZGluZwo+Pj4+Pj4gdGhlIG1hY3JvcyB0byBtYWtlIHRoZW0gd29yayB3 aXRoIG1mbl90IG9yIHVzZSBtZm5feC9fbWZuIGJlY2F1ZSB0aGUgcmVzdAo+Pj4+Pj4gb2YgdGhl IGZ1bmN0aW9uIHVzZSBtZm5fdC4KPj4+Pj4+Cj4+Pj4+PiBTbyBJIHRoaW5rIGl0IGlzIHRpbWUg dG8gbWFrZSBfX3BhZ2VfdG9fbWZuIGFuZCBfX21mbl90b19wYWdlIHVzaW5nIHR5cGVzYWZlCj4+ Pj4+PiBNRk4uCj4+Pj4+Cj4+Pj4+IEkgaGF2ZSB0byBhZG1pdCB0aGF0IEkgc3RpbGwgZmluZCB0 aGUgb3ZlcmFsbCBnb2FsIGNvbmZ1c2luZzogQWZhaWN0Cj4+Pj4+IHRoZSBkb3VibGUtdW5kZXJz Y29yZS1wcmVmaXhlZCB2ZXJzaW9ucyBleGlzdCBvbmx5IHRvIGFsbG93Cj4+Pj4+IGVhc2lseSBv dmVycmlkaW5nIHRoZSBub24tcHJlZml4ZWQgb25lcy4gSGVuY2UgdGhlIGZpcnN0IGFuZAo+Pj4+ PiBmb3JlbW9zdCBnb2FsIG91Z2h0IHRvIGJlIHRvIGNvbnZlcnQgZXZlcnlvbmUgdG8gdXNpbmcg dGhlCj4+Pj4+IG5vbi1wcmVmaXhlZCB2ZXJzaW9ucy4gRmlsZXMgd2FudGluZyB0byBhdm9pZCB0 aGUgdHlwZWQgZm9ybXMKPj4+Pj4gY291bGQgdGhlbiBjb250aW51ZSB0byB1c2UgLyBiZSBzd2l0 Y2hlZCB0byB0aGUgcHJlZml4ZWQgb25lcy4KPj4+Pj4KPj4+Pj4gV2hhdCB5b3UncmUgZG9pbmcg aGVyZSBpcyBwcm9kdWNpbmcgYSBtZXNzOiBUaGUgcHJlZml4ZWQKPj4+Pj4gdmVyc2lvbnMgc2hv dWxkIG5ldmVyIGhhdmUgYmVlbiB0b3VjaGVkIGluIHRoZSBmaXJzdCBwbGFjZS4KPj4+Pj4gQW5k IGlpcmMgdGhpcyB3YXMgZGlzY3Vzc2VkIGJlZm9yZSwgd2l0aCB0aGUgc3VnZ2VzdGlvbiB0byB1 c2UKPj4+Pj4gb3ZlcnJpZGVzIChmb3IgdGhlIG5vbi1wcmVmaXhlZCB2ZXJzaW9ucykgdG8gbGlt aXQgb3ZlcmFsbCBwYXRjaAo+Pj4+PiBzaXplLgo+Pj4+Cj4+Pj4gQXQgdGhlIGVuZCBvZiB0aGUg ZGlzY3Vzc2lvbiBpbiB0aGUgcHJldmlvdXMgdmVyc2lvbiwgeW91IHdlcmUgaGFwcHkKPj4+PiB3 aXRoIHRoZSBtb2RpZmljYXRpb24gZG9uZSBoZXJlIChzZWUgWzFdKS4KPj4+Cj4+PiAgIEZyb20g dGhlIGFuZ2xlIGxvb2tlZCBhdCBpdCBiYWNrIHRoZW4gSSBpbmRlZWQgd2FzLCBidXQgSSdtIGxv b2tpbmcKPj4+IGF0IHRoaXMgZnJvbSBhIHNsaWdodGx5IGRpZmZlcmVudCBhbmdsZSBub3cgd2l0 aCB0aGUgcmVwbHkgYWJvdmUuCj4+Pgo+Pj4+IE92ZXJhbGwsIEkgdGhpbmsgdGhpcyBpcyBhbiBp bXByb3ZlbWVudCBjb21wYXJlIHRvIHdoYXQgd2UgaGF2ZSB0b2RheS4KPj4+PiBCZWNhdXNlIHdl IGVuZm9yY2UgdGhlIHVzZSBvZiBNRk4gdHlwZXNhZmUgYnkgZGVmYXVsdC4gVGhlIGRldmVsb3Bl cgo+Pj4+IHdvdWxkIGhhdmUgdG8gb3ZlcnJpZGUgdGhlIGhlbHBlcnMgaWYgaGUgd2FudHMgdG8g dG8gdXNlIHRoZQo+Pj4+IG5vbi10eXBlc2FmZSB2ZXJzaW9uLgo+Pj4+Cj4+Pj4gV2l0aCB5b3Vy IHN1Z2dlc3Rpb24gaGVyZSwgeW91IHdvdWxkIGp1c3Qga2VlcCB0aGUgb3ZlcnJpZGUgYXJvdW5k IGV2ZW4KPj4+PiB3aGVuIHRoZXkgYXJlIG5vdCBuZWNlc3NhcnkuIFRoZXkgd2lsbCBoYXZlIHRv IGJlIGRyb3BwZWQgYXQgc29tZSBwb2ludCwKPj4+PiBzbyB3aHkgbm90IG5vdz8KPj4+Cj4+PiBX aHkgd291bGQgd2Uga2VlcCB0aGUgb3ZlcnJpZGVzIGluIHBsYWNlIG9uY2Ugbm8gbG9uZ2VyIG5l ZWRlZD8KPj4+IEFsbCBJJ20gYXNraW5nIGZvciBpcyB0aGF0IHRoZSBkb3VibGUtdW5kZXJzY29y ZSBwcmVmaXhlZCBtYWNyb3MgYmUKPj4+IGxlZnQgYWxvbmUsIGFuZCB0aGUgbm9uLXByZWZpeGVk IHZlcnNpb25zIGJlIGNvbnZlcnRlZCB0byBiZQo+Pj4gdHlwZS1zYWZlIGJ5IGRlZmF1bHQgKHdp dGggdGhlIG9wdGlvbiB0byBvdmVycmlkZSkuIFRoYXQnbGwgYWxsb3cgdGhlCj4+PiBwcmVmaXhl ZCB2YXJpYW50cyB0byBnbyB3YXkgYWx0b2dldGhlciBvbmNlIGFsbCBjb2RlIHdhcyBzd2l0Y2hl ZAo+Pj4gdG8gdHlwZXNhZmUsIG5vIGxvbmdlciByZXF1aXJpbmcgYW55IG92ZXJyaWRlcy4KPj4K Pj4gSWYgeW91IGxlZnQgdGhlIGRvdWJsZS11bmRlcnNjb3JlIGFsb25lLCB0aGVuIHlvdSBjYW4n dCBjb252ZXJ0IGhlYWRlcnMKPj4gdXNpbmcgdGhlbSB0byB0eXBlc2FmZS4gVGhpcyBpcyBiZWNh dXNlIHRoZXkgY2FuJ3QgdXNlIHRoZSBub24tcHJlZml4ZWQKPj4gdmVyc2lvbiBhcyB0aGV5IG1h eSBiZSBvdmVycmlkZS4KPj4KPj4gU28gd2hhdCB5b3UgYXJlIHN1Z2dlc3RpbmcgaGVyZSBpcyB3 aWxsIGF2b2lkIGNvbnZlcnRpbmcgdGhvc2UgaGVhZGVycwo+PiB1bnRpbCBzb21lb25lIHN0ZXAg dXAgYW5kIGZpbmlzaCB0byBjb252ZXJ0IGFsbCB0aGUgc291cmNlIHRvIE1GTgo+PiB0eXBlc2Fm ZS4gUGVyc29uYWxseSwgSSBmaW5kIHF1aXRlIHNpbGx5IHRvIGhhdmUgdG8gZGVsYXkgdGhhdC4u Lgo+IAo+IEhtbSwgSSBzZWUgeW91ciBwb2ludCwgYnV0IGlmIHdlIHdlbnQgdGhlIHJvdXRlIHlv dSBzdWdnZXN0LAo+IHdoYXQgd291bGQgYmUgdGhlIHN0ZXBzIHRvIHJlYWNoIHRoZSB1bHRpbWF0 ZSByZXN1bHQgSSd2ZQo+IGRlc2NyaWJlZCAodGhlIHByZWZpeGVkIHZhcmlhbnRzIGdvbmUpPyBJ IHNlZW1zIHRvIG1lIHRoYXQKPiB0aGlzIHdvdWxkIHJlcXVpcmUgdG91Y2hpbmcgYSBsb3Qgb2Yg Y29kZSBhIHNlY29uZCB0aW1lIHRoYXQgaXMKPiBiZWluZyB0b3VjaGVkIG5vdywgb3IgaXMgZ29p bmcgdG8gYmUgdG91Y2hlZCBhcyBmdXJ0aGVyCj4gY29udmVyc2lvbiBoYXBwZW5zLgoKV2Ugd291 bGQgaW5kZWVkIG5lZWQgdG8gbW9kaWZ5IHRoZSBoZWFkZXJzIHRvIHVzZSAKcGFnZV90b19tZm4v bWZuX3RvX3BhZ2UgaW5zdGVhZCBvZiBfX3BhZ2VfdG9fbWZuL19fbWZuX3RvX3BhZ2UuIFRob3Nl IApoZWFkZXJzIGFyZToKCS0gYXNtLWFybS9tbS5oCgktIHhlbi9kb21haW5fcGFnZS5oCgktIGFz bS14ODYvbW0uaAoJLSBhc20teDg2L3BhZ2UuaAoJLSBhc20teDg2L3AybS5oCgpJIGhhZCBhIGxv b2sgYXQgdGhlIGZpbGVzIHRoYXQgbmVlZHMgdG8gY29udmVydC4gSXQgc2VlbXMgdGhlcmUgYXJl IGZldyAKZmlsZXMgd2l0aCBwYWdlX3RvX21mbi9tZm5fdG9fcGFnZSByZS1kZWZpbmVkIGJ1dCBu byBjYWxsZXJzOgoJLSBhcmNoL3g4Ni9tbS9oYXAvbmVzdGVkX2hhcC5jCgktIGFyY2gveDg2L21t L3AybS1wdC5jCgktIGFyY2gveDg2L3B2L3RyYXBzLmMKCS0gYXJjaC94ODYvcHYvbW0uYwoJLSBh cmNoL3g4Ni9wdi9pcmV0LmMKClRob3NlIGNhbiBiZSBmaXhlZCBub3cuIFRoYXQgbGVhdmUgdGhl IGZvbGxvd2luZyBmaWxlczoKCS0gYXJjaC94ODYvbW0vcDJtLWVwdC5jCgkJSW4gdGhhdCBmaWxl LCB0aGUgb3ZlcnJpZGUgcHJldmVudHMgYWxsIHRoZSBjYWxsZXIgdG8gdXNlIHRoZSAKY29uc3Ry dWN0aW9uIG1mbl90b19wYWdlKF9tZm4oLi4uKSkgYXMgaXQgbW9zdGx5IGRlYWxzIHdpdGggaGFy ZHdhcmUuCgktIGFyY2gveDg2L3g4Nl82NC9tbS5jCgkJVGhpcyBpcyBjb3VsZCBiZSBkb25lIHdp dGhvdXQgdG9vIG11Y2ggdHJvdWJsZS4KCS0gYXJjaC94ODYvcHYvZG9tMF9idWlsZC5jCgkJSXQg d291bGQgbmVlZCBhIGJpdCBvZiByZXdvcmsgdG8gZ2V0IHRoZSBjb2RlIE1GTiB0eXBlc2FmZSBp biBhIG5lYXQgd2F5LgoJLSBkcml2ZXJzL3Bhc3N0aHJvdWdoL2FtZC9pb21tdV9tYXAuYwoJCUl0 IHdvdWxkIG5lZWQgYSBiaXQgb2YgcmV3b3JrIHRvIGdldCB0aGUgY29kZSBNRk4gdHlwZXNhZmUg aW4gYSBuZWF0IHdheS4KCS0gY29tbW9uL3RyYWNlLmMKCQlJIHRoaW5rIGl0IHNob3VsZCBiZSBv ay4gVGhvdWdoIEkgYW0gYml0IHN1cnByaXNlZCB0byBzZWUgdWludDMyX3QgCmJlZW4gdXNlZCBm b3IgTUZOLi4uCgktIGNvbW1vbi9tZW1vcnkuYwoJCUl0IHdvdWxkIG5lZWQgYSBiaXQgb2YgcmV3 b3JrIHRvIGdldCB0aGUgY29kZSBNRk4gdHlwZXNhZmUgaW4gYSBuZWF0IHdheS4KCS0gY29tbW9u L3BhZ2VfYWxsb2MuYwoJCVRoaXMgaXMgY291bGQgYmUgZG9uZSB3aXRob3V0IHRvbyBtdWNoIHRy b3VibGUuCgktIGNvbW1vbi9ncmFudF90YWJsZS5jCgkJSXQgd291bGQgbmVlZCBhIGJpdCBvZiBy ZXdvcmsgdG8gZ2V0IHRoZSBjb2RlIE1GTiB0eXBlc2FmZSBpbiBhIG5lYXQgd2F5LgoKQ2hlZXJz LAoKLS0gCkp1bGllbiBHcmFsbAoKX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19f X19fX19fX19fX18KWGVuLWRldmVsIG1haWxpbmcgbGlzdApYZW4tZGV2ZWxAbGlzdHMueGVuLm9y ZwpodHRwczovL2xpc3RzLnhlbi5vcmcveGVuLWRldmVsCg==