From mboxrd@z Thu Jan  1 00:00:00 1970
From: Ian Jackson <ian.jackson@citrix.com>
Subject: Re: [PATCH v11 9/9] xen: explicit casts when
 DECLARE_BOUNDS cannot be used [and 1 more messages]
Date: Thu, 7 Mar 2019 15:25:54 +0000
Message-ID: <23681.14338.969371.151047@mariner.uk.xensource.com>
References: <alpine.DEB.2.10.1903051433230.17552@sstabellini-ThinkPad-X260>
 <1551825512-8975-9-git-send-email-sstabellini@kernel.org>
 <5C810314020000780021C706@prv1-mh.provo.novell.com>
Mime-Version: 1.0
Content-Type: text/plain; charset="utf-8"
Content-Transfer-Encoding: base64
Return-path: <xen-devel-bounces@lists.xenproject.org>
Received: from all-amaz-eas1.inumbo.com ([34.197.232.57]
 helo=us1-amaz-eas2.inumbo.com)
 by lists.xenproject.org with esmtp (Exim 4.89) (envelope-from
 <SRS0=21/k=RK=citrix.com=prvs=9622e5608=ian.jackson@srs-us1.protection.inumbo.net>)
 id 1h1uuP-000067-FI
 for xen-devel@lists.xenproject.org; Thu, 07 Mar 2019 15:26:09 +0000
In-Reply-To: <1551825512-8975-9-git-send-email-sstabellini@kernel.org>,
 <5C810314020000780021C706@prv1-mh.provo.novell.com>
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: Jan Beulich <JBeulich@suse.com>, Stefano Stabellini <sstabellini@kernel.org>
Cc: Stefano Stabellini <stefanos@xilinx.com>, "xen-devel@lists.xenproject.org" <xen-devel@lists.xenproject.org>, "julien.grall@arm.com" <julien.grall@arm.com>, George Dunlap <George.Dunlap@citrix.com>, Andrew Cooper <Andrew.Cooper3@citrix.com>
List-Id: xen-devel@lists.xenproject.org

