From mboxrd@z Thu Jan 1 00:00:00 1970 From: Julien Grall Subject: Re: [PATCH v4 16/16] xen: Convert page_to_mfn and mfn_to_page to use typesafe MFN Date: Wed, 14 Mar 2018 17:02:35 +0000 Message-ID: References: <20180221140259.29360-1-julien.grall@arm.com> <20180221140259.29360-17-julien.grall@arm.com> <5A99850402000078001ADF1F@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: <5A99850402000078001ADF1F@prv-mh.provo.novell.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: Jan Beulich Cc: Tim Deegan , Kevin Tian , Stefano Stabellini , Wei Liu , Jun Nakajima , Razvan Cojocaru , George Dunlap , Andrew Cooper , Ian Jackson , xen-devel@lists.xen.org, Paul Durrant , Tamas K Lengyel , Suravee Suthikulpanit , Shane Wang , Boris Ostrovsky , Gang Wei List-Id: xen-devel@lists.xenproject.org SGkgSmFuLAoKT24gMDMvMDIvMjAxOCAwNDowOCBQTSwgSmFuIEJldWxpY2ggd3JvdGU6Cj4+Pj4g T24gMjEuMDIuMTggYXQgMTU6MDIsIDxqdWxpZW4uZ3JhbGxAYXJtLmNvbT4gd3JvdGU6Cj4+IC0t LSBhL3hlbi9hcmNoL3g4Ni9wdi9lbXVsLXByaXYtb3AuYwo+PiArKysgYi94ZW4vYXJjaC94ODYv cHYvZW11bC1wcml2LW9wLmMKPj4gQEAgLTQzLDE2ICs0Myw2IEBACj4+ICAgI2luY2x1ZGUgImVt dWxhdGUuaCIKPj4gICAjaW5jbHVkZSAibW0uaCIKPj4gICAKPj4gLS8qIE92ZXJyaWRlIG1hY3Jv cyBmcm9tIGFzbS9wYWdlLmggdG8gbWFrZSB0aGVtIHdvcmsgd2l0aCBtZm5fdCAqLwo+PiAtI3Vu ZGVmIG1mbl90b19wYWdlCj4+IC0jZGVmaW5lIG1mbl90b19wYWdlKG1mbikgX19tZm5fdG9fcGFn ZShtZm5feChtZm4pKQo+PiAtI3VuZGVmIHBhZ2VfdG9fbWZuCj4+IC0jZGVmaW5lIHBhZ2VfdG9f bWZuKHBnKSBfbWZuKF9fcGFnZV90b19tZm4ocGcpKQo+PiAtCj4+IC0vKioqKioqKioqKioqKioq KioqKioqKioKPj4gLSAqIEkvTyBlbXVsYXRpb24gc3VwcG9ydAo+PiAtICovCj4gCj4gV2h5IGRv ZXMgdGhpcyBjb21tZW50IGdvIGF3YXk/CgogRnJvbSBhbiBlYXJsaWVyIHJldmlldywgQW5kcmV3 IHNhaWQ6CgoiSWYgeW91J3JlIG1ha2luZyB0aGlzIGNoYW5nZSwgcGxlYXNlIHRha2Ugb3V0IHRo ZSBEZXNjcmlwdG9yIFRhYmxlcwpjb21tZW50IGxpa2UgeW91IGRvIHdpdGggSS9PIGJlbG93LCBi ZWNhdXNlIHRoZSBlbnRpcmUgZmlsZSBpcyBkZWRpY2F0ZWQKdG8gZGVzY3JpcHRvciB0YWJsZSBz dXBwb3J0IGFuZCBpdCB3aWxsIHNhdmUgbWUgb25lIGl0ZW0gb24gYSBjbGVhbnVwCnBhdGNoIDop LiIKClRoZSBkZXNjcmlwdG9yIG9uZSBnb3QgcmVtb3ZlIGJ5IDYzNGFmZTQzYWMgIng4Ni9wdjog UmVuYW1lIAppbnZhbGlkYXRlX3NoYWRvd19sZHQoKSB0byBwdl9kZXN0cm95X2xkdCgpIi4gU28g aXQgaXMgbm90IHBhcnQgb2YgdGhpcwpwYXRjaCBhbnltb3JlLgoKPiAKPj4gQEAgLTQ3OCwxMCAr NDc4LDEwIEBAIGV4dGVybiBwYWRkcl90IG1lbV9ob3RwbHVnOwo+PiAgICNkZWZpbmUgU0hBUkVE X00yUChfZSkgICAgICAgICAgICgoX2UpID09IFNIQVJFRF9NMlBfRU5UUlkpCj4+ICAgCj4+ICAg I2RlZmluZSBjb21wYXRfbWFjaGluZV90b19waHlzX21hcHBpbmcgKCh1bnNpZ25lZCBpbnQKPj4g KilSRFdSX0NPTVBBVF9NUFRfVklSVF9TVEFSVCkKPj4gLSNkZWZpbmUgX3NldF9ncGZuX2Zyb21f bWZuKG1mbiwgcGZuKSAoeyAgICAgICAgICAgICAgICAgICAgICAgIFwKPj4gLSAgICBzdHJ1Y3Qg ZG9tYWluICpkID0gcGFnZV9nZXRfb3duZXIoX19tZm5fdG9fcGFnZShtZm4pKTsgICAgIFwKPj4g LSAgICB1bnNpZ25lZCBsb25nIGVudHJ5ID0gKGQgJiYgKGQgPT0gZG9tX2NvdykpID8gICAgICAg ICAgICAgIFwKPj4gLSAgICAgICAgU0hBUkVEX00yUF9FTlRSWSA6IChwZm4pOyAgICAgICAgICAg ICAgICAgICAgICAgICAgICAgIFwKPj4gKyNkZWZpbmUgX3NldF9ncGZuX2Zyb21fbWZuKG1mbiwg cGZuKSAoeyAgICAgICAgICAgICAgICAgICAgICAgICBcCj4+ICsgICAgc3RydWN0IGRvbWFpbiAq ZCA9IHBhZ2VfZ2V0X293bmVyKG1mbl90b19wYWdlKF9tZm4obWZuKSkpOyAgICBcCj4+ICsgICAg dW5zaWduZWQgbG9uZyBlbnRyeSA9IChkICYmIChkID09IGRvbV9jb3cpKSA/ICAgICAgICAgICAg ICAgXAo+PiArICAgICAgICBTSEFSRURfTTJQX0VOVFJZIDogKHBmbik7ICAgICAgICAgICAgICAg ICAgICAgICAgICAgICAgIFwKPiAKPiBQbGVhc2UgZG9uJ3QgYnJlYWsgdGhlIGFsaWdubWVudCBv ZiB0aGUgYmFja3NsYXNoZXMgaGVyZS4gSXQgYWxzbyBsb29rcwo+IGxpa2UgdGhyZWUgb2YgdGhl IGZvdXIgbGluZXMgY291bGQgYmUgbGVmdCBhbG9uZSBhbHRvZ2V0aGVyLgoKSSBhbSBub3Qgc3Vy ZSB3aHkgSSBtb2RpZmllZCB0aGUgMyBvdGhlciBsaW5lcy4gSSBmaXhlZCBpdC4KCj4gCj4+IEBA IC0xNTcsMTAgKzE1NywxMCBAQCBzdGF0aWMgaW5saW5lIGw0X3BnZW50cnlfdCBsNGVfZnJvbV9w YWRkcihwYWRkcl90IHBhLCB1bnNpZ25lZCBpbnQgZmxhZ3MpCj4+ICAgI2RlZmluZSBsNGVfZnJv bV9pbnRwdGUoaW50cHRlKSAgICAoKGw0X3BnZW50cnlfdCkgeyAoaW50cHRlX3QpKGludHB0ZSkg fSkKPj4gICAKPj4gICAvKiBDb25zdHJ1Y3QgYSBwdGUgZnJvbSBhIHBhZ2UgcG9pbnRlciBhbmQg YWNjZXNzIGZsYWdzLiAqLwo+PiAtI2RlZmluZSBsMWVfZnJvbV9wYWdlKHBhZ2UsIGZsYWdzKSBs MWVfZnJvbV9wZm4oX19wYWdlX3RvX21mbihwYWdlKSwgKGZsYWdzKSkKPj4gLSNkZWZpbmUgbDJl X2Zyb21fcGFnZShwYWdlLCBmbGFncykgbDJlX2Zyb21fcGZuKF9fcGFnZV90b19tZm4ocGFnZSks IChmbGFncykpCj4+IC0jZGVmaW5lIGwzZV9mcm9tX3BhZ2UocGFnZSwgZmxhZ3MpIGwzZV9mcm9t X3BmbihfX3BhZ2VfdG9fbWZuKHBhZ2UpLCAoZmxhZ3MpKQo+PiAtI2RlZmluZSBsNGVfZnJvbV9w YWdlKHBhZ2UsIGZsYWdzKSBsNGVfZnJvbV9wZm4oX19wYWdlX3RvX21mbihwYWdlKSwgKGZsYWdz KSkKPj4gKyNkZWZpbmUgbDFlX2Zyb21fcGFnZShwYWdlLCBmbGFncykgbDFlX2Zyb21fbWZuKHBh Z2VfdG9fbWZuKHBhZ2UpLCAoZmxhZ3MpKQo+PiArI2RlZmluZSBsMmVfZnJvbV9wYWdlKHBhZ2Us IGZsYWdzKSBsMmVfZnJvbV9tZm4ocGFnZV90b19tZm4ocGFnZSksIChmbGFncykpCj4+ICsjZGVm aW5lIGwzZV9mcm9tX3BhZ2UocGFnZSwgZmxhZ3MpIGwzZV9mcm9tX21mbihwYWdlX3RvX21mbihw YWdlKSwgKGZsYWdzKSkKPj4gKyNkZWZpbmUgbDRlX2Zyb21fcGFnZShwYWdlLCBmbGFncykgbDRl X2Zyb21fbWZuKHBhZ2VfdG9fbWZuKHBhZ2UpLCAoZmxhZ3MpKQo+IAo+IFdvdWxkIGFnYWluIGhh dmUgYmVlbiBuaWNlIGlmIHlvdSBnb3QgcmlkIG9mIHRoZSBleHRyYSBwYXJlbnRoZXNlcwo+IGhl cmUgYXQgdGhlIHNhbWUgdGltZS4KCkkgYWRtaXQsIEkgZG9uJ3Qgc3BlbmQgbXkgdGltZSB0cnlp bmcgdG8gZmluZCB0aGUgcG9zc2libGUgY2xlYW51cCBpbiAKdGhlIHg4NiBjb2RlLiBJIGp1c3Qg ZG8gbWVjaGFuaWNhbCBjaGFuZ2UgYW5kIHdoZW4gSSBnZXQgYm9yZWQgSSBkbyBhIApiaXQgbW9y ZS4KCj4gCj4+IEBAIC0yNDAsMTIgKzI0MCwxMiBAQCB2b2lkIGNvcHlfcGFnZV9zc2UyKHZvaWQg KiwgY29uc3Qgdm9pZCAqKTsKPj4gICAjZGVmaW5lIF9fbWZuX3RvX3ZpcnQobWZuKSAgKG1hZGRy X3RvX3ZpcnQoKHBhZGRyX3QpKG1mbikgPDwgUEFHRV9TSElGVCkpCj4+ICAgCj4+ICAgLyogQ29u dmVydCBiZXR3ZWVuIG1hY2hpbmUgZnJhbWUgbnVtYmVycyBhbmQgcGFnZS1pbmZvIHN0cnVjdHVy ZXMuICovCj4+IC0jZGVmaW5lIF9fbWZuX3RvX3BhZ2UobWZuKSAgKGZyYW1lX3RhYmxlICsgcGZu X3RvX3BkeChtZm4pKQo+PiAtI2RlZmluZSBfX3BhZ2VfdG9fbWZuKHBnKSAgIHBkeF90b19wZm4o KHVuc2lnbmVkIGxvbmcpKChwZykgLSBmcmFtZV90YWJsZSkpCj4+ICsjZGVmaW5lIG1mbl90b19w YWdlKG1mbikgICAgKGZyYW1lX3RhYmxlICsgbWZuX3RvX3BkeChtZm4pKQo+PiArI2RlZmluZSBw YWdlX3RvX21mbihwZykgICAgIHBkeF90b19tZm4oKHVuc2lnbmVkIGxvbmcpKChwZykgLSBmcmFt ZV90YWJsZSkpCj4+ICAgCj4+ICAgLyogQ29udmVydCBiZXR3ZWVuIG1hY2hpbmUgYWRkcmVzc2Vz IGFuZCBwYWdlLWluZm8gc3RydWN0dXJlcy4gKi8KPj4gLSNkZWZpbmUgX19tYWRkcl90b19wYWdl KG1hKSBfX21mbl90b19wYWdlKChtYSkgPj4gUEFHRV9TSElGVCkKPj4gLSNkZWZpbmUgX19wYWdl X3RvX21hZGRyKHBnKSAoKHBhZGRyX3QpX19wYWdlX3RvX21mbihwZykgPDwgUEFHRV9TSElGVCkK Pj4gKyNkZWZpbmUgX19tYWRkcl90b19wYWdlKG1hKSBtZm5fdG9fcGFnZShtYWRkcl90b19tZm4o bWEpKQo+PiArI2RlZmluZSBfX3BhZ2VfdG9fbWFkZHIocGcpIChtZm5fdG9fbWFkZHIocGFnZV90 b19tZm4ocGcpKSkKPiAKPiBTYW1lIGhlcmUuCj4gCj4gV2l0aCBhdCBsZWFzdCB0aGUgZmlyc3Qg dHdvIGl0ZW1zIHRha2VuIGNhcmUgb2YsIHJlbGV2YW50IHg4NiBwaWVjZXMKPiBBY2tlZC1ieTog SmFuIEJldWxpY2ggPGpiZXVsaWNoQHN1c2UuY29tPgoKSSBkb24ndCBwbGFuIHRvIGFkZHJlc3Mg dGhlIGZpcnN0IG9uZSBhcyBBbmRyZXcgd2VyZSBoYXBweSB3aXRoIGl0LgoKQ2hlZXJzLAoKLS0g Ckp1bGllbiBHcmFsbAoKX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19f X19fX18KWGVuLWRldmVsIG1haWxpbmcgbGlzdApYZW4tZGV2ZWxAbGlzdHMueGVucHJvamVjdC5v cmcKaHR0cHM6Ly9saXN0cy54ZW5wcm9qZWN0Lm9yZy9tYWlsbWFuL2xpc3RpbmZvL3hlbi1kZXZl bA==