From mboxrd@z Thu Jan 1 00:00:00 1970 From: "Jan Beulich" Subject: Re: [PATCH 2/7] iommu: make use of type-safe BFN and MFN in exported functions Date: Tue, 10 Jul 2018 09:19:48 -0600 Message-ID: <5B44CE9402000078001D2D21@prv1-mh.provo.novell.com> References: <20180212104714.1922-1-paul.durrant@citrix.com> <20180212104714.1922-3-paul.durrant@citrix.com> <5AAAA30A02000078001B2447@prv-mh.provo.novell.com> <5B44C3EE02000078001D2C11@prv1-mh.provo.novell.com> Mime-Version: 1.0 Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: base64 Return-path: Received: from all-amaz-eas1.inumbo.com ([34.197.232.57]) by lists.xenproject.org with esmtp (Exim 4.89) (envelope-from ) id 1fcuQj-0001iA-RH for xen-devel@lists.xenproject.org; Tue, 10 Jul 2018 15:19:53 +0000 In-Reply-To: Content-Disposition: inline List-Unsubscribe: , List-Post: List-Help: List-Subscribe: , Errors-To: xen-devel-bounces@lists.xenproject.org Sender: "Xen-devel" To: George Dunlap Cc: Kevin Tian , Stefano Stabellini , Wei Liu , Andrew Cooper , Ian Jackson , Tim Deegan , Julien Grall , Paul Durrant , Jun Nakajima , xen-devel List-Id: xen-devel@lists.xenproject.org Pj4+IE9uIDEwLjA3LjE4IGF0IDE2OjU4LCA8R2VvcmdlLkR1bmxhcEBldS5jaXRyaXguY29tPiB3 cm90ZToKPiBPbiBUdWUsIEp1bCAxMCwgMjAxOCBhdCAzOjM0IFBNLCBKYW4gQmV1bGljaCA8SkJl dWxpY2hAc3VzZS5jb20+IHdyb3RlOgo+Pj4+PiBPbiAxMC4wNy4xOCBhdCAxNjoyOSwgPEdlb3Jn ZS5EdW5sYXBAZXUuY2l0cml4LmNvbT4gd3JvdGU6Cj4+PiBPbiBUaHUsIE1hciAxNSwgMjAxOCBh dCAzOjQ0IFBNLCBKYW4gQmV1bGljaCA8SkJldWxpY2hAc3VzZS5jb20+IHdyb3RlOgo+Pj4+PiAt LS0gYS94ZW4vYXJjaC94ODYvbW0uYwo+Pj4+PiArKysgYi94ZW4vYXJjaC94ODYvbW0uYwo+Pj4+ PiBAQCAtMjY3NiwxMyArMjY3NiwxMiBAQCBzdGF0aWMgaW50IF9nZXRfcGFnZV90eXBlKHN0cnVj dCBwYWdlX2luZm8gKnBhZ2UsCj4+PiB1bnNpZ25lZCBsb25nIHR5cGUsCj4+Pj4+ICAgICAgICAg IHN0cnVjdCBkb21haW4gKmQgPSBwYWdlX2dldF9vd25lcihwYWdlKTsKPj4+Pj4gICAgICAgICAg aWYgKCBkICYmIGlzX3B2X2RvbWFpbihkKSAmJiB1bmxpa2VseShuZWVkX2lvbW11KGQpKSApCj4+ Pj4+ICAgICAgICAgIHsKPj4+Pj4gLSAgICAgICAgICAgIGdmbl90IGdmbiA9IF9nZm4obWZuX3Rv X2dtZm4oZCwgbWZuX3gocGFnZV90b19tZm4ocGFnZSkpKSk7Cj4+Pj4+ICsgICAgICAgICAgICBi Zm5fdCBiZm4gPSBfYmZuKG1mbl90b19nbWZuKGQsIG1mbl94KHBhZ2VfdG9fbWZuKHBhZ2UpKSkp Owo+Pj4+Pgo+Pj4+PiAgICAgICAgICAgICAgaWYgKCAoeCAmIFBHVF90eXBlX21hc2spID09IFBH VF93cml0YWJsZV9wYWdlICkKPj4+Pj4gLSAgICAgICAgICAgICAgICBpb21tdV9yZXQgPSBpb21t dV91bm1hcF9wYWdlKGQsIGdmbl94KGdmbikpOwo+Pj4+PiArICAgICAgICAgICAgICAgIGlvbW11 X3JldCA9IGlvbW11X3VubWFwX3BhZ2UoZCwgYmZuKTsKPj4+Pj4gICAgICAgICAgICAgIGVsc2Ug aWYgKCB0eXBlID09IFBHVF93cml0YWJsZV9wYWdlICkKPj4+Pj4gLSAgICAgICAgICAgICAgICBp b21tdV9yZXQgPSBpb21tdV9tYXBfcGFnZShkLCBnZm5feChnZm4pLAo+Pj4+PiAtICAgICAgICAg ICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgIG1mbl94KHBhZ2VfdG9fbWZuKHBhZ2Up KSwKPj4+Pj4gKyAgICAgICAgICAgICAgICBpb21tdV9yZXQgPSBpb21tdV9tYXBfcGFnZShkLCBi Zm4sIHBhZ2VfdG9fbWZuKHBhZ2UpLAo+Pj4+Cj4+Pj4gQWxvbmcgdGhlIGxpbmVzIG9mIHdoYXQg SSd2ZSBzYWlkIGVhcmxpZXIgYWJvdXQgbWl4aW5nIGFkZHJlc3Mgc3BhY2VzLAo+Pj4+IHRoaXMg d291bGQgcGVyaGFwcyBub3Qgc28gbXVjaCBuZWVkIGEgY29tbWVudCAoaXQncyBhIDE6MSBtYXBw aW5nCj4+Pj4gYWZ0ZXIgYWxsKSwgYnV0IHJhdGhlciBtYWtpbmcgbW9yZSBvYnZpb3VzIHRoYXQg aXQncyBhIDE6MSBtYXBwaW5nLgo+Pj4+IFRoaXMgaW4gcGFydGljdWxhciB3b3VsZCBtZWFuIHRv IG1lIHRvIGxhdGNoIHBhZ2VfdG9fbWZuKHBhZ2UpIGludG8KPj4+PiBhIChuZXV0cmFsbHkgbmFt ZWQsIGUuZy4gImZyYW1lIikgbG9jYWwgdmFyaWFibGUsIGFuZCB1c2UgdGhlIHJlc3VsdCBpbgo+ Pj4+IGEgd2F5IHRoYXQgbWFrZXMgb2J2aW91c2x5IGVzcGVjaWFsbHkgb24gdGhlICJtYXAiIHBh dGggdGhhdCB0aGlzCj4+Pj4gcmVhbGx5IHJlcXVlc3RzIGEgMToxIG1hcHBpbmcuIEJ5IGltcGxp Y2F0aW9uIGZyb20gdGhlIDE6MSBtYXBwaW5nCj4+Pj4gaXQnbGwgdGhlbiAoaG9wZWZ1bGx5KSBi ZSBjbGVhciB0byB0aGUgcmVhZGVyIHRoYXQgd2hpY2ggZXhhY3QgbmFtZQo+Pj4+IHNwYWNlIGlz IHVzZWQgZG9lc24ndCByZWFsbHkgbWF0dGVyLgo+Pj4KPj4+IEknbSBzb3JyeSwgSSBkb24ndCB0 aGluayB0aGlzIGlzIGEgZ29vZCBpZGVhLgo+Pj4KPj4+IEZpcnN0IG9mIGFsbCwgaXQgZG9lc24n dCBjb21tdW5pY2F0ZSB3aGF0IHlvdSB0aGluayBpdCBkb2VzLiAgV2hhdAo+Pj4gaGF2aW5nIGFu IGV4dHJhIHZhcmlhYmxlIGNvbW11bmljYXRlcyBpcywgIkkgYW0gY2FsY3VsYXRpbmcgYW4gZXh0 cmEKPj4+IHZhbHVlIHRoYXQgd2lsbCBiZSB1c2VkIHNvbWV3aGVyZSIuICBXaGVuIEkgc2F3IHRo ZSAiaW50ZXJtZWRpYXRlIgo+Pj4gdmFyaWFibGVzIGFsbCBvdmVyIHRoZSBwbGFjZSwgSSBkaWRu J3QgaW1tZWRpYXRlbHkgdGhpbmsgImFic3RyYWN0Cj4+PiBzcGFjZSBiZWNhdXNlIHRoZXJlJ3Mg YSAxLTEgbWFwcGluZyIsIEkgd2FzIHNpbXBseSBjb25mdXNlZC4KPj4+Cj4+PiBPbiB0aGUgb3Ro ZXIgaGFuZCwgaXQgaXMgb2J2aW91cyB0byBtZSB0aGF0IGlmIHlvdSAxKSBoYXZlIGRpZmZlcmVu dAo+Pj4ga2luZHMgb2YgdmFyaWFibGVzIChnZm5fdCwgYmZuX3QsICZjKSBhbmQgMikgeW91IGNh c3Qgb25lIGZyb20gdGhlCj4+PiBvdGhlciBkb2luZyBzb21lIG1hdGgsIHRoYXQgeW91J3JlIGNh cmVmdWxseSBjaGFuZ2luZyBhZGRyZXNzIHNwYWNlczsKPj4+IGFuZCB0aGF0IGlmIHlvdSBkbyBf YmZuKGdmbiksIHRoYXQgeW91IGtub3cgeW91IGhhdmUgYSAxLTEgbWFwcGluZyAtLQo+Pj4gb3Ig YXQgbGVhc3QsIHlvdSB2ZXJ5IG11Y2ggYmV0dGVyIHdlbGwgaGF2ZSBvbmUsIG9yIHlvdSdyZSBk b2luZwo+Pj4gc29tZXRoaW5nIHdyb25nLgo+Pgo+PiBPa2F5IC0gZGlmZmVyaW5nIG9waW5pb25z LCB3aGF0IGRvIHlvdSBkby4gVG8gbWUgYW4gZXhwcmVzc2lvbiBsaWtlCj4+IF9iZm4oZ2ZuKSBs b29rcyBidWdneS4gQW5kIGlpcmMgd2UndmUgaGFkIGJ1Z3Mgb2YgdGhpcyBraW5kIGluIHRoZQo+ PiBwYXN0LCB3aGljaCB3b3VsZCB0aGVuIGNvbnRyYWRpY3QgeW91ciAiY2FyZWZ1bGx5IGNoYW5n aW5nIGFkZHJlc3MKPj4gc3BhY2VzIiBhc3N1bXB0aW9uLgo+IAo+IFRvIG1lIGl0IGxvb2tzIHRo ZSBzYW1lIGFzCj4gICB1bnNpZ25lZCBsb25nIHg7Cj4gICBjaGFyICogczsKPiAgIFtkbyBzb21l dGhpbmcgdG8gY2FsY3VsYXRlIHhdCj4gICBzID0gKGNoYXIgKil4Cj4gCj4gT2J2aW91c2x5IHRo YXQgc29ydCBvZiBjYXN0aW5nIGluIEMgaGFzIHNoYXJwIGVkZ2VzLCBzbyB5b3UgbmVlZCB0byBi ZSAKPiBjYXJlZnVsLgoKUmlnaHQsIGFuZCBJIG9iamVjdCB0byBjYXN0cyB3aGVyZXZlciBJIGNh bi4KCj4gQnVncyBjYW4gaGFwcGVuIGluIGFueSBzb3J0IG9mIGNvZGUgLS0gd291bGQgdGhlIGJ1 ZyB5b3UgaGF2ZSBpbiBtaW5kCj4gYWN0dWFsbHkgaGF2ZSBiZWVuIHByZXZlbnRlZCB3aXRoIHRo ZSB1c2Ugb2YgYW4gZXh0cmEgdmFyaWFibGU/CgpIb3cgY2FuIEkgdGVsbD8gTWF5YmUsIG1heWJl IG5vdC4KCj4+IEFzIHNhaWQgaW4gdGhlIG90aGVyIHJlcGx5LCBzb21ldGhpbmcgbGlrZQo+PiAg ICAgICAgIGlvbW11X21hcF9wYWdlKC4uLiwgX2JmbihmcmFtZSksIGZyYW1lLCAuLi4pCj4+IG1h a2VzIHByZXR0eSBjbGVhciB0aGF0IGEgMToxIG1hcHBpbmcgaXMgd2FudGVkLgo+IAo+IEkganVz dCBkb24ndCBzZWUgaG93IHRoaXMgaXMgc3VwcG9zZWQgdG8gY2F0Y2ggbW9yZSBidWdzIHRoYW4K PiAgICAvKiBnZm5zIGFyZSBtYXBwZWQgMToxIHdpdGggbWZucyAqLwo+ICAgICBpb21tdV9tYXBf cGFnZSguLi4sIF9iZm4oZ2ZuKSwgZ2ZuLCAuLi4pCgpXZWxsLCB3aXRoIHRoZSBjb21tZW50IGl0 IHByb2JhYmx5IGRvZXNuJ3QgbWF0dGVyIGhvdyB0aGUKdmFyaWFibGUocykgaXMvYXJlIG5hbWVk LgoKPiBUaGVyZSBtYXkgYmUgc29tZSBwbGFjZXMgd2hlcmUgaGF2aW5nIGFuIGludGVybWVkaWF0 ZSB2YXJpYWJsZSBtaWdodAo+IG1ha2UgdGhpbmdzIGNsZWFyZXIsIGJ1dCB0aGVyZSBhcmUgYW4g YXdmdWwgbG90IG9mIHBsYWNlcyBpbiBQYXVsJ3MKPiBwYXRjaGVzIHdoZXJlIHRoZSBjb2RlIGp1 c3QgbG9va3MgbGlrZSB0aGlzOgo+ICAgdW5zaWduZWQgbG9uZyBmcmFtZSA9IGJmbjsKPiAgIGdm bl90IGdmbiA9IF9nZm4oZnJhbWUpOwo+ICAgbWZuX3QgbWZuID0gX21mbihmcmFtZSk7Cj4gCj4g V2hpY2gganVzdCBzZWVtcyByZWFsbHkgcG9pbnRsZXNzLgoKVGhpcyBpbmRlZWQgbG9va3MgdG8g YmUgZ29pbmcgdG9vIGZhci4KCkphbgoKCl9fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19f X19fX19fX19fX19fX19fClhlbi1kZXZlbCBtYWlsaW5nIGxpc3QKWGVuLWRldmVsQGxpc3RzLnhl bnByb2plY3Qub3JnCmh0dHBzOi8vbGlzdHMueGVucHJvamVjdC5vcmcvbWFpbG1hbi9saXN0aW5m by94ZW4tZGV2ZWw=