From mboxrd@z Thu Jan  1 00:00:00 1970
From: Paul Durrant <Paul.Durrant@citrix.com>
Subject: Re: [PATCH v2 9/9] xen: Convert __page_to_mfn and
 __mfn_to_page to use typesafe MFN
Date: Fri, 6 Oct 2017 10:55:35 +0000
Message-ID: <e9a985d467f14f7bb146a535c3f57b9a@AMSPEX02CL03.citrite.net>
References: <20171005174222.29161-1-julien.grall@linaro.org>
 <20171005174222.29161-10-julien.grall@linaro.org>
 <73c55f21a19b4831b011044c43fa9dbb@AMSPEX02CL03.citrite.net>
 <3e427451-4fa2-7e9f-5d7a-dfa23d0ab35b@linaro.org>
Mime-Version: 1.0
Content-Type: text/plain; charset="utf-8"
Content-Transfer-Encoding: base64
Return-path: <xen-devel-bounces@lists.xen.org>
In-Reply-To: <3e427451-4fa2-7e9f-5d7a-dfa23d0ab35b@linaro.org>
Content-Language: en-US
List-Unsubscribe: <https://lists.xen.org/cgi-bin/mailman/options/xen-devel>,
 <mailto:xen-devel-request@lists.xen.org?subject=unsubscribe>
List-Post: <mailto:xen-devel@lists.xen.org>
List-Help: <mailto:xen-devel-request@lists.xen.org?subject=help>
List-Subscribe: <https://lists.xen.org/cgi-bin/mailman/listinfo/xen-devel>,
 <mailto:xen-devel-request@lists.xen.org?subject=subscribe>
Errors-To: xen-devel-bounces@lists.xen.org
Sender: "Xen-devel" <xen-devel-bounces@lists.xen.org>
To: 'Julien Grall' <julien.grall@linaro.org>, "xen-devel@lists.xen.org" <xen-devel@lists.xen.org>
Cc: Kevin Tian <kevin.tian@intel.com>, Stefano Stabellini <sstabellini@kernel.org>, Wei Liu <wei.liu2@citrix.com>, Suravee Suthikulpanit <suravee.suthikulpanit@amd.com>, Razvan Cojocaru <rcojocaru@bitdefender.com>, Konrad Rzeszutek Wilk <konrad.wilk@oracle.com>, Jun Nakajima <jun.nakajima@intel.com>, Andrew Cooper <Andrew.Cooper3@citrix.com>, "Tim (Xen.org)" <tim@xen.org>, George Dunlap <George.Dunlap@citrix.com>, Julien Grall <julien.grall@arm.com>, Tamas K Lengyel <tamas@tklengyel.com>, Jan Beulich <jbeulich@suse.com>, Shane Wang <shane.wang@intel.com>, Ian Jackson <Ian.Jackson@citrix.com>, Boris Ostrovsky <boris.ostrovsky@oracle.com>, Gang Wei <gang.wei@intel.com>
List-Id: xen-devel@lists.xenproject.org

