From mboxrd@z Thu Jan  1 00:00:00 1970
From: Julien Grall <julien.grall@arm.com>
Subject: [PATCH v4 00/16] xen: Convert page_to_mfn and
	mfn_to_page to use typesafe MFN
Date: Wed, 21 Feb 2018 14:02:43 +0000
Message-ID: <20180221140259.29360-1-julien.grall@arm.com>
Mime-Version: 1.0
Content-Type: text/plain; charset="utf-8"
Content-Transfer-Encoding: base64
Return-path: <xen-devel-bounces@lists.xenproject.org>
List-Unsubscribe: <https://lists.xenproject.org/mailman/options/xen-devel>,
 <mailto:xen-devel-request@lists.xenproject.org?subject=unsubscribe>
List-Post: <mailto:xen-devel@lists.xenproject.org>
List-Help: <mailto:xen-devel-request@lists.xenproject.org?subject=help>
List-Subscribe: <https://lists.xenproject.org/mailman/listinfo/xen-devel>,
 <mailto:xen-devel-request@lists.xenproject.org?subject=subscribe>
Errors-To: xen-devel-bounces@lists.xenproject.org
Sender: "Xen-devel" <xen-devel-bounces@lists.xenproject.org>
To: xen-devel@lists.xen.org
Cc: Kevin Tian <kevin.tian@intel.com>, Stefano Stabellini <sstabellini@kernel.org>, Wei Liu <wei.liu2@citrix.com>, Jun Nakajima <jun.nakajima@intel.com>, Razvan Cojocaru <rcojocaru@bitdefender.com>, George Dunlap <George.Dunlap@eu.citrix.com>, Andrew Cooper <andrew.cooper3@citrix.com>, Ian Jackson <ian.jackson@eu.citrix.com>, Tim Deegan <tim@xen.org>, Julien Grall <julien.grall@arm.com>, Paul Durrant <paul.durrant@citrix.com>, Tamas K Lengyel <tamas@tklengyel.com>, Jan Beulich <jbeulich@suse.com>, Shane Wang <shane.wang@intel.com>, Suravee Suthikulpanit <suravee.suthikulpanit@amd.com>, Boris Ostrovsky <boris.ostrovsky@oracle.com>, Gang Wei <gang.wei@intel.com>
List-Id: xen-devel@lists.xenproject.org

