From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.4.0 (2014-02-07) on aws-us-west-2-korg-lkml-1.web.codeaurora.org X-Spam-Level: X-Spam-Status: No, score=-14.0 required=3.0 tests=BAYES_00,DKIMWL_WL_HIGH, DKIM_SIGNED,DKIM_VALID,INCLUDES_CR_TRAILER,INCLUDES_PATCH,MAILING_LIST_MULTI, SPF_HELO_NONE,SPF_PASS,URIBL_BLOCKED autolearn=ham autolearn_force=no version=3.4.0 Received: from mail.kernel.org (mail.kernel.org [198.145.29.99]) by smtp.lore.kernel.org (Postfix) with ESMTP id 14289C433ED for ; Wed, 7 Apr 2021 16:28:39 +0000 (UTC) Received: from desiato.infradead.org (desiato.infradead.org [90.155.92.199]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by mail.kernel.org (Postfix) with ESMTPS id ABE7261205 for ; Wed, 7 Apr 2021 16:28:38 +0000 (UTC) DMARC-Filter: OpenDMARC Filter v1.3.2 mail.kernel.org ABE7261205 Authentication-Results: mail.kernel.org; dmarc=fail (p=none dis=none) header.from=kernel.org Authentication-Results: mail.kernel.org; spf=none smtp.mailfrom=linux-arm-kernel-bounces+linux-arm-kernel=archiver.kernel.org@lists.infradead.org DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=lists.infradead.org; s=desiato.20200630; h=Sender:Content-Transfer-Encoding :Content-Type:List-Subscribe:List-Help:List-Post:List-Archive: List-Unsubscribe:List-Id:MIME-Version:References:In-Reply-To:Subject:Cc:To: From:Message-ID:Date:Reply-To:Content-ID:Content-Description:Resent-Date: Resent-From:Resent-Sender:Resent-To:Resent-Cc:Resent-Message-ID:List-Owner; bh=g3XsYwMJzyyOgJPmw+M9DxgoqORyDfa0UKENrviC/tU=; b=FkAkNLzzzdGSP80mhbAZum4LQ 0k1inW8ISOdKXbR3MfbSN6yfEdhAD8rPbd9ehlyuU4J8UM7NP3WE3iKXPGoEosxmPMnT6pNEtxoDz rKO9sL4yfjzw6l/4nQJsVzS2tvEfyPVCxhl4FZxR93tE4WoyrADrLwKQnxanFghYplfhC684b7jO/ 7OOZqwhSZaXvX8okEWiB0eeIL9RFASn03KQUEWfaeKBsleKoC5xhJH6c9M+qfJLkzrY29bflqiyod 1uJY+QOVbB/+cLZWRUiCApQr3W6NMklhbG3+nENK897YyTIjqwPGKClnyfqolN/cWhUlZCMDXCu7t R36WVRbAg==; Received: from localhost ([::1] helo=desiato.infradead.org) by desiato.infradead.org with esmtp (Exim 4.94 #2 (Red Hat Linux)) id 1lUB16-005SmI-60; Wed, 07 Apr 2021 16:26:56 +0000 Received: from mail.kernel.org ([198.145.29.99]) by desiato.infradead.org with esmtps (Exim 4.94 #2 (Red Hat Linux)) id 1lUB11-005Sln-U0 for linux-arm-kernel@lists.infradead.org; Wed, 07 Apr 2021 16:26:54 +0000 Received: from disco-boy.misterjones.org (disco-boy.misterjones.org [51.254.78.96]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by mail.kernel.org (Postfix) with ESMTPSA id 46280611EE; Wed, 7 Apr 2021 16:26:50 +0000 (UTC) Received: from 78.163-31-62.static.virginmediabusiness.co.uk ([62.31.163.78] helo=why.misterjones.org) by disco-boy.misterjones.org with esmtpsa (TLS1.3) tls TLS_ECDHE_RSA_WITH_AES_256_GCM_SHA384 (Exim 4.94) (envelope-from ) id 1lUB0y-0067MC-2m; Wed, 07 Apr 2021 17:26:48 +0100 Date: Wed, 07 Apr 2021 17:26:47 +0100 Message-ID: <874kgioybc.wl-maz@kernel.org> From: Marc Zyngier To: Alexandru Elisei Cc: linux-arm-kernel@lists.infradead.org, Will Deacon , kernel-team@android.com, ascull@google.com, tabba@google.com, dbrazdil@google.com, James Morse , Suzuki K Poulose Subject: Re: [PATCH] KVM: arm64: Clarify vcpu reset behaviour In-Reply-To: <40906aba-3d29-db38-f305-0c32603b34dd@arm.com> References: <20210406125841.1077079-1-maz@kernel.org> <40906aba-3d29-db38-f305-0c32603b34dd@arm.com> User-Agent: Wanderlust/2.15.9 (Almost Unreal) SEMI-EPG/1.14.7 (Harue) FLIM-LB/1.14.9 (=?UTF-8?B?R29qxY0=?=) APEL-LB/10.8 EasyPG/1.0.0 Emacs/27.1 (x86_64-pc-linux-gnu) MULE/6.0 (HANACHIRUSATO) MIME-Version: 1.0 (generated by SEMI-EPG 1.14.7 - "Harue") X-SA-Exim-Connect-IP: 62.31.163.78 X-SA-Exim-Rcpt-To: alexandru.elisei@arm.com, linux-arm-kernel@lists.infradead.org, will@kernel.org, kernel-team@android.com, ascull@google.com, tabba@google.com, dbrazdil@google.com, james.morse@arm.com, suzuki.poulose@arm.com X-SA-Exim-Mail-From: maz@kernel.org X-SA-Exim-Scanned: No (on disco-boy.misterjones.org); SAEximRunCond expanded to false X-CRM114-Version: 20100106-BlameMichelson ( TRE 0.8.0 (BSD) ) MR-646709E3 X-CRM114-CacheID: sfid-20210407_172652_600764_EB804F78 X-CRM114-Status: GOOD ( 32.00 ) X-BeenThere: linux-arm-kernel@lists.infradead.org X-Mailman-Version: 2.1.34 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: base64 Sender: "linux-arm-kernel" Errors-To: linux-arm-kernel-bounces+linux-arm-kernel=archiver.kernel.org@lists.infradead.org T24gV2VkLCAwNyBBcHIgMjAyMSAxNjo1OTo1OCArMDEwMCwKQWxleGFuZHJ1IEVsaXNlaSA8YWxl eGFuZHJ1LmVsaXNlaUBhcm0uY29tPiB3cm90ZToKPiAKPiBIaSBNYXJjLAo+IAo+IE9uIDQvNi8y MSAxOjU4IFBNLCBNYXJjIFp5bmdpZXIgd3JvdGU6Cj4gPiBBbHRob3VnaCB0aGUgS1ZNX0FSTV9W Q1BVX0lOSVQgZG9jdW1lbnRhdGlvbiBtZW50aW9uIHRoYXQgdGhlCj4gPiByZWdpc3RlcnMgYXJl IHJlc2V0IHRvIHRoZWlyICJpbml0aWFsIHZhbHVlcyIsIGl0IGRvZXNuJ3QKPiA+IGRlc2NyaWJl IHdoYXQgdGhlc2UgdmFsdWVzIGFyZS4KPiA+Cj4gPiBEZXNjcmliZSB0aGlzIHN0YXRlIGV4cGxp Y2l0bHkuCj4gCj4gVGhpcyBpcyBhIGdvb2QgaWRlYS4KClllYWgsIGl0IHR1cm5zIG91dCB0aGlz IGlzIHNvbWV0aGluZyB3ZSBuZWVkIGZvciBwS1ZNLCBiZWNhdXNlIHRoZQpyZXNldCBzdGF0ZSBp cyBzbGlnaHRseSBkaWZmZXJlbnQuCgo+IAo+ID4KPiA+IFNpZ25lZC1vZmYtYnk6IE1hcmMgWnlu Z2llciA8bWF6QGtlcm5lbC5vcmc+Cj4gPiAtLS0KPiA+ICBEb2N1bWVudGF0aW9uL3ZpcnQva3Zt L2FwaS5yc3QgfCAxMCArKysrKysrKysrCj4gPiAgMSBmaWxlIGNoYW5nZWQsIDEwIGluc2VydGlv bnMoKykKPiA+Cj4gPiBkaWZmIC0tZ2l0IGEvRG9jdW1lbnRhdGlvbi92aXJ0L2t2bS9hcGkucnN0 IGIvRG9jdW1lbnRhdGlvbi92aXJ0L2t2bS9hcGkucnN0Cj4gPiBpbmRleCAzOGUzMjdkNGI0Nzku LmUyMjM3ZTRlMTBiYSAxMDA2NDQKPiA+IC0tLSBhL0RvY3VtZW50YXRpb24vdmlydC9rdm0vYXBp LnJzdAo+ID4gKysrIGIvRG9jdW1lbnRhdGlvbi92aXJ0L2t2bS9hcGkucnN0Cj4gPiBAQCAtMzEx NSw2ICszMTE1LDE2IEBAIG9wdGlvbmFsIGZlYXR1cmVzIGl0IHNob3VsZCBoYXZlLiDCoFRoaXMg d2lsbCBjYXVzZSBhIHJlc2V0IG9mIHRoZSBjcHUKPiA+ICByZWdpc3RlcnMgdG8gdGhlaXIgaW5p dGlhbCB2YWx1ZXMuIMKgSWYgdGhpcyBpcyBub3QgY2FsbGVkLCBLVk1fUlVOIHdpbGwKPiA+ICBy ZXR1cm4gRU5PRVhFQyBmb3IgdGhhdCB2Y3B1Lgo+ID4gIAo+ID4gK1RoZSBpbml0aWFsIHZhbHVl cyBhcmUgZGVmaW5lZCBhczoKPiA+ICsJLSBQcm9jZXNzb3Igc3RhdGU6Cj4gPiArCQkqIEFBcmNo NjQ6IEVMMWgsIEQsIEEsIEkgYW5kIEYgYml0cyBzZXQKPiAKPiBUaGF0IHZhbHVlIG1hdGNoZXMg dGhlIG1hY3JvIFZDUFVfUkVTRVRfU1RBVEVfRUwxLgo+IAo+ID4gKwkJKiBBYXJjaDMyOiBTVkMs IEQsIEEsIEkgYW5kIEYgYml0cyBzZXQKPiBWQ1BVX1JFU0VUX1NUQVRFX1NWQyBkb2Vzbid0IGhh dmUgYSBEIGJpdDsgYWNjb3JkaW5nIHRvIEFSTSBEREkgMDQ4N0cuYSwgcGFnZQo+IEcxLTU5NjUs IENQU1IgZG9lc24ndCBoYXZlIGEgRCBiaXQgZWl0aGVyIChJIG1pZ2h0IGJlIHJlYWRpbmcgaXQg d3JvbmcpLgoKTWVoLCBjb3B5IHBhc3RlLiBUaGFua3MgZm9yIHRoYXQsCgo+ID4gKwktIEdlbmVy YWwgUHVycG9zZSByZWdpc3RlcnMsIGluY2x1ZGluZyBQQyBhbmQgU1A6IHNldCB0byAwCj4gCj4g VGhleSBhcmUgemVybydlZCBleHBsaWNpdGx5IGluIGt2bV9yZXNldF92Y3B1KCkuCj4gCj4gPiAr CS0gRlBTSU1EL05FT04gcmVnaXN0ZXJzOiBzZXQgdG8gMAo+IAo+IEkgaGF2ZW4ndCBiZWVuIGFi bGUgdG8gZmluZCB3aGVyZSB0aGV5IGFyZSBpbml0aWFsaXplZCBleHBsaWNpdGx5LCBJCj4gYXNz dW1lIHRoZXkgYXJlbid0LiBUaGV5IGFyZSB6ZXJvIGJlY2F1c2UgdGhlIGt2bV92Y3B1IHN0cnVj dCBpcwo+IGFsbG9jYXRlZCB2aWEga21lbV9jYWNoZV96YWxsb2MoKSBpbiBrdm1fdm1faW9jdGxf Y3JlYXRlX3ZjcHUoKSwgc28KPiB0aGlzIGlzIGNvcnJlY3QuCgpJbmRlZWQuIEhvd2V2ZXIsIHRo aXMgb3V0bGluZXMgYW4gaW50ZXJlc3RpbmcgYnVnbGV0LiBVc2Vyc3BhY2UgaXMKYWxsb3dlZCB0 byBjYWxsIEtWTV9BUk1fVkNQVV9JTklUIGF0IGFueSBwb2ludCwgYW5kIGdldCB0aGUgdmNwdSBi YWNrCnRvIHRoZSByZXNldCBzdGF0ZS4KClRoZSBsYWNrIG9mIGV4cGxpY2l0IHdpcGVvdXQgb2Yg dGhlIEZQU0lNRCBmaWxlIGlzIG9uIGl0cyBvd24gYSBidWcKd2hpY2ggY3JlcHQgaW4gd2l0aCBl NDdjMjA1NWM2ICgiS1ZNOiBhcm02NDogTWFrZSBzdHJ1Y3Qga3ZtX3JlZ3MKdXNlcnNwYWNlLW9u bHkiKSwgd2hlbiBrdm1fY3B1X2NvbnRleHQgc3RhcnRlZCB0byB1c2UgdXNlcl9wdF9yZWdzCmRp cmVjdGx5LgoKSSdsbCBmaXggdGhhdCBzZXBhcmF0ZWx5LCB0aGFua3MgZm9yIHB1c2hpbmcgbWUg dG8gaGF2ZSBhIGNsb3NlciBsb29rLgoKPiAKPiA+ICsJLSBTVkUgcmVnaXN0ZXJzOiBzZXQgdG8g MAo+IAo+IFRoZXkgYXJlIHplcm8nZWQgZXhwbGljaXRseSBpbiBrdm1fdmNwdV9yZXNldF9zdmUo KS4KPiAKPiA+ICsJLSBTeXN0ZW0gcmVnaXN0ZXJzOiBSZXNldCB0byB0aGVpciBhcmNoaXRlY3R1 cmFsbHkgZGVmaW5lZAo+ID4gKwkgIHZhbHVlcyBhcyBmb3IgYSB3YXJtIHJlc2V0IHRvIEVMMSAo cmVzcC4gU1ZDKQo+IAo+IFRoaXMgaXMgZG9uZSBpbiBrdm1fcmVzZXRfdmNwdSgpIC0+IGt2bV9y ZXNldF9zeXNfcmVncygpLCB3aGljaCBmcm9tCj4gd2hhdCBJIGNhbiB0ZWxsIGRvZXMgdGhlIHJp Z2h0IHRoaW5nLCBidXQgSSBoYXZlbid0IGNoZWNrZWQgZWFjaCBhbmQKPiBldmVyeSByZWdpc3Rl ci4KPiAKPiBBc3N1bWluZyB0aGUgRCBiaXQgZm9yIENQU1IvU1BTUiB3YXMgYSB0eXBvIGFuZCB3 aXRoIGl0IHJlbW92ZWQ6Cj4gCj4gUmV2aWV3ZWQtYnk6IEFsZXhhbmRydSBFbGlzZWkgPGFsZXhh bmRydS5lbGlzZWlAYXJtLmNvbT4KClRoYW5rcyBmb3IgdGhhdC4gSSdsbCBzZW5kIHRoZSBvdGhl ciBmaXggc2VwYXJhdGVseS4KCglNLgoKLS0gCldpdGhvdXQgZGV2aWF0aW9uIGZyb20gdGhlIG5v cm0sIHByb2dyZXNzIGlzIG5vdCBwb3NzaWJsZS4KCl9fX19fX19fX19fX19fX19fX19fX19fX19f X19fX19fX19fX19fX19fX19fX19fCmxpbnV4LWFybS1rZXJuZWwgbWFpbGluZyBsaXN0CmxpbnV4 LWFybS1rZXJuZWxAbGlzdHMuaW5mcmFkZWFkLm9yZwpodHRwOi8vbGlzdHMuaW5mcmFkZWFkLm9y Zy9tYWlsbWFuL2xpc3RpbmZvL2xpbnV4LWFybS1rZXJuZWwK