From mboxrd@z Thu Jan 1 00:00:00 1970 From: Julien Grall Subject: Re: [PATCH SpectreV1+L1TF v5 5/9] nospec: introduce evaluate_nospec Date: Fri, 8 Feb 2019 09:20:36 +0000 Message-ID: References: <1548772997-32742-1-git-send-email-nmanthey@amazon.de> <1548772997-32742-6-git-send-email-nmanthey@amazon.de> Mime-Version: 1.0 Content-Type: text/plain; charset="utf-8"; Format="flowed" Content-Transfer-Encoding: base64 Return-path: 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 ) id 1gs2Kw-000824-Ni for xen-devel@lists.xenproject.org; Fri, 08 Feb 2019 09:20:42 +0000 In-Reply-To: <1548772997-32742-6-git-send-email-nmanthey@amazon.de> Content-Language: en-US List-Unsubscribe: , List-Post: List-Help: List-Subscribe: , Errors-To: xen-devel-bounces@lists.xenproject.org Sender: "Xen-devel" To: Norbert Manthey , xen-devel@lists.xenproject.org Cc: Juergen Gross , Tim Deegan , Stefano Stabellini , Wei Liu , Konrad Rzeszutek Wilk , George Dunlap , Andrew Cooper , Ian Jackson , Dario Faggioli , Martin Pohlack , David Woodhouse , Jan Beulich , Martin Mazein , Julian Stecklina , Bjoern Doebel List-Id: xen-devel@lists.xenproject.org SGksCgpPbiAyOS8wMS8yMDE5IDE0OjQzLCBOb3JiZXJ0IE1hbnRoZXkgd3JvdGU6Cj4gU2luY2Ug dGhlIEwxVEYgdnVsbmVyYWJpbGl0eSBvZiBJbnRlbCBDUFVzLCBsb2FkaW5nIGh5cGVydmlzb3Ig ZGF0YSBpbnRvCj4gTDEgY2FjaGUgaXMgcHJvYmxlbWV0aWMsIGJlY2F1c2Ugd2hlbiBoeXBlcnRo cmVhZGluZyBpcyB1c2VkIGFzIHdlbGwsIGEKCnMvcHJvYmxlbWV0aWMvcHJvYmxlbWF0aWMvCgo+ IGd1ZXN0IHJ1bm5pbmcgb24gdGhlIHNpYmxpbmcgY29yZSBjYW4gbGVhayB0aGlzIHBvdGVudGlh bGx5IHNlY3JldCBkYXRhLgo+IAo+IFRvIHByZXZlbnQgdGhlc2Ugc3BlY3VsYXRpdmUgYWNjZXNz ZXMsIHdlIGJsb2NrIHNwZWN1bGF0aW9uIGFmdGVyCj4gYWNjZXNzaW5nIHRoZSBkb21haW4gcHJv cGVydHkgZmllbGQgYnkgYWRkaW5nIGxmZW5jZSBpbnN0cnVjdGlvbnMuIFRoaXMKPiB3YXksIHRo ZSBDUFUgY29udGludWVzIGV4ZWN1dGluZyBhbmQgbG9hZGluZyBkYXRhIG9ubHkgb25jZSB0aGUg Y29uZGl0aW9uCj4gaXMgYWN0dWFsbHkgZXZhbHVhdGVkLgo+IAo+IEFzIHRoZSBtYWNyb3MgYXJl IHR5cGljYWxseSB1c2VkIGluIGlmIHN0YXRlbWVudHMsIHRoZSBsZmVuY2UgaGFzIHRvIGNvbWUK PiBpbiBhIGNvbXBhdGlibGUgd2F5LiBUaGVyZWZvcmUsIGEgZnVuY3Rpb24gdGhhdCByZXR1cm5z IHRydWUgYWZ0ZXIgYW4KPiBsZmVuY2UgaW5zdHJ1Y3Rpb24gaXMgaW50cm9kdWNlZC4gVG8gcHJv dGVjdCBib3RoIGJyYW5jaGVzIGFmdGVyIGEKPiBjb25kaXRpb25hbCwgYW4gbGZlbmNlIGluc3Ry dWN0aW9uIGhhcyB0byBiZSBhZGRlZCBmb3IgdGhlIHR3byBicmFuY2hlcy4KPiBUbyBiZSBhYmxl IHRvIGJsb2NrIHNwZWN1bGF0aW9uIGFmdGVyIHNldmVyYWwgZXZhbGF1YXRpb25zLCB0aGUgZ2Vu ZXJpYwoKcy9ldmFsYXVhdGlvbnMvZXZhbHVhdGlvbnMvCgo+IGJhcnJpZXIgbWFjcm8gYmxvY2tf c3BlY3VsYXRpb24gaXMgYWxzbyBpbnRyb2R1Y2VkLgo+IAo+IEFzIHRoZSBMMVRGIHZ1bG5lcmFi aWxpdHkgaXMgb25seSBwcmVzZW50IG9uIHRoZSB4ODYgYXJjaGl0ZWN0dXJlLCB0aGUKPiBtYWNy b3Mgd2lsbCBub3QgdXNlIHRoZSBsZmVuY2UgaW5zdHJ1Y3Rpb24gb24gb3RoZXIgYXJjaGl0ZWN0 dXJlcyBhbmQgdGhlCj4gcHJvdGVjdGlvbiBpcyBkaXNhYmxlZCBkdXJpbmcgY29tcGlsYXRpb24u CgpUaGlzIHNlbnRlbmNlIGlzIGEgYml0IG1pc2xlYWRpbmcgYmVjYXVzZSBsZmVuY2UgaW5zdHJ1 Y3Rpb24gZG9lcyBub3QgZXhpc3Qgb24gCkFybS4gQSBiZXR0ZXIgd29yZGluZyB3b3VsZCBiZToK CiJBcyB0aGUgTDFURiB2dWxuZXJhYmlsaXR5IGlzIG9ubHkgcHJlc2VudCBvbiB0aGUgeDg2IGFy Y2hpdGVjdHVyZSwgdGhlcmUgYXJlIG5vIApuZWVkIHRvIGFkZCBwcm90ZWN0aW9uIGZvciBvdGhl ciBhcmNoaXRlY3R1cmVzLiIKCj4gQnkgZGVmYXVsdCwgdGhlIGxmZW5jZQo+IGluc3RydWN0aW9u IGlzIG5vdCBwcmVzZW50IGVpdGhlci4gT25seSB3aGVuIGEgTDFURiB2dWxuZXJhYmxlIHBsYXRm b3JtCj4gaXMgZGV0ZWN0ZWQsIHRoZSBsZmVuY2UgaW5zdHJ1Y3Rpb24gaXMgcGF0Y2hlZCBpbiB2 aWEgYWx0ZXJhbnRpdmUgcGF0Y2hpbmcuCgpzL2FsdGVyYW50aXZlL2FsdGVybmF0aXZlLwoKPiAK PiBJbnRyb2R1Y2luZyB0aGUgbGZlbmNlIGluc3RydWN0aW9ucyBjYXRjaGVzIGEgbG90IG9mIHBv dGVudGlhbCBsZWFrcyB3aXRoCj4gYSBzaW1wbGUgdW5pbnRydXNpdmUgY29kZSBjaGFuZ2UuIER1 cmluZyBwZXJmb3JtYW5jZSB0ZXN0aW5nLCB3ZSBkaWQgbm90Cj4gbm90aWNlIHBlcmZvcm1hbmNl IGVmZmVjdHMuCj4gCj4gU2lnbmVkLW9mZi1ieTogTm9yYmVydCBNYW50aGV5IDxubWFudGhleUBh bWF6b24uZGU+Cj4gLS0tCj4gICB4ZW4vaW5jbHVkZS94ZW4vbm9zcGVjLmggfCAyOCArKysrKysr KysrKysrKysrKysrKysrKysrKysrCj4gICAxIGZpbGUgY2hhbmdlZCwgMjggaW5zZXJ0aW9ucygr KQo+IAo+IGRpZmYgLS1naXQgYS94ZW4vaW5jbHVkZS94ZW4vbm9zcGVjLmggYi94ZW4vaW5jbHVk ZS94ZW4vbm9zcGVjLmgKPiAtLS0gYS94ZW4vaW5jbHVkZS94ZW4vbm9zcGVjLmgKPiArKysgYi94 ZW4vaW5jbHVkZS94ZW4vbm9zcGVjLmgKPiBAQCAtNyw2ICs3LDcgQEAKPiAgICNpZm5kZWYgWEVO X05PU1BFQ19ICj4gICAjZGVmaW5lIFhFTl9OT1NQRUNfSAo+ICAgCj4gKyNpbmNsdWRlIDxhc20v YWx0ZXJuYXRpdmUuaD4KCkkgZG9uJ3Qgd2FudCBhc20vYWx0ZXJuYXRpdmUuaCB0byBiZSBpbmNs dWRlZCBoZXJlIHdoZW4gaXQgaXMgbm90IG5lY2Vzc2FyeSBvbiAKQXJtLiBUaGlzIGlzIG9uZSBv ZiB0aGUgcmVhc29uIHdoeSBJIHN1Z2dlc3RlZCB0byBoYXZlIGFyY2ggc3BlY2lmaWMgY29kZSBp biAKYXJjaCBzcGVjaWZpYyBoZWFkZXIgcmF0aGVyIHRoYW4gaW4gY29tbW9uIGhlYWRlcnMuCgo+ ICAgI2luY2x1ZGUgPGFzbS9zeXN0ZW0uaD4KPiAgIAo+ICAgLyoqCj4gQEAgLTY0LDYgKzY1LDMz IEBAIHN0YXRpYyBpbmxpbmUgdW5zaWduZWQgbG9uZyBhcnJheV9pbmRleF9tYXNrX25vc3BlYyh1 bnNpZ25lZCBsb25nIGluZGV4LAo+ICAgI2RlZmluZSBhcnJheV9hY2Nlc3Nfbm9zcGVjKGFycmF5 LCBpbmRleCkgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgXAo+ICAgICAgIChhcnJheSlb YXJyYXlfaW5kZXhfbm9zcGVjKGluZGV4LCBBUlJBWV9TSVpFKGFycmF5KSldCj4gICAKPiArLyoK PiArICogQWxsb3cgdG8gaW5zZXJ0IGEgcmVhZCBtZW1vcnkgYmFycmllciBpbnRvIGNvbmRpdGlv bmFscwo+ICsgKi8KPiArI2lmIGRlZmluZWQoQ09ORklHX1g4NikgJiYgZGVmaW5lZChDT05GSUdf SFZNKQoKSSBhbSBub3QgYW4geDg2IGV4cGVydCwgaG93ZXZlciBJIHRoaW5rIHlvdSBzaG91bGQg ZXhwbGFpbiBpbiB0aGUgY29tbWl0IG1lc3NhZ2UgCndoeSB0aGlzIGlzIG9ubHkgYnVpbHQgZm9y IEhWTS4KCj4gK3N0YXRpYyBpbmxpbmUgYm9vbCBhcmNoX2JhcnJpZXJfbm9zcGVjX3RydWUodm9p ZCkgewo+ICsgICAgYWx0ZXJuYXRpdmUoIiIsICJsZmVuY2UiLCBYODZfRkVBVFVSRV9TQ19MMVRG X1ZVTE4pOwo+ICsgICAgcmV0dXJuIHRydWU7Cj4gK30KPiArI2Vsc2UKPiArc3RhdGljIGlubGlu ZSBib29sIGFyY2hfYmFycmllcl9ub3NwZWNfdHJ1ZSh2b2lkKSB7IHJldHVybiB0cnVlOyB9Cj4g KyNlbmRpZgo+ICsKPiArLyoKPiArICogQWxsb3cgdG8gcHJvdGVjdCBldmFsdWF0aW9uIG9mIGNv bmRpdGlvbmFsIHdpdGggcmVzcGVjdCB0byBzcGVjdWxhdGlvbiBvbiB4ODYKPiArICovCj4gKyNp Zm5kZWYgQ09ORklHX1g4Ngo+ICsjZGVmaW5lIGV2YWx1YXRlX25vc3BlYyhjb25kaXRpb24pIChj b25kaXRpb24pCj4gKyNlbHNlCj4gKyNkZWZpbmUgZXZhbHVhdGVfbm9zcGVjKGNvbmRpdGlvbikg ICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgIFwKPiArICAgICgoY29uZGl0 aW9uKSA/IGFyY2hfYmFycmllcl9ub3NwZWNfdHJ1ZSgpIDogIWFyY2hfYmFycmllcl9ub3NwZWNf dHJ1ZSgpKQo+ICsjZW5kaWYKPiArCj4gKy8qCj4gKyAqIEFsbG93IHRvIGJsb2NrIHNwZWN1bGF0 aXZlIGV4ZWN1dGlvbiBpbiBnZW5lcmljIGNvZGUKPiArICovCj4gKyNkZWZpbmUgYmxvY2tfc3Bl Y3VsYXRpb24oKSAodm9pZClhcmNoX2JhcnJpZXJfbm9zcGVjX3RydWUoKQo+ICsKPiAgICNlbmRp ZiAvKiBYRU5fTk9TUEVDX0ggKi8KPiAgIAo+ICAgLyoKPiAKCkNoZWVycywKCi0tIApKdWxpZW4g R3JhbGwKCl9fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fClhl bi1kZXZlbCBtYWlsaW5nIGxpc3QKWGVuLWRldmVsQGxpc3RzLnhlbnByb2plY3Qub3JnCmh0dHBz Oi8vbGlzdHMueGVucHJvamVjdC5vcmcvbWFpbG1hbi9saXN0aW5mby94ZW4tZGV2ZWw=