From mboxrd@z Thu Jan  1 00:00:00 1970
From: "Jan Beulich" <JBeulich@suse.com>
Subject: Re: [PATCH v2] x86/mm: also flush TLB when putting
 writable foreign page reference
Date: Tue, 25 Apr 2017 05:59:10 -0600
Message-ID: <58FF562E0200007800153E6D@prv-mh.provo.novell.com>
References: <58FF2C060200007800153D45@prv-mh.provo.novell.com>
 <58FF2C060200007800153D45@prv-mh.provo.novell.com>
 <20170425105954.GB43635@deinos.phlegethon.org>
Mime-Version: 1.0
Content-Type: text/plain; charset="utf-8"
Content-Transfer-Encoding: base64
Return-path: <xen-devel-bounces@lists.xen.org>
Received: from mail6.bemta5.messagelabs.com ([195.245.231.135])
 by lists.xenproject.org with esmtp (Exim 4.84_2)
 (envelope-from <JBeulich@suse.com>) id 1d2z7m-0005OE-Oy
 for xen-devel@lists.xenproject.org; Tue, 25 Apr 2017 11:59:18 +0000
In-Reply-To: <20170425105954.GB43635@deinos.phlegethon.org>
Content-Disposition: inline
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: Jann Horn <jannh@google.com>, Tim Deegan <tim@xen.org>
Cc: Andrew Cooper <andrew.cooper3@citrix.com>, Julien Grall <julien.grall@arm.com>, xen-devel <xen-devel@lists.xenproject.org>
List-Id: xen-devel@lists.xenproject.org