PiAtLS0tLU9yaWdpbmFsIE1lc3NhZ2UtLS0tLQ0KPiBGcm9tOiBKdWxpZW4gR3JhbGwgW21haWx0
bzpqdWxpZW4uZ3JhbGxAbGluYXJvLm9yZ10NCj4gU2VudDogMDYgT2N0b2JlciAyMDE3IDExOjQ5
DQo+IFRvOiBQYXVsIER1cnJhbnQgPFBhdWwuRHVycmFudEBjaXRyaXguY29tPjsgeGVuLWRldmVs
QGxpc3RzLnhlbi5vcmcNCj4gQ2M6IFN0ZWZhbm8gU3RhYmVsbGluaSA8c3N0YWJlbGxpbmlAa2Vy
bmVsLm9yZz47IEp1bGllbiBHcmFsbA0KPiA8anVsaWVuLmdyYWxsQGFybS5jb20+OyBBbmRyZXcg
Q29vcGVyIDxBbmRyZXcuQ29vcGVyM0BjaXRyaXguY29tPjsNCj4gR2VvcmdlIER1bmxhcCA8R2Vv
cmdlLkR1bmxhcEBjaXRyaXguY29tPjsgSWFuIEphY2tzb24NCj4gPElhbi5KYWNrc29uQGNpdHJp
eC5jb20+OyBKYW4gQmV1bGljaCA8amJldWxpY2hAc3VzZS5jb20+OyBLb25yYWQNCj4gUnplc3p1
dGVrIFdpbGsgPGtvbnJhZC53aWxrQG9yYWNsZS5jb20+OyBUaW0gKFhlbi5vcmcpIDx0aW1AeGVu
Lm9yZz47DQo+IFdlaSBMaXUgPHdlaS5saXUyQGNpdHJpeC5jb20+OyBSYXp2YW4gQ29qb2NhcnUN
Cj4gPHJjb2pvY2FydUBiaXRkZWZlbmRlci5jb20+OyBUYW1hcyBLIExlbmd5ZWwgPHRhbWFzQHRr
bGVuZ3llbC5jb20+Ow0KPiBCb3JpcyBPc3Ryb3Zza3kgPGJvcmlzLm9zdHJvdnNreUBvcmFjbGUu
Y29tPjsgU3VyYXZlZSBTdXRoaWt1bHBhbml0DQo+IDxzdXJhdmVlLnN1dGhpa3VscGFuaXRAYW1k
LmNvbT47IEp1biBOYWthamltYQ0KPiA8anVuLm5ha2FqaW1hQGludGVsLmNvbT47IEtldmluIFRp
YW4gPGtldmluLnRpYW5AaW50ZWwuY29tPjsgR2FuZyBXZWkNCj4gPGdhbmcud2VpQGludGVsLmNv
bT47IFNoYW5lIFdhbmcgPHNoYW5lLndhbmdAaW50ZWwuY29tPg0KPiBTdWJqZWN0OiBSZTogW1BB
VENIIHYyIDkvOV0geGVuOiBDb252ZXJ0IF9fcGFnZV90b19tZm4gYW5kDQo+IF9fbWZuX3RvX3Bh
Z2UgdG8gdXNlIHR5cGVzYWZlIE1GTg0KPiANCj4gSGkgUGF1bCwNCj4gDQo+IE9uIDA2LzEwLzE3
IDEwOjExLCBQYXVsIER1cnJhbnQgd3JvdGU6DQo+ID4+IGRpZmYgLS1naXQgYS94ZW4vYXJjaC9h
cm0vcDJtLmMgYi94ZW4vYXJjaC9hcm0vcDJtLmMNCj4gPj4gaW5kZXggMDQxMGIxZTg2Yi4uMWU3
YTBjNmM0MCAxMDA2NDQNCj4gPj4gLS0tIGEveGVuL2FyY2gvYXJtL3AybS5jDQo+ID4+ICsrKyBi
L3hlbi9hcmNoL2FybS9wMm0uYw0KPiA+PiBAQCAtMzgsMTIgKzM4LDYgQEAgc3RhdGljIHVuc2ln
bmVkIGludCBfX3JlYWRfbW9zdGx5IG1heF92bWlkID0NCj4gPj4gTUFYX1ZNSURfOF9CSVQ7DQo+
ID4+DQo+ID4+ICAgI2RlZmluZSBQMk1fUk9PVF9QQUdFUyAgICAoMTw8UDJNX1JPT1RfT1JERVIp
DQo+ID4+DQo+ID4+IC0vKiBPdmVycmlkZSBtYWNyb3MgZnJvbSBhc20vbW0uaCB0byBtYWtlIHRo
ZW0gd29yayB3aXRoIG1mbl90ICovDQo+ID4+IC0jdW5kZWYgbWZuX3RvX3BhZ2UNCj4gPj4gLSNk
ZWZpbmUgbWZuX3RvX3BhZ2UobWZuKSBfX21mbl90b19wYWdlKG1mbl94KG1mbikpDQo+ID4+IC0j
dW5kZWYgcGFnZV90b19tZm4NCj4gPj4gLSNkZWZpbmUgcGFnZV90b19tZm4ocGcpIF9tZm4oX19w
YWdlX3RvX21mbihwZykpDQo+ID4+IC0NCj4gPj4gICB1bnNpZ25lZCBpbnQgX19yZWFkX21vc3Rs
eSBwMm1faXBhX2JpdHM7DQo+ID4+DQo+ID4+ICAgLyogSGVscGVycyB0byBsb29rdXAgdGhlIHBy
b3BlcnRpZXMgb2YgZWFjaCBsZXZlbCAqLw0KPiA+PiBAQCAtOTgsNyArOTIsNyBAQCB2b2lkIGR1
bXBfcDJtX2xvb2t1cChzdHJ1Y3QgZG9tYWluICpkLCBwYWRkcl90DQo+ID4+IGFkZHIpDQo+ID4+
ICAgICAgIHByaW50aygiZG9tJWQgSVBBIDB4JSJQUklwYWRkciJcbiIsIGQtPmRvbWFpbl9pZCwg
YWRkcik7DQo+ID4+DQo+ID4+ICAgICAgIHByaW50aygiUDJNIEAgJXAgbWZuOjB4JWx4XG4iLA0K
PiA+PiAtICAgICAgICAgICBwMm0tPnJvb3QsIF9fcGFnZV90b19tZm4ocDJtLT5yb290KSk7DQo+
ID4+ICsgICAgICAgICAgIHAybS0+cm9vdCwgbWZuX3gocGFnZV90b19tZm4ocDJtLT5yb290KSkp
Ow0KPiA+DQo+ID4gVGhlIGZvcm1hdCBzcGVjaWZpZXIgc2hvdWxkIHJlYWxseSBiZSB1c2luZyBQ
UklfbWZuIG5vdy4gU2FtZSBnb2VzIGZvcg0KPiBvdGhlcnMgYmVsb3cuDQo+IA0KPiBTaW1pbGFy
bHkgd2UgY291bGQgZG8gbXVjaCBtb3JlIGNsZWFuLXVwIGluIGVhY2ggY2h1bmsuIFNvIHdoZXJl
IGRvIEkNCj4gc3RvcD8gVGhhdCdzIHdoeSBJIHdyb3RlIGRvd24gaW4gdGhpcyBjb21tZW50IEkg
d2lsbCBub3QgaGFuZGxlIGFsbCB0aGUNCj4gY2xlYW4tdXAuLi4NCj4gDQoNCkkgcmVhbGlzZSB5
b3UgY2FuJ3QgZml4IGl0IGFsbCwgYnV0IHRvIG1lIGl0IHNlZW1zIHJlYXNvbmFibGUgdG8gZml4
IGZvcm1hdCBzcGVjaWZpZXJzIGluIHRoZSBjYWxscyB5b3UgbW9kaWZ5Lg0KDQo+ID4+IGRpZmYg
LS1naXQgYS94ZW4vYXJjaC94ODYvcHYvZGVzY3JpcHRvci10YWJsZXMuYw0KPiA+PiBiL3hlbi9h
cmNoL3g4Ni9wdi9kZXNjcmlwdG9yLXRhYmxlcy5jDQo+ID4+IGluZGV4IDgxOTczYWYxMjQuLmYy
YjIwZjk5MTAgMTAwNjQ0DQo+ID4+IC0tLSBhL3hlbi9hcmNoL3g4Ni9wdi9kZXNjcmlwdG9yLXRh
Ymxlcy5jDQo+ID4+ICsrKyBiL3hlbi9hcmNoL3g4Ni9wdi9kZXNjcmlwdG9yLXRhYmxlcy5jDQo+
ID4+IEBAIC0yNSwxNiArMjUsNiBAQA0KPiA+PiAgICNpbmNsdWRlIDxhc20vcDJtLmg+DQo+ID4+
ICAgI2luY2x1ZGUgPGFzbS9wdi9tbS5oPg0KPiA+Pg0KPiA+PiAtLyogT3ZlcnJpZGUgbWFjcm9z
IGZyb20gYXNtL3BhZ2UuaCB0byBtYWtlIHRoZW0gd29yayB3aXRoIG1mbl90ICovDQo+ID4+IC0j
dW5kZWYgbWZuX3RvX3BhZ2UNCj4gPj4gLSNkZWZpbmUgbWZuX3RvX3BhZ2UobWZuKSBfX21mbl90
b19wYWdlKG1mbl94KG1mbikpDQo+ID4+IC0jdW5kZWYgcGFnZV90b19tZm4NCj4gPj4gLSNkZWZp
bmUgcGFnZV90b19tZm4ocGcpIF9tZm4oX19wYWdlX3RvX21mbihwZykpDQo+ID4+IC0NCj4gPj4g
LS8qKioqKioqKioqKioqKioqKioqDQo+ID4+IC0gKiBEZXNjcmlwdG9yIFRhYmxlcw0KPiA+PiAt
ICovDQo+ID4+IC0NCj4gPg0KPiA+IElzIHRoZSBjb21tZW50IHdyb25nPw0KPiANCj4gWy4uLl0N
Cj4gDQo+ID4+IGRpZmYgLS1naXQgYS94ZW4vYXJjaC94ODYvcHYvZW11bC1wcml2LW9wLmMgYi94
ZW4vYXJjaC94ODYvcHYvZW11bC0NCj4gcHJpdi0NCj4gPj4gb3AuYw0KPiA+PiBpbmRleCBkZDkw
NzEzYWNmLi45Y2NiZDAyMWVmIDEwMDY0NA0KPiA+PiAtLS0gYS94ZW4vYXJjaC94ODYvcHYvZW11
bC1wcml2LW9wLmMNCj4gPj4gKysrIGIveGVuL2FyY2gveDg2L3B2L2VtdWwtcHJpdi1vcC5jDQo+
ID4+IEBAIC00MywxNiArNDMsNiBAQA0KPiA+PiAgICNpbmNsdWRlICJlbXVsYXRlLmgiDQo+ID4+
ICAgI2luY2x1ZGUgIm1tLmgiDQo+ID4+DQo+ID4+IC0vKiBPdmVycmlkZSBtYWNyb3MgZnJvbSBh
c20vcGFnZS5oIHRvIG1ha2UgdGhlbSB3b3JrIHdpdGggbWZuX3QgKi8NCj4gPj4gLSN1bmRlZiBt
Zm5fdG9fcGFnZQ0KPiA+PiAtI2RlZmluZSBtZm5fdG9fcGFnZShtZm4pIF9fbWZuX3RvX3BhZ2Uo
bWZuX3gobWZuKSkNCj4gPj4gLSN1bmRlZiBwYWdlX3RvX21mbg0KPiA+PiAtI2RlZmluZSBwYWdl
X3RvX21mbihwZykgX21mbihfX3BhZ2VfdG9fbWZuKHBnKSkNCj4gPj4gLQ0KPiA+PiAtLyoqKioq
KioqKioqKioqKioqKioqKioqDQo+ID4+IC0gKiBJL08gZW11bGF0aW9uIHN1cHBvcnQNCj4gPj4g
LSAqLw0KPiA+PiAtDQo+ID4NCj4gPiBXaGF0J3Mgd3Jvbmcgd2l0aCB0aGUgY29tbWVudD8NCj4g
DQo+IFRoZSBmaWxlIGlzIGRlZGljYXRlZCB0byBJL08gZW11bGF0aW9uIHN1cHBvcnQgYXMgc2Fp
ZCBpbiB0aGUgaGVhZGVyIGFuZA0KPiB0aGUgbmFtZS4gSSBjYW4gdW5kZXJzdGFuZCB3aHkgaXQg
d2FzIHRoZXJlIGdpdmVuIHRoZXJlIHdhcyBtYWNyb3MNCj4gZGVmaW5lZCBub3QgcmVsYXRlZCB0
byBJL08uIE5vdyB0aGV5IGFyZSBkcm9wcGVkLCB3aHkgd291bGQgeW91IG5lZWQgYQ0KPiBjb21t
ZW50IHRvIHNlcGFyYXRlIGluY2x1ZGVzIGFuZCB0aGUgY29kZT8NCj4gDQoNCkl0IG1ha2VzIHRo
ZSBodW5rIGxvb2sgb2RkIHRob3VnaC4gSSB0aGluayB5b3Ugc2hvdWxkIGxlYXZlIHRoZSBjb21t
ZW50IGFsb25lIGluIHRoaXMgcGF0Y2gsIGV2ZW4gaWYgeW91IGRvIHRoaW5rIGl0IHN1cGVyZmx1
b3VzLg0KDQo+IFsuLi5dDQo+IA0KPiA+PiBkaWZmIC0tZ2l0IGEveGVuL2FyY2gveDg2L3RyYXBz
LmMgYi94ZW4vYXJjaC94ODYvdHJhcHMuYw0KPiA+PiBpbmRleCA4NjUwNmYzNzQ3Li5iODUzOTRk
MWY5IDEwMDY0NA0KPiA+PiAtLS0gYS94ZW4vYXJjaC94ODYvdHJhcHMuYw0KPiA+PiArKysgYi94
ZW4vYXJjaC94ODYvdHJhcHMuYw0KPiA+PiBAQCAtODExLDcgKzgxMSw3IEBAIGludCB3cm1zcl9o
eXBlcnZpc29yX3JlZ3ModWludDMyX3QgaWR4LCB1aW50NjRfdA0KPiB2YWwpDQo+ID4+DQo+ID4+
ICAgICAgICAgICAgICAgZ2RwcmludGsoWEVOTE9HX1dBUk5JTkcsDQo+ID4+ICAgICAgICAgICAg
ICAgICAgICAgICAgIkJhZCBHTUZOICVseCAoTUZOICVseCkgdG8gTVNSICUwOHhcbiIsDQo+ID4+
IC0gICAgICAgICAgICAgICAgICAgICBnbWZuLCBwYWdlID8gcGFnZV90b19tZm4ocGFnZSkgOiAt
MVVMLCBiYXNlKTsNCj4gPj4gKyAgICAgICAgICAgICAgICAgICAgIGdtZm4sIHBhZ2UgPyBtZm5f
eChwYWdlX3RvX21mbihwYWdlKSkgOiAtMVVMLCBiYXNlKTsNCj4gPg0KPiA+IFdvdWxkIHRoaXMg
bm90IGJlIGJldHRlciBhcyBtZm5feChwYWdlID8gcGFnZV90b19tZm4ocGFnZSkgOg0KPiBJTlZB
TElEX01GTiksIGFzIHlvdSBoYXZlIGRvbmUgZWxzZXdoZXJlPw0KPiANCj4gU2VlIGFib3ZlLg0K
DQpBbmQgYWdhaW4sIHlvdSBhcmUgbW9kaWZ5aW5nIHRoZSBjb2RlIHNvIHdoeSBub3QgbW9kaWZ5
IGl0IHN1Y2ggdGhhdCBpdCBpcyBjb2RlZCBhcHByb3ByaWF0ZWx5LCBhcyB5b3UgaGF2ZSBpbiBv
dGhlciBwbGFjZXMgaW4gdGhpcyBwYXRjaD8NCg0KICBQYXVsDQoNCj4gDQo+IC0tDQo+IEp1bGll
biBHcmFsbA0KX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX18K
WGVuLWRldmVsIG1haWxpbmcgbGlzdApYZW4tZGV2ZWxAbGlzdHMueGVuLm9yZwpodHRwczovL2xp
c3RzLnhlbi5vcmcveGVuLWRldmVsCg==