From mboxrd@z Thu Jan 1 00:00:00 1970 From: Julien Grall Subject: [PATCH v2 0/9] xen: Convert __page_to_mfn and __mfn_to_page to use typesafe MFN Date: Thu, 5 Oct 2017 18:42:13 +0100 Message-ID: <20171005174222.29161-1-julien.grall@linaro.org> Mime-Version: 1.0 Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: base64 Return-path: List-Unsubscribe: , List-Post: List-Help: List-Subscribe: , Errors-To: xen-devel-bounces@lists.xen.org Sender: "Xen-devel" To: xen-devel@lists.xen.org Cc: Elena Ufimtseva , Kevin Tian , Stefano Stabellini , Wei Liu , Jun Nakajima , Razvan Cojocaru , Konrad Rzeszutek Wilk , George Dunlap , Andrew Cooper , Julien Grall , Ian Jackson , Tim Deegan , Julien Grall , Paul Durrant , Tamas K Lengyel , Jan Beulich , Shane Wang , Suravee Suthikulpanit , Boris Ostrovsky , Gang Wei List-Id: xen-devel@lists.xenproject.org SGkgYWxsLAoKTW9zdCBvZiB0aGUgdXNlcnMgb2YgcGFnZV90b19tZm4gYW5kIG1mbl90b19wYWdl IGFyZSBlaXRoZXIgb3ZlcnJpZGluZwp0aGUgbWFjcm9zIHRvIG1ha2UgdGhlbSB3b3JrIHdpdGgg bWZuX3Qgb3IgdXNlIG1mbl94L19tZm4gYmVjYXVlIHRoZSByZXN0Cm9mIHRoZSBmdW5jdGlvbiB1 c2UgbWZuX3QuCgpTbyBJIHRoaW5rIGl0IGlzIHRpbWUgdG8gbWFrZSBfX3BhZ2VfdG9fbWZuIGFu ZCBfX21mbl90b19wYWdlIHVzaW5nIHR5cGVzYWZlCk1GTi4KClRoZSBmaXJzdCA4IHBhdGNoZXMg d2lsbCBjb252ZXJ0IG9mIHRoZSBjb2RlIHRvIHVzZSB0eXBlc2FmZSBNRk4sIGVhc2luZwp0aGUg dHJlZS13aWRlIGNvbnZlcnNpb24gaW4gcGF0Y2ggOC4KCk5vdGUgdGhhdCB0aGlzIHdhcyBvbmx5 IGJ1aWxkIHRlc3RlZCBpdCBvbiB4ODYuCgpDaGVlcnMsCgpDYzogQW5kcmV3IENvb3BlciA8YW5k cmV3LmNvb3BlcjNAY2l0cml4LmNvbT4KQ2M6IEJvcmlzIE9zdHJvdnNreSA8Ym9yaXMub3N0cm92 c2t5QG9yYWNsZS5jb20+CkNjOiBFbGVuYSBVZmltdHNldmEgPGVsZW5hLnVmaW10c2V2YUBvcmFj bGUuY29tPgpDYzogR2FuZyBXZWkgPGdhbmcud2VpQGludGVsLmNvbT4KQ2M6IEdlb3JnZSBEdW5s YXAgPGdlb3JnZS5kdW5sYXBAZXUuY2l0cml4LmNvbT4KQ2M6IEdlb3JnZSBEdW5sYXAgPEdlb3Jn ZS5EdW5sYXBAZXUuY2l0cml4LmNvbT4KQ2M6IElhbiBKYWNrc29uIDxpYW4uamFja3NvbkBldS5j aXRyaXguY29tPgpDYzogSmFuIEJldWxpY2ggPGpiZXVsaWNoQHN1c2UuY29tPgpDYzogSnVsaWVu IEdyYWxsIDxqdWxpZW4uZ3JhbGxAYXJtLmNvbT4KQ2M6IEp1biBOYWthamltYSA8anVuLm5ha2Fq aW1hQGludGVsLmNvbT4KQ2M6IEtldmluIFRpYW4gPGtldmluLnRpYW5AaW50ZWwuY29tPgpDYzog S29ucmFkIFJ6ZXN6dXRlayBXaWxrIDxrb25yYWQud2lsa0BvcmFjbGUuY29tPgpDYzogUGF1bCBE dXJyYW50IDxwYXVsLmR1cnJhbnRAY2l0cml4LmNvbT4KQ2M6IFJhenZhbiBDb2pvY2FydSA8cmNv am9jYXJ1QGJpdGRlZmVuZGVyLmNvbT4KQ2M6IFNoYW5lIFdhbmcgPHNoYW5lLndhbmdAaW50ZWwu Y29tPgpDYzogU3RlZmFubyBTdGFiZWxsaW5pIDxzc3RhYmVsbGluaUBrZXJuZWwub3JnPgpDYzog U3VyYXZlZSBTdXRoaWt1bHBhbml0IDxzdXJhdmVlLnN1dGhpa3VscGFuaXRAYW1kLmNvbT4KQ2M6 IFRhbWFzIEsgTGVuZ3llbCA8dGFtYXNAdGtsZW5neWVsLmNvbT4KQ2M6IFRpbSBEZWVnYW4gPHRp bUB4ZW4ub3JnPgpDYzogV2VpIExpdSA8d2VpLmxpdTJAY2l0cml4LmNvbT4KCkp1bGllbiBHcmFs bCAoOSk6CiAgeGVuL2FybTogZG9tYWluX2J1aWxkOiBDbGVhbi11cCBpbnNlcnRfMTFfYmFuawog IHhlbi9hcm0zMjogbW06IFJld29yayBpc194ZW5faGVhcF9wYWdlIHRvIGF2b2lkIG5hbWVjbGFz aAogIHhlbi94ODY6IG1lbV9zaGFyaW5nOiBVc2UgY29weV9kb21haW5fcGFnZSBpbgogICAgX19t ZW1fc2hhcmluZ191bnNoYXJlX3BhZ2UKICB4ZW4veDg2OiBVc2UgbWFkZHJfdG9fcGFnZSBhbmQg bWFkZHJfdG9fbWZuIHRvIGF2b2lkIG9wZW4tY29kZWQgPj4KICAgIFBBR0VfU0hJRlQKICB4ZW4v a2ltYWdlOiBSZW1vdmUgZGVmaW5lZCBidXQgdW51c2VkIHZhcmlhYmxlcwogIHhlbi9rZXhlYyxr aW1hZ2U6IENvbnZlcnQga2V4ZWMgYW5kIGtpbWFnZSB0byB1c2UgdHlwZXNhZmUgbWZuX3QKICB4 ZW4veGVub3Byb2Y6IENvbnZlcnQgdGhlIGZpbGUgdG8gdXNlIHR5cGVzYWZlIE1GTgogIHhlbi90 bWVtOiBDb252ZXJ0IHRoZSBmaWxlIGNvbW1vbi90bWVtX3hlbi5jIHRvIHVzZSB0eXBlc2FmZSBN Rk4KICB4ZW46IENvbnZlcnQgX19wYWdlX3RvX21mbiBhbmQgX19tZm5fdG9fcGFnZSB0byB1c2Ug dHlwZXNhZmUgTUZOCgogeGVuL2FyY2gvYXJtL2RvbWFpbl9idWlsZC5jICAgICAgICAgICAgIHwg MTUgKysrKysrKystLS0tLS0tCiB4ZW4vYXJjaC9hcm0va2VybmVsLmMgICAgICAgICAgICAgICAg ICAgfCAgMiArLQogeGVuL2FyY2gvYXJtL21lbV9hY2Nlc3MuYyAgICAgICAgICAgICAgIHwgIDIg Ky0KIHhlbi9hcmNoL2FybS9tbS5jICAgICAgICAgICAgICAgICAgICAgICB8ICA4ICsrKystLS0t CiB4ZW4vYXJjaC9hcm0vcDJtLmMgICAgICAgICAgICAgICAgICAgICAgfCAgOCArLS0tLS0tLQog eGVuL2FyY2gveDg2L2NwdS92cG11LmMgICAgICAgICAgICAgICAgIHwgIDQgKystLQogeGVuL2Fy Y2gveDg2L2RlYnVnLmMgICAgICAgICAgICAgICAgICAgIHwgIDIgKy0KIHhlbi9hcmNoL3g4Ni9k b21haW4uYyAgICAgICAgICAgICAgICAgICB8IDIxICsrKysrKysrKysrLS0tLS0tLS0tLQogeGVu L2FyY2gveDg2L2RvbWFpbl9wYWdlLmMgICAgICAgICAgICAgIHwgIDYgKysrLS0tCiB4ZW4vYXJj aC94ODYvZG9tY3RsLmMgICAgICAgICAgICAgICAgICAgfCAgMiArLQogeGVuL2FyY2gveDg2L2h2 bS9kbS5jICAgICAgICAgICAgICAgICAgIHwgIDIgKy0KIHhlbi9hcmNoL3g4Ni9odm0vZG9tMF9i dWlsZC5jICAgICAgICAgICB8ICA2ICsrKy0tLQogeGVuL2FyY2gveDg2L2h2bS9odm0uYyAgICAg ICAgICAgICAgICAgIHwgMTQgKysrKysrKy0tLS0tLS0KIHhlbi9hcmNoL3g4Ni9odm0vaW9yZXEu YyAgICAgICAgICAgICAgICB8ICA2ICsrKy0tLQogeGVuL2FyY2gveDg2L2h2bS9zdGR2Z2EuYyAg ICAgICAgICAgICAgIHwgIDIgKy0KIHhlbi9hcmNoL3g4Ni9odm0vc3ZtL3N2bS5jICAgICAgICAg ICAgICB8ICA0ICsrLS0KIHhlbi9hcmNoL3g4Ni9odm0vdmlyaWRpYW4uYyAgICAgICAgICAgICB8 ICA2ICsrKy0tLQogeGVuL2FyY2gveDg2L2h2bS92bXgvdm1jcy5jICAgICAgICAgICAgIHwgIDIg Ky0KIHhlbi9hcmNoL3g4Ni9odm0vdm14L3ZteC5jICAgICAgICAgICAgICB8IDEwICsrKysrLS0t LS0KIHhlbi9hcmNoL3g4Ni9odm0vdm14L3Z2bXguYyAgICAgICAgICAgICB8ICA2ICsrKy0tLQog eGVuL2FyY2gveDg2L21tLmMgICAgICAgICAgICAgICAgICAgICAgIHwgIDYgLS0tLS0tCiB4ZW4v YXJjaC94ODYvbW0vZ3Vlc3Rfd2Fsay5jICAgICAgICAgICAgfCAgNiArKystLS0KIHhlbi9hcmNo L3g4Ni9tbS9oYXAvZ3Vlc3Rfd2Fsay5jICAgICAgICB8ICAyICstCiB4ZW4vYXJjaC94ODYvbW0v aGFwL2hhcC5jICAgICAgICAgICAgICAgfCAgNiAtLS0tLS0KIHhlbi9hcmNoL3g4Ni9tbS9oYXAv bmVzdGVkX2VwdC5jICAgICAgICB8ICAyICstCiB4ZW4vYXJjaC94ODYvbW0vbWVtX3NoYXJpbmcu YyAgICAgICAgICAgfCAxMiArLS0tLS0tLS0tLS0KIHhlbi9hcmNoL3g4Ni9tbS9wMm0tZXB0LmMg ICAgICAgICAgICAgICB8ICA0ICsrKysKIHhlbi9hcmNoL3g4Ni9tbS9wMm0tcG9kLmMgICAgICAg ICAgICAgICB8ICA2IC0tLS0tLQogeGVuL2FyY2gveDg2L21tL3AybS5jICAgICAgICAgICAgICAg ICAgIHwgIDYgLS0tLS0tCiB4ZW4vYXJjaC94ODYvbW0vcGFnaW5nLmMgICAgICAgICAgICAgICAg fCAgNiAtLS0tLS0KIHhlbi9hcmNoL3g4Ni9tbS9zaGFkb3cvY29tbW9uLmMgICAgICAgICB8ICAy ICstCiB4ZW4vYXJjaC94ODYvbW0vc2hhZG93L211bHRpLmMgICAgICAgICAgfCAgNiArKystLS0K IHhlbi9hcmNoL3g4Ni9tbS9zaGFkb3cvcHJpdmF0ZS5oICAgICAgICB8IDE2ICsrLS0tLS0tLS0t LS0tLS0KIHhlbi9hcmNoL3g4Ni9udW1hLmMgICAgICAgICAgICAgICAgICAgICB8ICAyICstCiB4 ZW4vYXJjaC94ODYvcGh5c2Rldi5jICAgICAgICAgICAgICAgICAgfCAgMiArLQogeGVuL2FyY2gv eDg2L3B2L2NhbGxiYWNrLmMgICAgICAgICAgICAgIHwgIDYgLS0tLS0tCiB4ZW4vYXJjaC94ODYv cHYvZGVzY3JpcHRvci10YWJsZXMuYyAgICAgfCAxMCAtLS0tLS0tLS0tCiB4ZW4vYXJjaC94ODYv cHYvZG9tMF9idWlsZC5jICAgICAgICAgICAgfCAgNiArKysrKysKIHhlbi9hcmNoL3g4Ni9wdi9k b21haW4uYyAgICAgICAgICAgICAgICB8ICA2IC0tLS0tLQogeGVuL2FyY2gveDg2L3B2L2VtdWwt Z2F0ZS1vcC5jICAgICAgICAgIHwgIDYgLS0tLS0tCiB4ZW4vYXJjaC94ODYvcHYvZW11bC1wcml2 LW9wLmMgICAgICAgICAgfCAxMCAtLS0tLS0tLS0tCiB4ZW4vYXJjaC94ODYvcHYvZ3JhbnRfdGFi bGUuYyAgICAgICAgICAgfCAgNiAtLS0tLS0KIHhlbi9hcmNoL3g4Ni9wdi9tbS5jICAgICAgICAg ICAgICAgICAgICB8ICAyICstCiB4ZW4vYXJjaC94ODYvcHYvcm8tcGFnZS1mYXVsdC5jICAgICAg ICAgfCAgNiAtLS0tLS0KIHhlbi9hcmNoL3g4Ni9zbXBib290LmMgICAgICAgICAgICAgICAgICB8 ICA2IC0tLS0tLQogeGVuL2FyY2gveDg2L3Rib290LmMgICAgICAgICAgICAgICAgICAgIHwgIDQg KystLQogeGVuL2FyY2gveDg2L3RyYXBzLmMgICAgICAgICAgICAgICAgICAgIHwgIDIgKy0KIHhl bi9hcmNoL3g4Ni94ODZfNjQvbW0uYyAgICAgICAgICAgICAgICB8ICA2ICsrKysrKwogeGVuL2Nv bW1vbi9kb21haW4uYyAgICAgICAgICAgICAgICAgICAgIHwgIDQgKystLQogeGVuL2NvbW1vbi9n cmFudF90YWJsZS5jICAgICAgICAgICAgICAgIHwgIDYgKysrKysrCiB4ZW4vY29tbW9uL2tleGVj LmMgICAgICAgICAgICAgICAgICAgICAgfCAxNiArKysrKysrKy0tLS0tLS0tCiB4ZW4vY29tbW9u L2tpbWFnZS5jICAgICAgICAgICAgICAgICAgICAgfCAzMyArKysrKysrKysrKysrKystLS0tLS0t LS0tLS0tLS0tLS0KIHhlbi9jb21tb24vbWVtb3J5LmMgICAgICAgICAgICAgICAgICAgICB8ICA2 ICsrKysrKwogeGVuL2NvbW1vbi9wYWdlX2FsbG9jLmMgICAgICAgICAgICAgICAgIHwgIDYgKysr KysrCiB4ZW4vY29tbW9uL3RtZW0uYyAgICAgICAgICAgICAgICAgICAgICAgfCAgMiArLQogeGVu L2NvbW1vbi90bWVtX3hlbi5jICAgICAgICAgICAgICAgICAgIHwgMjYgKysrKysrKysrKysrKyst LS0tLS0tLS0tLS0KIHhlbi9jb21tb24vdHJhY2UuYyAgICAgICAgICAgICAgICAgICAgICB8ICA2 ICsrKysrKwogeGVuL2NvbW1vbi92bWFwLmMgICAgICAgICAgICAgICAgICAgICAgIHwgIDkgKysr KystLS0tCiB4ZW4vY29tbW9uL3hlbm9wcm9mLmMgICAgICAgICAgICAgICAgICAgfCAxOSArKysr KysrKysrKysrLS0tLS0tCiB4ZW4vZHJpdmVycy9wYXNzdGhyb3VnaC9hbWQvaW9tbXVfbWFwLmMg fCAgNiArKysrKysKIHhlbi9kcml2ZXJzL3Bhc3N0aHJvdWdoL2lvbW11LmMgICAgICAgICB8ICAy ICstCiB4ZW4vZHJpdmVycy9wYXNzdGhyb3VnaC94ODYvaW9tbXUuYyAgICAgfCAgMiArLQogeGVu L2luY2x1ZGUvYXNtLWFybS9tbS5oICAgICAgICAgICAgICAgIHwgMjIgKysrKysrKysrKysrLS0t LS0tLS0tLQogeGVuL2luY2x1ZGUvYXNtLWFybS9wMm0uaCAgICAgICAgICAgICAgIHwgIDQgKyst LQogeGVuL2luY2x1ZGUvYXNtLXg4Ni9tbS5oICAgICAgICAgICAgICAgIHwgMTIgKysrKysrLS0t LS0tCiB4ZW4vaW5jbHVkZS9hc20teDg2L3AybS5oICAgICAgICAgICAgICAgfCAgMiArLQogeGVu L2luY2x1ZGUvYXNtLXg4Ni9wYWdlLmggICAgICAgICAgICAgIHwgMzIgKysrKysrKysrKysrKysr Ky0tLS0tLS0tLS0tLS0tLS0KIHhlbi9pbmNsdWRlL3hlbi9kb21haW5fcGFnZS5oICAgICAgICAg ICB8ICA4ICsrKystLS0tCiB4ZW4vaW5jbHVkZS94ZW4va2ltYWdlLmggICAgICAgICAgICAgICAg fCAgNCArKy0tCiB4ZW4vaW5jbHVkZS94ZW4vdG1lbV94ZW4uaCAgICAgICAgICAgICAgfCAgMiAr LQogNzAgZmlsZXMgY2hhbmdlZCwgMjMwIGluc2VydGlvbnMoKyksIDI4NyBkZWxldGlvbnMoLSkK Ci0tIAoyLjExLjAKCgpfX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19f X19fXwpYZW4tZGV2ZWwgbWFpbGluZyBsaXN0Clhlbi1kZXZlbEBsaXN0cy54ZW4ub3JnCmh0dHBz Oi8vbGlzdHMueGVuLm9yZy94ZW4tZGV2ZWwK