SGkgYWxsLAoKVGhpcyBzZXJpZXMgaXMgYSByZXdvcmsgb2YgInhlbjogQ29udmVydCBfX3BhZ2Vf
dG9fbWZuIGFuZCBfX21mbl90b19wYWdlIHRvIHVzZQp0eXBlc2FmZSBNRk4iIHNlbnQgYSBjb3Vw
bGUgb2YgbW9udGhzIGFnbyAoc2VlIFsxXSkuIEluIHRoaXMgbmV3IGFwcHJvYWNoLAp0aGUgbWFj
cm9zIF9fcGFnZV90b19tZm4gYW5kIF9fbWZuX3RvX3BhZ2UgYXJlIGNvbXBsZXRlbHkgZHJvcHBl
ZC4KClRvIGF2b2lkIHRoZSBsYXN0IHBhdGNoICgjMTYpIHRvIGJlIGEgaHVnZSBwYXRjaCBzb21l
IGZpbGVzIGFyZSBjb252ZXJ0ZWQgdG8KdXNlIHR5cGVzYWZlIHVwZnJvbnQuIEkgaGF2ZSB0cmll
ZCBteSBiZXN0IHRvIHB1c2ggX21mbi9tZm5feCBhcyBkb3duIGFzCnBvc3NpYmxlIGluIHRoZSBj
YWxsZXJzLiBTb21lIG9mIHRoZW0gd2FzIG5vdCBmZWFzaWJsZSB3aXRob3V0IG1ham9yIHJld29y
aywKc28gSSBsZWZ0IHRoZW0gYXNpZGUgZm9yIG5vdy4gQ29udHJpYnV0aW9uIHRvIHN3aXRjaCBY
ZW4gY29kZSBiYXNlIHRvIE1GTgp0eXBlc2FmZSBhcmUgbW9yZSB0aGFuIHdlbGNvbWVkLgoKTm90
ZSB0aGF0IGNoYW5nZXMgaGF2ZSBvbmx5IGJlZW4gYnVpbGQgdGVzdCBpdCBvbiB4ODYgc28gZmFy
LgoKQ2hlZXJzLAoKWzFdIGh0dHBzOi8vbGlzdHMueGVuLm9yZy9hcmNoaXZlcy9odG1sL3hlbi1k
ZXZlbC8yMDE3LTExL21zZzAwMDI3Lmh0bWwKCkNjOiBBbmRyZXcgQ29vcGVyIDxhbmRyZXcuY29v
cGVyM0BjaXRyaXguY29tPgpDYzogQm9yaXMgT3N0cm92c2t5IDxib3Jpcy5vc3Ryb3Zza3lAb3Jh
Y2xlLmNvbT4KQ2M6IEdhbmcgV2VpIDxnYW5nLndlaUBpbnRlbC5jb20+CkNjOiBHZW9yZ2UgRHVu
bGFwIDxnZW9yZ2UuZHVubGFwQGV1LmNpdHJpeC5jb20+CkNjOiBHZW9yZ2UgRHVubGFwIDxHZW9y
Z2UuRHVubGFwQGV1LmNpdHJpeC5jb20+CkNjOiBJYW4gSmFja3NvbiA8aWFuLmphY2tzb25AZXUu
Y2l0cml4LmNvbT4KQ2M6IEphbiBCZXVsaWNoIDxqYmV1bGljaEBzdXNlLmNvbT4KQ2M6IEp1bGll
biBHcmFsbCA8anVsaWVuLmdyYWxsQGFybS5jb20+CkNjOiBKdW4gTmFrYWppbWEgPGp1bi5uYWth
amltYUBpbnRlbC5jb20+CkNjOiBLZXZpbiBUaWFuIDxrZXZpbi50aWFuQGludGVsLmNvbT4KQ2M6
IEtvbnJhZCBSemVzenV0ZWsgV2lsayA8a29ucmFkLndpbGtAb3JhY2xlLmNvbT4KQ2M6IFBhdWwg
RHVycmFudCA8cGF1bC5kdXJyYW50QGNpdHJpeC5jb20+CkNjOiBSYXp2YW4gQ29qb2NhcnUgPHJj
b2pvY2FydUBiaXRkZWZlbmRlci5jb20+CkNjOiBTaGFuZSBXYW5nIDxzaGFuZS53YW5nQGludGVs
LmNvbT4KQ2M6IFN0ZWZhbm8gU3RhYmVsbGluaSA8c3N0YWJlbGxpbmlAa2VybmVsLm9yZz4KQ2M6
IFN1cmF2ZWUgU3V0aGlrdWxwYW5pdCA8c3VyYXZlZS5zdXRoaWt1bHBhbml0QGFtZC5jb20+CkNj
OiBUYW1hcyBLIExlbmd5ZWwgPHRhbWFzQHRrbGVuZ3llbC5jb20+CkNjOiBUaW0gRGVlZ2FuIDx0
aW1AeGVuLm9yZz4KQ2M6IFdlaSBMaXUgPHdlaS5saXUyQGNpdHJpeC5jb20+CgpKdWxpZW4gR3Jh
bGwgKDE2KToKICB4ZW4vdG1lbTogQ29udmVydCB0aGUgZmlsZSBjb21tb24vdG1lbV94ZW4uYyB0
byB1c2UgdHlwZXNhZmUgTUZOCiAgeGVuL2FybTogc2V0dXA6IHVzZSBtYWRkcl90b19tZm4gcmF0
aGVyIHRoYW4gX21mbihwYWRkcl90b19wZm4oLi4uKSkKICB4ZW4vYXJtOiBtbTogVXNlIGdhZGRy
X3RvX2dmbiByYXRoZXIgdGhhbiBfZ2ZuKHBhZGRyX3RvX3BmbiguLi4pKQogIHhlbi9hcm06IG1t
OiBSZW1vdmUgdW51c2VkIE0yUCBjb2RlCiAgeGVuL2FybTogbW06IFJlbW92ZSB1bnVzZWQgcmVs
aW5xdWlzaF9zaGFyZWRfcGFnZXMKICB4ZW4veDg2OiBSZW1vdmUgdW51c2VkIG92ZXJyaWRlIG9m
IHBhZ2VfdG9fbWZuL21mbl90b19wYWdlCiAgeGVuL3g4NjogbW06IFN3aXRjaCB4ODYvbW0uYyB0
byB1c2UgdHlwZXNhZmUgZm9yIHZpcnRfdG9fbWZuCiAgeGVuL21tOiBEcm9wIHRoZSBwYXJhbWV0
ZXIgbWZuIGZyb20gcG9wdWxhdGVfcHRfcmFuZ2UKICB4ZW4vcGR4OiBJbnRyb2R1Y2UgaGVscGVy
IHRvIGNvbnZlcnQgTUZOIDwtPiBQRFgKICB4ZW4vbW06IFN3aXRjaCBtYXBfcGFnZXNfdG9feGVu
IHRvIHVzZSBNRk4gdHlwZXNhZmUKICB4ZW4vbW06IFN3aXRjaCBwYWdlX2FsbG9jLmMgdG8gdHlw
ZXNhZmUgTUZOCiAgeGVuL21tOiBTd2l0Y2ggY29tbW9uL21lbW9yeS5jIHRvIHVzZSB0eXBlc2Fm
ZSBNRk4KICB4ZW4vZ3JhbnQ6IFN3aXRjaCB7Y3JlYXRlLCByZXBsYWNlfV9ncmFudF9wMm1fbWFw
cGluZyB0byB0eXBlc2FmZSBNRk4KICB4ZW4vZ3JhbnQ6IFN3aXRjaCBjb21tb24vZ3JhbnRfdGFi
bGUuYyB0byB1c2UgdHlwZXNhZmUgTUZOCiAgeGVuL3g4NjogU3dpdGNoIG1mbl90b19wYWdlIGlu
IHg4Nl82NC9tbS5jIHRvIHVzZSB0eXBlc2FmZSBNRk4KICB4ZW46IENvbnZlcnQgcGFnZV90b19t
Zm4gYW5kIG1mbl90b19wYWdlIHRvIHVzZSB0eXBlc2FmZSBNRk4KCiB4ZW4vYXJjaC9hcm0vZG9t
YWluX2J1aWxkLmMgICAgICAgICAgICAgfCAgIDIgLQogeGVuL2FyY2gvYXJtL2tlcm5lbC5jICAg
ICAgICAgICAgICAgICAgIHwgICAyICstCiB4ZW4vYXJjaC9hcm0vbWVtX2FjY2Vzcy5jICAgICAg
ICAgICAgICAgfCAgIDIgKy0KIHhlbi9hcmNoL2FybS9tbS5jICAgICAgICAgICAgICAgICAgICAg
ICB8ICAzMyArKysrLS0tLQogeGVuL2FyY2gvYXJtL3AybS5jICAgICAgICAgICAgICAgICAgICAg
IHwgIDEwICstLQogeGVuL2FyY2gvYXJtL3NldHVwLmMgICAgICAgICAgICAgICAgICAgIHwgICA0
ICstCiB4ZW4vYXJjaC94ODYvY3B1L3ZwbXUuYyAgICAgICAgICAgICAgICAgfCAgIDQgKy0KIHhl
bi9hcmNoL3g4Ni9kb21haW4uYyAgICAgICAgICAgICAgICAgICB8ICAyMSArKy0tLQogeGVuL2Fy
Y2gveDg2L2RvbWFpbl9wYWdlLmMgICAgICAgICAgICAgIHwgICA2ICstCiB4ZW4vYXJjaC94ODYv
aHZtL2RtLmMgICAgICAgICAgICAgICAgICAgfCAgIDIgKy0KIHhlbi9hcmNoL3g4Ni9odm0vZG9t
MF9idWlsZC5jICAgICAgICAgICB8ICAgNiArLQogeGVuL2FyY2gveDg2L2h2bS9lbXVsYXRlLmMg
ICAgICAgICAgICAgIHwgICA2ICstCiB4ZW4vYXJjaC94ODYvaHZtL2dyYW50X3RhYmxlLmMgICAg
ICAgICAgfCAgMTQgKystLQogeGVuL2FyY2gveDg2L2h2bS9odm0uYyAgICAgICAgICAgICAgICAg
IHwgIDEyICstLQogeGVuL2FyY2gveDg2L2h2bS9pb3JlcS5jICAgICAgICAgICAgICAgIHwgICA0
ICstCiB4ZW4vYXJjaC94ODYvaHZtL3N0ZHZnYS5jICAgICAgICAgICAgICAgfCAgIDIgKy0KIHhl
bi9hcmNoL3g4Ni9odm0vc3ZtL3N2bS5jICAgICAgICAgICAgICB8ICAgNCArLQogeGVuL2FyY2gv
eDg2L2h2bS92aXJpZGlhbi5jICAgICAgICAgICAgIHwgICA2ICstCiB4ZW4vYXJjaC94ODYvaHZt
L3ZteC92bWNzLmMgICAgICAgICAgICAgfCAgIDIgKy0KIHhlbi9hcmNoL3g4Ni9odm0vdm14L3Zt
eC5jICAgICAgICAgICAgICB8ICAxMCArLS0KIHhlbi9hcmNoL3g4Ni9odm0vdm14L3Z2bXguYyAg
ICAgICAgICAgICB8ICAgNiArLQogeGVuL2FyY2gveDg2L21tLmMgICAgICAgICAgICAgICAgICAg
ICAgIHwgIDcwICsrKysrKysrLS0tLS0tLS0tCiB4ZW4vYXJjaC94ODYvbW0vZ3Vlc3Rfd2Fsay5j
ICAgICAgICAgICAgfCAgIDYgKy0KIHhlbi9hcmNoL3g4Ni9tbS9oYXAvZ3Vlc3Rfd2Fsay5jICAg
ICAgICB8ICAgMiArLQogeGVuL2FyY2gveDg2L21tL2hhcC9oYXAuYyAgICAgICAgICAgICAgIHwg
ICA2IC0tCiB4ZW4vYXJjaC94ODYvbW0vaGFwL25lc3RlZF9lcHQuYyAgICAgICAgfCAgIDIgKy0K
IHhlbi9hcmNoL3g4Ni9tbS9oYXAvbmVzdGVkX2hhcC5jICAgICAgICB8ICAgMyAtCiB4ZW4vYXJj
aC94ODYvbW0vbWVtX3NoYXJpbmcuYyAgICAgICAgICAgfCAgIDUgLS0KIHhlbi9hcmNoL3g4Ni9t
bS9wMm0tZXB0LmMgICAgICAgICAgICAgICB8ICAgOCArLQogeGVuL2FyY2gveDg2L21tL3AybS1w
b2QuYyAgICAgICAgICAgICAgIHwgICA2IC0tCiB4ZW4vYXJjaC94ODYvbW0vcDJtLXB0LmMgICAg
ICAgICAgICAgICAgfCAgIDYgLS0KIHhlbi9hcmNoL3g4Ni9tbS9wMm0uYyAgICAgICAgICAgICAg
ICAgICB8ICAgNiAtLQogeGVuL2FyY2gveDg2L21tL3BhZ2luZy5jICAgICAgICAgICAgICAgIHwg
ICA2IC0tCiB4ZW4vYXJjaC94ODYvbW0vc2hhZG93L3ByaXZhdGUuaCAgICAgICAgfCAgMTYgKy0t
LQogeGVuL2FyY2gveDg2L251bWEuYyAgICAgICAgICAgICAgICAgICAgIHwgICAyICstCiB4ZW4v
YXJjaC94ODYvcGh5c2Rldi5jICAgICAgICAgICAgICAgICAgfCAgIDIgKy0KIHhlbi9hcmNoL3g4
Ni9wdi9jYWxsYmFjay5jICAgICAgICAgICAgICB8ICAgNiAtLQogeGVuL2FyY2gveDg2L3B2L2Rl
c2NyaXB0b3ItdGFibGVzLmMgICAgIHwgICA2IC0tCiB4ZW4vYXJjaC94ODYvcHYvZG9tMF9idWls
ZC5jICAgICAgICAgICAgfCAgMTQgKystLQogeGVuL2FyY2gveDg2L3B2L2RvbWFpbi5jICAgICAg
ICAgICAgICAgIHwgICA2IC0tCiB4ZW4vYXJjaC94ODYvcHYvZW11bC1nYXRlLW9wLmMgICAgICAg
ICAgfCAgIDYgLS0KIHhlbi9hcmNoL3g4Ni9wdi9lbXVsLXByaXYtb3AuYyAgICAgICAgICB8ICAx
MCAtLS0KIHhlbi9hcmNoL3g4Ni9wdi9ncmFudF90YWJsZS5jICAgICAgICAgICB8ICAxNiArKy0t
CiB4ZW4vYXJjaC94ODYvcHYvaXJldC5jICAgICAgICAgICAgICAgICAgfCAgIDYgLS0KIHhlbi9h
cmNoL3g4Ni9wdi9tbS5jICAgICAgICAgICAgICAgICAgICB8ICAgNiAtLQogeGVuL2FyY2gveDg2
L3B2L3JvLXBhZ2UtZmF1bHQuYyAgICAgICAgIHwgICA2IC0tCiB4ZW4vYXJjaC94ODYvcHYvc2hp
bS5jICAgICAgICAgICAgICAgICAgfCAgIDQgKy0KIHhlbi9hcmNoL3g4Ni9wdi90cmFwcy5jICAg
ICAgICAgICAgICAgICB8ICAgNiAtLQogeGVuL2FyY2gveDg2L3NldHVwLmMgICAgICAgICAgICAg
ICAgICAgIHwgIDE0ICsrLS0KIHhlbi9hcmNoL3g4Ni9zbXBib290LmMgICAgICAgICAgICAgICAg
ICB8ICAgOCArLQogeGVuL2FyY2gveDg2L3Rib290LmMgICAgICAgICAgICAgICAgICAgIHwgIDE1
ICsrLS0KIHhlbi9hcmNoL3g4Ni90cmFwcy5jICAgICAgICAgICAgICAgICAgICB8ICAgNCArLQog
eGVuL2FyY2gveDg2L3g4Nl82NC9tbS5jICAgICAgICAgICAgICAgIHwgIDY3ICsrKysrKysrLS0t
LS0tLS0KIHhlbi9hcmNoL3g4Ni94ODZfNjQvbW1jb25maWdfNjQuYyAgICAgICB8ICAgNCArLQog
eGVuL2NvbW1vbi9kb21haW4uYyAgICAgICAgICAgICAgICAgICAgIHwgICA0ICstCiB4ZW4vY29t
bW9uL2VmaS9ib290LmMgICAgICAgICAgICAgICAgICAgfCAgIDIgKy0KIHhlbi9jb21tb24vZ3Jh
bnRfdGFibGUuYyAgICAgICAgICAgICAgICB8IDEzMSArKysrKysrKysrKysrKysrKy0tLS0tLS0t
LS0tLS0tLQogeGVuL2NvbW1vbi9raW1hZ2UuYyAgICAgICAgICAgICAgICAgICAgIHwgICA2IC0t
CiB4ZW4vY29tbW9uL21lbW9yeS5jICAgICAgICAgICAgICAgICAgICAgfCAgNjYgKysrKysrKysr
LS0tLS0tLQogeGVuL2NvbW1vbi9wYWdlX2FsbG9jLmMgICAgICAgICAgICAgICAgIHwgIDU4ICsr
KysrKystLS0tLS0tCiB4ZW4vY29tbW9uL3RtZW0uYyAgICAgICAgICAgICAgICAgICAgICAgfCAg
IDIgKy0KIHhlbi9jb21tb24vdG1lbV94ZW4uYyAgICAgICAgICAgICAgICAgICB8ICAyNiArKysr
LS0tCiB4ZW4vY29tbW9uL3RyYWNlLmMgICAgICAgICAgICAgICAgICAgICAgfCAgIDQgKy0KIHhl
bi9jb21tb24vdm1hcC5jICAgICAgICAgICAgICAgICAgICAgICB8ICAxMCArLS0KIHhlbi9jb21t
b24veGVub3Byb2YuYyAgICAgICAgICAgICAgICAgICB8ICAgMiAtCiB4ZW4vZHJpdmVycy9hY3Bp
L2FwZWkvZXJzdC5jICAgICAgICAgICAgfCAgIDIgKy0KIHhlbi9kcml2ZXJzL2FjcGkvYXBlaS9o
ZXN0LmMgICAgICAgICAgICB8ICAgMiArLQogeGVuL2RyaXZlcnMvcGFzc3Rocm91Z2gvYW1kL2lv
bW11X21hcC5jIHwgIDEyICstLQogeGVuL2RyaXZlcnMvcGFzc3Rocm91Z2gvaW9tbXUuYyAgICAg
ICAgIHwgICAyICstCiB4ZW4vZHJpdmVycy9wYXNzdGhyb3VnaC92dGQvZG1hci5jICAgICAgfCAg
IDIgKy0KIHhlbi9kcml2ZXJzL3Bhc3N0aHJvdWdoL3g4Ni9pb21tdS5jICAgICB8ICAgMiArLQog
eGVuL2luY2x1ZGUvYXNtLWFybS9ncmFudF90YWJsZS5oICAgICAgIHwgIDExICsrLQogeGVuL2lu
Y2x1ZGUvYXNtLWFybS9tbS5oICAgICAgICAgICAgICAgIHwgIDQ1ICsrKy0tLS0tLS0tCiB4ZW4v
aW5jbHVkZS9hc20tYXJtL251bWEuaCAgICAgICAgICAgICAgfCAgIDggKy0KIHhlbi9pbmNsdWRl
L2FzbS1hcm0vcDJtLmggICAgICAgICAgICAgICB8ICAgNCArLQogeGVuL2luY2x1ZGUvYXNtLXg4
Ni9ncmFudF90YWJsZS5oICAgICAgIHwgICA2ICstCiB4ZW4vaW5jbHVkZS9hc20teDg2L2h2bS9n
cmFudF90YWJsZS5oICAgfCAgIDggKy0KIHhlbi9pbmNsdWRlL2FzbS14ODYvbW0uaCAgICAgICAg
ICAgICAgICB8ICAxMiArLS0KIHhlbi9pbmNsdWRlL2FzbS14ODYvcDJtLmggICAgICAgICAgICAg
ICB8ICAgMiArLQogeGVuL2luY2x1ZGUvYXNtLXg4Ni9wYWdlLmggICAgICAgICAgICAgIHwgIDMy
ICsrKystLS0tCiB4ZW4vaW5jbHVkZS9hc20teDg2L3B2L2dyYW50X3RhYmxlLmggICAgfCAgIDgg
Ky0KIHhlbi9pbmNsdWRlL3hlbi9kb21haW5fcGFnZS5oICAgICAgICAgICB8ICAgOCArLQogeGVu
L2luY2x1ZGUveGVuL21tLmggICAgICAgICAgICAgICAgICAgIHwgIDEwICstLQogeGVuL2luY2x1
ZGUveGVuL3BkeC5oICAgICAgICAgICAgICAgICAgIHwgICAzICsKIHhlbi9pbmNsdWRlL3hlbi90
bWVtX3hlbi5oICAgICAgICAgICAgICB8ICAgMiArLQogODUgZmlsZXMgY2hhbmdlZCwgNDI5IGlu
c2VydGlvbnMoKyksIDU3MSBkZWxldGlvbnMoLSkKCi0tIAoyLjExLjAKCgpfX19fX19fX19fX19f
X19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fXwpYZW4tZGV2ZWwgbWFpbGluZyBsaXN0
Clhlbi1kZXZlbEBsaXN0cy54ZW5wcm9qZWN0Lm9yZwpodHRwczovL2xpc3RzLnhlbnByb2plY3Qu
b3JnL21haWxtYW4vbGlzdGluZm8veGVuLWRldmVs