U3RlZmFubyBTdGFiZWxsaW5pIHdyaXRlcyAoIltQQVRDSCB2MTEgOS85XSB4ZW46IGV4cGxpY2l0
IGNhc3RzIHdoZW4gREVDTEFSRV9CT1VORFMgY2Fubm90IGJlIHVzZWQiKToKPiBTb21ldGltZXMg
dGhlIHN0YXRpYyBpbmxpbmUgZnVuY3Rpb25zIHByb3ZpZGVkIGJ5IERFQ0xBUkVfQk9VTkRTIGNh
bm5vdAo+IGJlIHVzZWQuIFRoaXMgcGF0Y2ggdXNlcyBleHBsaWNpdCBjYXN0cyB0byB1aW50cHRy
X3QgaW4gdGhvc2UgY2FzZXMuCj4gCj4gTTNDTTogUnVsZS0xOC4yOiBTdWJ0cmFjdGlvbiBiZXR3
ZWVuIHBvaW50ZXJzIHNoYWxsIG9ubHkgYmUgYXBwbGllZCB0bwo+IHBvaW50ZXJzIHRoYXQgYWRk
cmVzcyBlbGVtZW50cyBvZiB0aGUgc2FtZSBhcnJheQoKSU1PIHRoZXNlIGFkLWhvYyB3b3JrYXJv
dW5kcyAqbXVzdCogYmUgYWNjb21wYW5pZWQgYnkgYSBjbGVhcgpleHBsYW5hdGlvbiBvZiB3aHkg
dGhlIERFQ0xBUkVfQk9VTkRTIGFycmFnZW1lbnQgaXMgbm90IHN1aXRhYmxlLgoKCkluIGdlbmVy
YWwgSSBhbSB2ZXJ5IHN0cm9uZ2x5IG9mIHRoZSBvcGluaW9uIHRoYXQ6CgogKiBDb2RlIHNob3Vs
ZCBiZSB3cml0dGVuIHNvIHRoYXQgaXQgZG9lcyBub3QgaW50cm9kdWNlIHRoZSByaXNrIG9mCiAg
IGFjY2lkZW50YWxseSBpbmR1Y2luZyBVQiBpbiBjb3JyZWN0LWxvb2tpbmcgY29uc3RydWN0cyBl
bHNld2hlcmUuCgogKiBJbiBwYXJ0aWN1bGFyLCBkZWNsYXJhdGlvbnMgb2YgbGlua2VyIHN5bWJv
bHMgc2hvdWxkIGFsd2F5cyBiZQogICB3cml0dGVuIGluIGEgd2F5IHRoYXQgbWVhbnMgdGhhdCBw
bGFpbiBjb3JyZWN0LWxvb2tpbmcgY29kZSB3aWxsCiAgIGVpdGhlciAqYmUqIGNvcnJlY3Qgb3Ig
cHJvZHVjZSBhIGNvbXBpbGUgZXJyb3IuCgogKiBFeGNlcHRpb25zIG9mIHdoYXRldmVyIGtpbmQg
c2hvdWxkIGJlIGZ1bGx5IGp1c3RpZmllZCwgaW4gdGhlCiAgIGNvZGUuICBVc3VhbGx5IHRoaXMg
d2lsbCBtZWFuIGEgY2xlYXIgYW5kIGRldGFpbGVkIGFuZCByaWdvcm91cwogICBjb21tZW50IHdo
aWNoIGNvbnRhaW5zIGEgcHJvb2YgKG9yIHNpbWlsYXIgYXJndW1lbnQpIHRoYXQKICAgdGhlIGFw
cHJvYWNoIHRha2VuIGlzIHNvdW5kLgoKCkNvbnNpZGVyaW5nIHRoZXNlIHR3byBpbiByZXZlcnNl
IG9yZGVyLgoKYnVnX2ZyYW1lcwotLS0tLS0tLS0tCgpXaGF0IGFwcGVhcnMgdG8gYmUgZ29pbmcg
b24gaXMgdGhpczoKCnNldHVwX3ZpcnR1YWxfcmVnaW9ucyBjb250YWlucyBhIHN0YXRpYyBjb25z
dCBhcnJheSBvZiBwb2ludGVycyB0bwpzdHJ1Y3QgYnVnX2ZyYW1lLiAgVGhlc2Ugc3RydWN0IGJ1
Z19mcmFtZSogdmFsdWVzIGFyZSB0aGVtc2VsdmVzCmxpbmtlciBzeW1ib2wgdmFsdWVzLgoKQmVj
YXVzZSB0aGUgY29tcGlsZXIgaGFzIHZpc2liaWxpdHkgb2YgYWxsIG9mIHRoaXMsIGl0IGlzIGFs
bG93ZWQgdG8KYXNzdW1lIHRoYXQgdGhlc2UgdmFsdWVzIGRvIG5vdCBjaGFuZ2UuICBJdCB3aWxs
IHRoZXJlZm9yZSB3cm9uZ2x5CmFzc3VtZSB0aGF0IHRoZXkgYXJlIGluY29tcGFyYWJsZS4KCihB
bGwgb2YgdGhpcyBvdWdodCB0byBoYXZlIGJlZW4gZXhwbGFpbmVkIGluIGNvbW1lbnRzIGluIHRo
ZSBjb2RlLgpHaXZlbiB0aGF0IGl0IHdhc24ndCwgYSBjb21tZW50IG91Z2h0IHRvIGhhdmUgYmVl
biBpbiB5b3VyIHBhdGNoLgpJIHNob3VsZG4ndCBoYXZlIGhhZCB0byBnbyBhbmQgZGlnIGludG8g
dGhlIGNvZGUuKQoKQW5kIEknbSBhZnJhaWQgSSBkbyBub3QgbGlrZSB5b3VyIHBhdGNoLiAgVGhl
IGRlY2xhcmF0aW9uIGluIGVnCnhlbi9pbmNsdWRlL2FzbS1hcm0vYnVnLmgKCiAgZXh0ZXJuIGNv
bnN0IHN0cnVjdCBidWdfZnJhbWUgX19zdGFydF9idWdfZnJhbWVzW10sCiAgICAgICAgICAgICAg
ICAgICAgICAgICAgICAgICAgX19zdG9wX2J1Z19mcmFtZXNfMFtdLAogICAgICAgICAgICAgICAg
ICAgICAgICAgICAgICAgIF9fc3RvcF9idWdfZnJhbWVzXzFbXSwKICAgICAgICAgICAgICAgICAg
ICAgICAgICAgICAgICBfX3N0b3BfYnVnX2ZyYW1lc18yW107CgppcyBhIGNsZWFyIHZpb2xhdGlv
biBvZiB0aGUgcnVsZSBpbiB0aGUgREVDTEFSRV9CT1VORFMgY29tbWVudDoKCisgICogVGhlc2Ug
bWFjcm9zLCBvciBhbiBhbHRlcm5hdGl2ZSB0ZWNobmlxdWUsIE1VU1QgYmUgdXNlZCBhbnkgdGlt
ZQorICAqIGxpbmtlciBzeW1ib2xzIGFyZSBpbXBvcnRlZCBpbnRvIEMgdmlhIHRoZSBgZXh0ZXJu
IFtdJyBpZGlvbS4KCkkgdGhpbmsgYW4gYGFsdGVybmF0aXZlIHRlY2huaXF1ZScgc2hvdWxkIGJl
IGFwcGxpZWQgKmF0IHRoZSB0aW1lIG9mCnRoZSBkZWNsYXJhdGlvbiogYW5kIGl0IHNob3VsZCBz
dWZmaWNlIHRvICptb3N0bHkgYXZvaWQgdGhlIHJpc2sgb2YKZGFuZ2Vyb3VzIHVzZXMqLgoKSmFu
IGhhcyBvbmUgc3VnZ2VzdGlvbiwgd2hpY2ggSSBkb24ndCBmdWxseSB1bmRlcnN0YW5kIChzZWUg
YmVsb3cpLgpBbHRlcm5hdGl2ZWx5IEkgc3VnZ2VzdCB0aGUgZm9sbG93aW5nIGFkLWhvYyBhcHBy
b2FjaDoKCiAgKiBSZW5hbWUgX19zdGFydF9idWdfZnJhbWVzIGV0Yy4gdG8KICAgICAgX19VQkRB
TkdFUl8qYnVnX2ZyYW1lKgogICAgKGFuZCBwcm92aWRlIGFuIGFjY29tcGFueWluZyBjb21tZW50
IHNheWluZyB3aGF0IHRoZSBVQiBkYW5nZXIgaXMKICAgIGFuZCBob3cgVUIgbXVzdCBiZSBhdm9p
ZGVkKS4KCiAgKiBDaGFuZ2UgdGhlIGRlZmluaXRpb24gb2YgYnVnX2ZyYW1lcyB0bwogICAgICBz
dGF0aWMgY29uc3QgdWludHB0cl90IF9faW5pdGNvbnN0cmVsIGJ1Z19mcmFtZXNbXSAuLi4KCiAg
KiBQcm92aWRlIGFuIGFyY2gtaW5kZXBlbmRlbnQgaGVscGVyIG1hY3JvIHRvIGJvdGggZGVjbGFy
ZQogICAgX19VQkRBTkdFUl8qYnVnX2ZyYW1lKiwgY29udmVydGluZyB0aGUgcG9pbnRlcnMgdG8K
ICAgIHVpbnRwdHJfdCwgYW5kIGluaXRpYWxpc2UgdGhlIGFycmF5LgoKICAqIEluIHNldHVwX3Zp
cnR1YWxfcmVnaW9ucywgY2FzdCB0aGUgdWludHB0cl90IHRvIGEgcG9pbnRlci4gIFRoaXMKICAg
IG5lZWRzIHRvIGJlIGFjY29tcGFuaWVkIGJ5IGEgc3Vic3RhbnRpYWwgY29tbWVudCBleHBsYWlu
aW5nIHdoeQogICAgdGhpcyBpcyBzYWZlLiAgRWxlbWVudHMgb2YgdGhlIHByb29mIGFyZQogICAg
ICAtIHN0YXRpbmcgdGhhdCB0aGUgdGhpbmcgY2FtZSBmcm9tIGEgcG9pbnRlciB3aGljaCBjYW1l
CiAgICAgICAgZnJvbSBhIGxpbmtlciBzeW1ib2wsIHNvIGl0IGlzIGEgdmFsaWQgcG9pbnRlciB2
YWx1ZQogICAgICAtIHNvbWUga2luZCBvZiBhcmd1bWVudCB0aGF0IG5vIGNvZGUgZWxzZXdoZXJl
IHdpbGwKICAgICAgICBjb21wYXJlIHBvaW50ZXJzIGZyb20gZGlmZmVyZW50IGNvcmVfaW5pdC5m
cmFtZQogICAgICAgIGFuZCBjb3JlX2luaXQuZXggZW50cmllcy4KICAgIEkgb2JzZXJ2ZSB0aGF0
IHdpdGggdGhlIGN1cnJlbnQgY29kZSBJIHRoaW5rIG1ha2luZyBzdWNoIGFuCiAgICBhcmd1bWVu
dCBtYXkgaW52b2x2ZSBkb2luZyBzb21ldGhpbmcgYWJvdXQgY29yZV9pbml0LmV4IGFuZAogICAg
Y29yZV9pbml0LmV4X2VuZC4gIE5vdCBzdXJlLgoKQW4gYWx0ZXJuYXRpdmUgd291bGQgYmUgdG8g
Y29uc3RydWN0IHRoaXMgdGFibGUgaW4gYSBkaWZmZXJlbnQKdHJhbnNsYXRpb24gdW5pdCwgaW4g
d2hpY2ggY2FzZSB0aGUgY29tcGlsZXIgY29tcGlsaW5nCnNldHVwX3ZpcnR1YWxfcmVnaW9ucyBj
YW5ub3QgYHByb3ZlJyB0aGUgZmFsc2Vob29kIC4gIChOb3RlIHRoYXQgd2UKbXVzdCBiZSBkaXNh
Ymxpbmcgd2hvbGUtcHJvZ3JhbSBvcHRpbWlzYXRpb24uICBJIGhvcGUgd2UgYXJlISkKCgpKYW4g
d3JpdGVzOgoKPiBJIGRpc2FncmVlIHdpdGggdGhlIGNvbW1lbnQsCgpJIGFsc28gZGlzYWdyZWUg
d2l0aCB0aGUgd29yZGluZyBvZiB0aGUgY29tbWVudC4gIEl0IGlzIHNlcmlvdXNseQptaXNsZWFk
aW5nLiAgVGhlc2Ugc3ltYm9scyBkbyBpbiBmYWN0IHJlZmVyIHRvIHRoZSBzYW1lIG9iamVjdCEK
VGhlIHByb2JsZW0gaXMgdGhhdCB0aGUgY29tcGlsZXIgdGhpbmtzIG90aGVyd2lzZS4gIFlvdSBu
ZWVkIHdvcmRpbmcKbGlrZSB0aGF0IGluIERFQ0xBUkVfQk9VTkRTLiAgKE9yIGEgcmVmZXJlbmNl
IHRvIGl0LikKCj4gYW5kIGlmIHlvdSB0aGluayBpdCBpcyBjb3JyZWN0LCB0aGVuIG5vCj4gbWF0
dGVyIHdoYXQgeW91IGRvIHRoZSBiZWhhdmlvciBpcyB1bmRlZmluZWQuIEluc3RlYWQgSSB2aWV3
IHRoZQo+IGVudGlyZXR5IG9mIHRoZSAuYnVnX2ZyYW1lcy4qIHNlY3Rpb25zIGFzIGEgc2luZ2xl
IGFycmF5LCB3aXRoCj4gbGFiZWxzIHBsYWNlZCBub3Qgb25seSBhdCBzdGFydCBhbmQgZW5kLCBi
dXQgYWxzbyBpbiB0aGUgbWlkZGxlLiBJCj4gdGhpbmsgdGhlIGNvZGUgaGVyZSB3b3VsZCBiZXR0
ZXIgYWxzbyBiZSB0YWtlbiBjYXJlIG9mIGJ5IHRoZQo+IERFQ0xBUkVfQk9VTkRTKCkgbWFjaGlu
ZXJ5LCBkaXZpZGluZyB0aGUgc2luZ2xlIGFycmF5IGludG8KPiBtdWx0aXBsZSBzbWFsbGVyIG9u
ZXMuCgpKYW4sIEknbSBub3Qgc3VyZSBleGFjdGx5IHdoYXQgeW91IGFyZSBzdWdnZXN0aW5nLiAg
Q3VycmVudGx5IHRoZQphcnJheSBoYXMgb25lIHBvaW50ZXIgcGVyIGVsZW1lbnQuICBBcmUgeW91
IHN1Z2dlc3RpbmcgaXQgc2hvdWxkIGhhdmUKdHdvIHBvaW50ZXJzIChzdGFydCBhbmQgZW5kKSwg
d2l0aCBkaWZmZXJlbnQgbm90aW9uYWwgdHlwZXMgPwoKSWYgdGhhdCBpcyBPSyBmcm9tIGEgcGVy
ZiBwb2ludCBvZiB2aWV3IHRoZW4gaXQgaXMgYW4gZWFzeSBhbnN3ZXIKKGFsdGhvdWdoIGEgYml0
IHRpcmVzb21lIHNpbmNlIG1vcmUgbGlua2VyIHN5bWJvbHMgd2lsbCBoYXZlIHRvIGJlCmdlbmVy
YXRlZCkuCgoKX19zdGFydF94ZW4KLS0tLS0tLS0tLS0KCj4gQEAgLTk3Niw3ICs5NzYsOCBAQCB2
b2lkIF9faW5pdCBub3JldHVybiBfX3N0YXJ0X3hlbih1bnNpZ25lZCBsb25nIG1iaV9wKQo+ICAg
ICAgICAgICAqIHJlc3BlY3RpdmUgcmVzZXJ2ZV9lODIwX3JhbSgpIGludm9jYXRpb24gYmVsb3cu
Cj4gICAgICAgICAgICovCj4gICAgICAgICAgbW9kW21iaS0+bW9kc19jb3VudF0ubW9kX3N0YXJ0
ID0gdmlydF90b19tZm4oX3N0ZXh0KTsKPiAtICAgICAgICBtb2RbbWJpLT5tb2RzX2NvdW50XS5t
b2RfZW5kID0gX18yTV9yd2RhdGFfZW5kIC0gX3N0ZXh0Owo+ICsgICAgICAgIG1vZFttYmktPm1v
ZHNfY291bnRdLm1vZF9lbmQgPSAodWludHB0cl90KV9fMk1fcndkYXRhX2VuZCAtCj4gKyAgICAg
ICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICh1aW50cHRyX3QpIF9zdGV4dDsKCl9f
Mk1fcndkYXRhX2VuZCBhbmQgX3N0ZXh0IGFyZSBib3RoIGRlY2xhcmVkIGluIGhlYWRlciBmaWxl
cyB1c2luZyB0aGUKZGVwcmVjYXRlZCBwYXR0ZXJuLgoKICB4ZW4vaW5jbHVkZS94ZW4va2VybmVs
Lmg6ZXh0ZXJuIGNoYXIgX3N0ZXh0W10sIF9ldGV4dFtdOwogIHhlbi9pbmNsdWRlL2FzbS14ODYv
c2V0dXAuaDpleHRlcm4gY2hhciBfXzJNX3J3ZGF0YV9zdGFydFtdLCBfXzJNX3J3ZGF0YV9lbmRb
XTsKCkFjY29yZGluZyB0byB0aGUgY29tbWVudCBmb3IgREVGSU5FX0JPVU5EUywgaXQgb3VnaHQg
dG8gYmUgdXNlZCBoZXJlLApvciBzb21lIG90aGVyIG1lY2hhbmlzbS4gIEJ1dCBBRkFJQ1QgaHlv
dSBoYXZlIG5vdCBjaGFuZ2VkIHRoZQpkZWNsYXJhdGlvbnMgPwoKSWYgeW91IGNoYW5nZWQgdGhl
IGRlY2xhcmF0aW9ucyB0aGVuIChpKSBtaXN0YWtlcyB3b3VsZCBiZSBhdm9pZGVkCihpaSkgeW91
IHdvdWxkIHN0aWxsIGhhdmUgdG8gdXNlIGV4cGxpY2l0IGNhc3RzIHRvIGNvbXBhcmUgdGhlc2UK
cG9pbnRlcnMgdG8gZGlmZmVyZW50IHNlY3Rpb25zLCBidXQgeW91IGNvdWxkIHdyaXRlIGEgY2xl
YXIKZXhwbGFuYXRpb24gb2YgKGEpIHdoeSB0aGlzIGlzIG5lZWRlZCAoYikgd2h5IGl0IGlzIHNh
ZmUuCgpZb3UgaGF2ZSBkb25lIG5laXRoZXIuCgoKSSBob3BlIHRoaXMgbWFrZXMgc2Vuc2UuCgpU
aGFua3MsCklhbi4KCl9fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19f
X19fClhlbi1kZXZlbCBtYWlsaW5nIGxpc3QKWGVuLWRldmVsQGxpc3RzLnhlbnByb2plY3Qub3Jn
Cmh0dHBzOi8vbGlzdHMueGVucHJvamVjdC5vcmcvbWFpbG1hbi9saXN0aW5mby94ZW4tZGV2ZWw=