Pj4+IE9uIDI1LjA0LjE3IGF0IDEyOjU5LCA8dGltQHhlbi5vcmc+IHdyb3RlOgo+IEhpLAo+IAo+
IEF0IDAyOjU5IC0wNjAwIG9uIDI1IEFwciAoMTQ5MzA4OTE1OCksIEphbiBCZXVsaWNoIHdyb3Rl
Ogo+PiBKYW5uJ3MgZXhwbGFuYXRpb24gb2YgdGhlIHByb2JsZW06Cj4+IAo+PiAic3RhcnQgc2l0
dWF0aW9uOgo+PiAgLSBkb21haW4gQSBhbmQgZG9tYWluIEIgYXJlIFBWIGRvbWFpbnMKPj4gIC0g
ZG9tYWluIEEgYW5kIEIgYm90aCBoYXZlIGN1cnJlbnRseSBzY2hlZHVsZWQgdkNQVXMsIGFuZCB0
aGUgdkNQVXMKPj4gICAgYXJlIG5vdCBzY2hlZHVsZWQgYXdheQo+PiAgLSBkb21haW4gQSBoYXMg
WFNNX1RBUkdFVCBhY2Nlc3MgdG8gZG9tYWluIEIKPj4gIC0gcGFnZSBYIGlzIG93bmVkIGJ5IGRv
bWFpbiBCIGFuZCBoYXMgbm8gbWFwcGluZ3MKPj4gIC0gcGFnZSBYIGlzIHplcm9lZAo+PiAKPj4g
IHN0ZXBzOgo+PiAgLSBkb21haW4gQSB1c2VzIGRvX21tdV91cGRhdGUoKSB0byBtYXAgcGFnZSBY
IGluIGRvbWFpbiBBIGFzIHdyaXRhYmxlCj4+ICAtIGRvbWFpbiBBIGFjY2Vzc2VzIHBhZ2UgWCB0
aHJvdWdoIHRoZSBuZXcgUFRFLCBjcmVhdGluZyBhIFRMQiBlbnRyeQo+PiAgLSBkb21haW4gQSBy
ZW1vdmVzIGl0cyBtYXBwaW5nIG9mIHBhZ2UgWAo+PiAgICAtIHR5cGUgY291bnQgb2YgcGFnZSBY
IGdvZXMgdG8gMAo+PiAgICAtIHRsYmZsdXNoX3RpbWVzdGFtcCBvZiBwYWdlIFggaXMgYnVtcGVk
Cj4+ICAtIGRvbWFpbiBCIG1hcHMgcGFnZSBYIGFzIEwxIHBhZ2V0YWJsZQo+PiAgICAtIHR5cGUg
b2YgcGFnZSBYIGNoYW5nZXMgdG8gUEdUX2wxX3BhZ2VfdGFibGUKPj4gICAgLSBUTEIgZmx1c2gg
aXMgZm9yY2VkIHVzaW5nIGRvbWFpbl9kaXJ0eV9jcHVtYXNrIG9mIGRvbWFpbiBCCj4+ICAgIC0g
cGFnZSBYIGlzIG1hcHBlZCBhcyBMMSBwYWdldGFibGUgaW4gZG9tYWluIEIKPj4gCj4+ICBBdCB0
aGlzIHBvaW50LCBkb21haW4gQidzIHZDUFVzIGFyZSBndWFyYW50ZWVkIHRvIGhhdmUgbm8KPj4g
IGluY29ycmVjdGx5LXR5cGVkIHN0YWxlIFRMQiBlbnRyaWVzIGZvciBwYWdlIFgsIGJ1dCBBRkFJ
Q1MgZG9tYWluIEEncwo+PiAgdkNQVXMgY2FuIHN0aWxsIGhhdmUgc3RhbGUgVExCIGVudHJpZXMg
dGhhdCBtYXAgcGFnZSBYIGFzIHdyaXRhYmxlLAo+PiAgcGVybWl0dGluZyBkb21haW4gQSB0byBj
b250cm9sIGEgbGl2ZSBwYWdldGFibGUgb2YgZG9tYWluIEIuIgo+IAo+IEFJVUkgdGhpcyBwYXRj
aCBzb2x2ZXMgdGhlIHByb2JsZW0gYnkgaW1tZWRpYXRlbHkgZmx1c2hpbmcgZG9tYWluIEEncwo+
IFRMQiBlbnRyaWVzIGF0IHRoZSBwb2ludCB3aGVyZSBkb21haW4gQSByZW1vdmVzIGl0cyBtYXBw
aW5nIG9mIHBhZ2UgWC4KPiAKPiBDb3VsZCB3ZSwgaW5zdGVhZCwgYml0d2lzZSBPUiBkb21haW4g
QSdzIGRvbWFpbl9kaXJ0eV9jcHVtYXNrIGludG8KPiBkb21haW4gQidzIGRvbWFpbl9kaXJ0eV9j
cHVtYXNrIGF0IHRoZSBzYW1lIHBvaW50Pwo+IAo+IFRoZW4gd2hlbiBkb21haW4gQiBmbHVzaGVz
IFRMQnMgaW4gdGhlIGxhc3Qgc3RlcCAoaW4gX19nZXRfcGFnZV90eXBlKCkpCj4gaXQgd2lsbCBj
YXRjaCBhbnkgc3RhbGUgVExCIGVudHJpZXMgZnJvbSBkb21haW4gQSBhcyB3ZWxsLiAgQnV0IGlu
IHRoZQo+IChob3BlZnVsbHkgY29tbW9uKSBjYXNlIHdoZXJlIHRoZXJlJ3MgYSBkZWxheSBiZXR3
ZWVuIGRvbWFpbiBBJ3MKPiBfX3B1dF9wYWdlX3R5cGUoKSBhbmQgZG9tYWluIEIncyBfX2dldF9w
YWdlX3R5cGUoKSwgdGhlIHVzdWFsIFRMQgo+IHRpbWVzdGFtcCBmaWx0ZXJpbmcgd2lsbCBzdXBw
cmVzcyBzb21lIG9mIHRoZSBJUElzL2ZsdXNoZXMuCgpPaCwgSSBzZWUuIFllcywgSSB0aGluayB0
aGlzIHdvdWxkIGJlIGZpbmUuIEhvd2V2ZXIsIHdlIGRvbid0IGhhdmUKYSBzdWl0YWJsZSBjcHVt
YXNrIGFjY2Vzc29yIGFsbG93aW5nIHVzIHRvIGRvIHRoaXMgT1JpbmcgYXRvbWljYWxseSwKc28g
d2UnZCBoYXZlIHRvIG9wZW4gY29kZSBpdC4gRG8geW91IHRoaW5rIHN1Y2ggYSBzbGlnaHRseSB1
Z2x5CmFwcHJvYWNoIHdvdWxkIGJlIHdvcnRoIGl0IGhlcmU/IEZvcmVpZ24gbWFwcGluZ3Mgc2hv
dWxkbid0IGJlCl90aGF0XyBwZXJmb3JtYW5jZSBjcml0aWNhbC4uLgoKQW5kIHRoZW4sIGNvbnNp
ZGVyaW5nIHRoYXQgdGhpcyB3aWxsIHJlc3VsdCBpbiB0aW1lIHN0YW1wIGJhc2VkIGZpbHRlcmlu
ZwphZ2FpbiwgSSdtIG5vIGxvbmdlciBzdXJlIEkgd2FzIHJpZ2h0IHRvIGFncmVlIHdpdGggSmFu
biBvbiB0aGUgZmx1c2gKaGVyZSBuZWVkaW5nIHRvIGJlIHVuY29uZGl0aW9uYWwuIFJlZ2FyZGxl
c3Mgb2YgcGFnZSB0YWJsZSBvd25lcgptYXRjaGluZyBwYWdlIG93bmVyLCB0aGUgdGltZSBzdGFt
cCBzdG9yZWQgZm9yIHRoZSBwYWdlIHdpbGwgYWx3YXlzCmJlIGFwcGxpY2FibGUgKGl0J3MgYSBn
bG9iYWwgcHJvcGVydHkpLiBTbyB3ZSB3b3VsZG4ndCBldmVuIG5lZWQgdG8KT1IgaW4gdGhlIHdo
b2xlIGRpcnR5IG1hc2sgaGVyZSwgYnV0IGNvdWxkIGFscmVhZHkgcHJlLWZpbHRlciAob3IgaWYg
d2UKc3RheWVkIHdpdGggdGhlIGZsdXNoLW9uLXB1dCBhcHByb2FjaCwgdGhlbiB2MSB3b3VsZCBo
YXZlIGJlZW4KY29ycmVjdCkuCgpKYW4KCgpfX19fX19fX19fX19fX19fX19fX19fX19fX19fX19f
X19fX19fX19fX19fX19fXwpYZW4tZGV2ZWwgbWFpbGluZyBsaXN0Clhlbi1kZXZlbEBsaXN0cy54
ZW4ub3JnCmh0dHBzOi8vbGlzdHMueGVuLm9yZy94ZW4tZGV2ZWwK