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=-4.0 required=3.0 tests=BAYES_00,DKIMWL_WL_HIGH, DKIM_SIGNED,DKIM_VALID,MAILING_LIST_MULTI,SPF_HELO_NONE,SPF_PASS, URIBL_BLOCKED autolearn=no 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 B36F7C433E2 for ; Fri, 4 Sep 2020 10:09:06 +0000 (UTC) Received: from merlin.infradead.org (merlin.infradead.org [205.233.59.134]) (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 7CEE3206D4 for ; Fri, 4 Sep 2020 10:09:06 +0000 (UTC) Authentication-Results: mail.kernel.org; dkim=pass (2048-bit key) header.d=lists.infradead.org header.i=@lists.infradead.org header.b="DHBYXi0u"; dkim=fail reason="signature verification failed" (1024-bit key) header.d=kernel.org header.i=@kernel.org header.b="c+23o9D7" DMARC-Filter: OpenDMARC Filter v1.3.2 mail.kernel.org 7CEE3206D4 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=merlin.20170209; h=Sender:Content-Type: Content-Transfer-Encoding:Cc:List-Subscribe:List-Help:List-Post:List-Archive: List-Unsubscribe:List-Id:Message-ID:References:In-Reply-To:Subject:To:From: Date:MIME-Version:Reply-To:Content-ID:Content-Description:Resent-Date: Resent-From:Resent-Sender:Resent-To:Resent-Cc:Resent-Message-ID:List-Owner; bh=/Wr5y7qSrl/naMLm+0pJpN/NB9EXORSb9cCaRl93xOc=; b=DHBYXi0uZ62LSDASzowI6spVR JUVwP3dX5HQjCQTw/CHsZC+lXNluiOXbQGmctTbS70tvZkzgokWjT5RuSg1Prj+pfI/5vY/aFnwTh OYs/bHWNE6ZQEW0YbUz7Qn+vKGZ+OlkdgVR53nsZpIbjJv+iuvSnt2UpIcbgE37jR0RdxDWob4Gxc msqf/UDnicjFZ1REpk0xJ+szqHLOG0nR5KYAIR+vNgGzjBM64lW0Kncu7oaviKQDBM2Jd3D32aJYD rvA2KkcotCE28/eQ1BnLbI8lwsEydTQeAlr5PuXqr2I84NU8uJiT+K/7sjjd1ua9itSWywlZmMW95 p/t/d+xkQ==; Received: from localhost ([::1] helo=merlin.infradead.org) by merlin.infradead.org with esmtp (Exim 4.92.3 #3 (Red Hat Linux)) id 1kE8dP-0006iX-Mh; Fri, 04 Sep 2020 10:07:55 +0000 Received: from mail.kernel.org ([198.145.29.99]) by merlin.infradead.org with esmtps (Exim 4.92.3 #3 (Red Hat Linux)) id 1kE8dN-0006i7-FT for linux-arm-kernel@lists.infradead.org; Fri, 04 Sep 2020 10:07: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 76136206D4; Fri, 4 Sep 2020 10:07:52 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=kernel.org; s=default; t=1599214072; bh=MqujWJPQC66PeJ28VOdDbtZq/fnwmyZQT6U5RRFWBC0=; h=Date:From:To:Cc:Subject:In-Reply-To:References:From; b=c+23o9D7+VSODrqwicDlHvaSHC0EhC75XSISbk/LXKlJ40A6AZwk6oeogysSt0LP8 gM1Mqy1m6/qvOInFBVduR8fE3LCEn2YqbetJAmO5XmMarGlyFPhqF903damm1azj5h s51+GDUOfyWEZT1QPs+eBtv3RWjYn5jqdaEirbfE= Received: from disco-boy.misterjones.org ([51.254.78.96] helo=www.loen.fr) by disco-boy.misterjones.org with esmtpsa (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.92) (envelope-from ) id 1kE8dK-00985S-OH; Fri, 04 Sep 2020 11:07:50 +0100 MIME-Version: 1.0 Date: Fri, 04 Sep 2020 11:07:50 +0100 From: Marc Zyngier To: Gavin Shan Subject: Re: [PATCH v3 00/21] KVM: arm64: Rewrite page-table code and fault handling In-Reply-To: <5aa43d21-30a1-68c8-2620-60a25e4edfa2@redhat.com> References: <20200825093953.26493-1-will@kernel.org> <3f13fc6e-7234-6c53-cfaa-a5052fcabe6d@redhat.com> <29ec59b6-ca36-1bd0-0d19-097ecb999bb2@redhat.com> <20200903121651.GA7412@willie-the-truck> <5aa43d21-30a1-68c8-2620-60a25e4edfa2@redhat.com> User-Agent: Roundcube Webmail/1.4.8 Message-ID: X-Sender: maz@kernel.org X-SA-Exim-Connect-IP: 51.254.78.96 X-SA-Exim-Rcpt-To: gshan@redhat.com, will@kernel.org, kvmarm@lists.cs.columbia.edu, qperret@google.com, james.morse@arm.com, suzuki.poulose@arm.com, catalin.marinas@arm.com, kernel-team@android.com, linux-arm-kernel@lists.infradead.org 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-20200904_060753_645296_7B3BBBFA X-CRM114-Status: GOOD ( 22.50 ) X-BeenThere: linux-arm-kernel@lists.infradead.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Cc: kernel-team@android.com, Suzuki Poulose , Catalin Marinas , Quentin Perret , James Morse , Will Deacon , kvmarm@lists.cs.columbia.edu, linux-arm-kernel@lists.infradead.org Content-Transfer-Encoding: base64 Content-Type: text/plain; charset="utf-8"; Format="flowed" Sender: "linux-arm-kernel" Errors-To: linux-arm-kernel-bounces+linux-arm-kernel=archiver.kernel.org@lists.infradead.org T24gMjAyMC0wOS0wNCAwMTo1MSwgR2F2aW4gU2hhbiB3cm90ZToKPiBIaSBXaWxsLAo+IAo+IE9u IDkvMy8yMCAxMDoxNiBQTSwgV2lsbCBEZWFjb24gd3JvdGU6Cj4+IE9uIFRodSwgU2VwIDAzLCAy MDIwIGF0IDA5OjQ4OjE4UE0gKzEwMDAsIEdhdmluIFNoYW4gd3JvdGU6Cj4+PiBPbiA5LzMvMjAg OToxMyBQTSwgR2F2aW4gU2hhbiB3cm90ZToKPj4+PiBPbiA5LzMvMjAgNTozNCBQTSwgR2F2aW4g U2hhbiB3cm90ZToKPj4+Pj4gT24gOC8yNS8yMCA3OjM5IFBNLCBXaWxsIERlYWNvbiB3cm90ZToK Pj4+Pj4+IEhlbGxvIGZvbGtzLAo+Pj4+Pj4gCj4+Pj4+PiBUaGlzIGlzIHZlcnNpb24gdGhyZWUg b2YgdGhlIEtWTSBwYWdlLXRhYmxlIHJld29yayB0aGF0IEkgCj4+Pj4+PiBwcmV2aW91c2x5IHBv c3RlZAo+Pj4+Pj4gaGVyZToKPj4+Pj4+IAo+Pj4+Pj4gIMKgwqAgdjE6IAo+Pj4+Pj4gaHR0cHM6 Ly9sb3JlLmtlcm5lbC5vcmcvci8yMDIwMDczMDE1MzQwNi4yNTEzNi0xLXdpbGxAa2VybmVsLm9y Zwo+Pj4+Pj4gIMKgwqAgdjI6IAo+Pj4+Pj4gaHR0cHM6Ly9sb3JlLmtlcm5lbC5vcmcvci8yMDIw MDgxODEzMjgxOC4xNjA2NS0xLXdpbGxAa2VybmVsLm9yZwo+Pj4+Pj4gCj4+Pj4+PiBDaGFuZ2Vz IHNpbmNlIHYyIGluY2x1ZGU6Cj4+Pj4+PiAKPj4+Pj4+ICDCoMKgICogUmViYXNlZCBvbnRvIC1y YzIsIHdoaWNoIGluY2x1ZGVzIHRoZSBjb25mbGljdGluZyBPT00gCj4+Pj4+PiBibG9ja2luZyBm aXhlcwo+Pj4+Pj4gIMKgwqAgKiBEcm9wcGVkIHRoZSBwYXRjaCB0cnlpbmcgdG8gImZpeCIgdGhl IG1lbWNhY2hlIGluIAo+Pj4+Pj4ga3ZtX3BoeXNfYWRkcl9pb3JlbWFwKCkKPj4+Pj4+IAo+Pj4+ PiAKPj4+Pj4gSXQncyByZWFsbHkgbmljZSB3b3JrLCBtYWtpbmcgdGhlIGNvZGUgdW5pZmllZC9z aW1wbGlmaWVkIGdyZWF0bHkuCj4+Pj4+IEhvd2V2ZXIsIGl0IHNlZW1zIGl0IGRvZXNuJ3Qgd29y ayB3ZWxsIHdpdGggSHVnZVRMQmZzLiBQbGVhc2UgcmVmZXIKPj4+Pj4gdG8gdGhlIGZvbGxvd2lu ZyB0ZXN0IHJlc3VsdCBhbmQgc2VlIGlmIHlvdSBoYXZlIHF1aWNrIGlkZWEsIG9yIEkKPj4+Pj4g Y2FuIGRlYnVnIGl0IGEgYml0IDopCj4+IAo+PiBOaWNlIHRlc3RpbmcgbWF0cml4LCBhbmQgdGhh bmtzIGZvciByZXBvcnRpbmcgdGhlIHByb2JsZW0hCj4+IAo+Pj4+PiBNYWNoaW5lwqDCoMKgwqDC oMKgwqDCoCBIb3N0wqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoCBHdWVz dMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgIFJlc3VsdAo+Pj4+PiA9PT09PT09PT09PT09PT09 PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT0KPj4+Pj4gVGh1 bmRlclgywqDCoMKgIFZBX0JJVFM6wqDCoCA0MsKgwqDCoMKgwqDCoMKgwqDCoMKgIFBBR0VfU0la RTrCoCA0S0LCoMKgwqDCoCBQYXNzZWQKPj4+Pj4gIMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKg IFBBR0VfU0laRTogNjRLQsKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgIDY0 S0LCoMKgwqDCoCBwYXNzZWQKPj4+Pj4gIMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgIFRIUDrC oMKgwqDCoMKgwqAgZGlzYWJsZWQKPj4+Pj4gIMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgIEh1 Z2VUTEI6wqDCoCBkaXNhYmxlZAo+Pj4+PiAtLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0t LS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0KPj4+Pj4gVGh1bmRlclgywqDCoMKgIFZB X0JJVFM6wqDCoCA0MsKgwqDCoMKgwqDCoMKgwqDCoMKgIFBBR0VfU0laRTrCoCA0S0LCoMKgwqDC oCBQYXNzZWQKPj4+Pj4gIMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgIFBBR0VfU0laRTogNjRL QsKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgIDY0S0LCoMKgwqDCoCBwYXNz ZWQKPj4+Pj4gIMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgIFRIUDrCoMKgwqDCoMKgwqAgZW5h YmxlZAo+Pj4+PiAgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqAgSHVnZVRMQjrCoMKgIGRpc2Fi bGVkCj4+Pj4+IC0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0t LS0tLS0tLS0tLS0tLS0tLS0KPj4+Pj4gVGh1bmRlclgywqDCoMKgIFZBX0JJVFM6wqDCoCA0MsKg wqDCoMKgwqDCoMKgwqDCoMKgIFBBR0VfU0laRTrCoCA0S0LCoMKgwqDCoCBGYWlsWzFdCj4+Pj4+ ICDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoCBQQUdFX1NJWkU6IDY0S0LCoMKgwqDCoMKgwqDC oMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoCA2NEtCwqDCoMKgwqAgRmFpbFsxXQo+Pj4+PiAgwqDC oMKgwqDCoMKgwqDCoMKgwqDCoMKgwqAgVEhQOsKgwqDCoMKgwqDCoCBkaXNhYmxlZAo+Pj4+PiAg wqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqAgSHVnZVRMQjrCoMKgIGVuYWJsZWQKPj4+Pj4gLS0t LS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0t LS0tCj4+Pj4+IFRodW5kZXJYMsKgwqDCoCBWQV9CSVRTOsKgwqAgMznCoMKgwqDCoMKgwqDCoMKg wqDCoCBQQUdFX1NJWkU6wqAgNEtCwqDCoMKgwqAgUGFzc2VkCj4+Pj4+ICDCoMKgwqDCoMKgwqDC oMKgwqDCoMKgwqDCoCBQQUdFX1NJWkU6IDRLQsKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDC oMKgwqDCoMKgwqAgNjRLQsKgwqDCoMKgIFBhc3NlZAo+Pj4+PiAgwqDCoMKgwqDCoMKgwqDCoMKg wqDCoMKgwqAgVEhQOsKgwqDCoMKgwqDCoCBkaXNhYmxlZAo+Pj4+PiAgwqDCoMKgwqDCoMKgwqDC oMKgwqDCoMKgwqAgSHVnZVRMQjrCoMKgIGRpc2FibGVkCj4+Pj4+IC0tLS0tLS0tLS0tLS0tLS0t LS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLQo+Pj4+PiBUaHVu ZGVyWDLCoMKgwqAgVkFfQklUUzrCoMKgIDM5wqDCoMKgwqDCoMKgwqDCoMKgwqAgUEFHRV9TSVpF OsKgIDRLQsKgwqDCoMKgIFBhc3NlZAo+Pj4+PiAgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqAg UEFHRV9TSVpFOiA0S0LCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgIDY0 S0LCoMKgwqDCoCBQYXNzZWQKPj4+Pj4gIMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgIFRIUDrC oMKgwqDCoMKgwqAgZW5hYmxlZAo+Pj4+PiAgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqAgSHVn ZVRMQjrCoMKgIGRpc2FibGVkCj4+Pj4+IC0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0t LS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tCj4+Pj4+IFRodW5kZXJYMsKgwqDCoCBWQV9C SVRTOsKgwqAgMznCoMKgwqDCoMKgwqDCoMKgwqDCoCBQQUdFX1NJWkU6IDRLQsKgwqDCoMKgIEZh aWxbMl0KPj4+Pj4gIMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgIFBBR0VfU0laRTogNEtCwqDC oMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqAgNjRLQsKgwqDCoMKgIEZhaWxbMl0K Pj4+Pj4gIMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgIFRIUDrCoMKgwqDCoMKgwqAgZGlzYWJs ZWQKPj4+Pj4gIMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgIEh1Z2VUTEI6wqDCoCBlbmFibGVk Cj4+Pj4+IAo+Pj4+IAo+Pj4+IEkgZGVidWdnZWQgdGhlIGNvZGUgYW5kIGZvdW5kIHRoZSBpc3N1 ZSBpcyBjYXVzZWQgYnkgdGhlIGZvbGxvd2luZwo+Pj4+IHBhdGNoLgo+Pj4+IAo+Pj4+IFtQQVRD SCB2MyAwNi8yMV0gS1ZNOiBhcm02NDogQWRkIHN1cHBvcnQgZm9yIHN0YWdlLTIgbWFwKCkvdW5t YXAoKSAKPj4+PiBpbiBnZW5lcmljIHBhZ2UtdGFibGUKPj4gCj4+IChJIHRoaW5rIHRoaXMgaXMg anVzdCBhIHN5bXB0b20gb2YgdGhlIHBhZ2UtdGFibGUgYmVpbmcgb3V0IG9mIHdoYWNrKQo+PiAK Pj4+IFNvcnJ5IHRoYXQgdGhlIGd1ZXN0IGNvdWxkIGhhbmcgc29tZXRpbWVzIHdpdGggYWJvdmUg Y2hhbmdlcy4gSSBoYXZlIAo+Pj4gbm8gaWRlYSB3aGF0Cj4+PiBoYXMgYmVlbiBoYXBwZW5pbmcg YmVmb3JlIEknbSBnb2luZyB0byBkZWJ1ZyBmb3IgbW9yZS4uIEknbSBwYXN0aW5nIAo+Pj4gdGhl IHVzZWQgY29tbWFuZAo+Pj4gYW5kIG91dHB1dCBmcm9tIGd1ZXN0Lgo+PiAKPj4gQ2FuIHlvdSB0 cnkgdGhlIGRpZmYgYmVsb3csIHBsZWFzZT8gSSB0aGluayB3ZSBjYW4gZW5kIHVwIHN0aWNraW5n IAo+PiBkb3duIGEKPj4gaHVnZS1wYWdlLXNpemVkIG1hcHBpbmcgYXQgYW4gdW5hbGlnbmVkIGFk ZHJlc3MsIHdoaWNoIGNhdXNlcyB1cyBib3RoIAo+PiB0bwo+PiBvdmVybWFwIGFuZCBhbHNvIHRv IGZhaWwgdG8gdXNlIHRoZSBodWdlIGdyYW51bGUgZm9yIGEgYmxvY2sgbWFwcGluZy4KPj4gCj4g Cj4gU2luY2UgdGhlIHRoZSBmb2xsb3dpbmcgY2hhbmdlcyBoYXZlIGJlZW4gZm9sZGVkIHRvIHY0 LCBJIHJlcmFuIHRoZSAKPiB0ZXN0IGNhc2VzCj4gb24gdjQgYW5kIGV2ZXJ5dGhpbmcgd29ya3Mg ZmluZS4KClRoYW5rcyBhIGxvdCBmb3IgdGhlIGdyZWF0IHRlc3RpbmcgYW5kIHJldmlld2luZyBl ZmZvcnQhCgo8c2hhbWVsZXNzIGFzaz4KU2luY2UgeW91IG9idmlvdXNseSBoYXZlIGEgdGVzdCBy aWcgc2V0dXAgZm9yIHRoaXM6IGRvZXMgeW91ciBUWDIgCnN1cHBvcnQgMTZrQgpwYWdlcz8gSWYg c28sIGNvdWxkIHlvdSBwbGVhc2UgZG8gYW5vdGhlciBydW4gd2l0aCB0aGlzIHBhZ2Ugc2l6ZSBv biB0aGUgCmhvc3Q/Cjwvc2hhbWVsZXNzIGFzaz4KClRoYW5rcyBhZ2FpbiwKCiAgICAgICAgIE0u Ci0tIApKYXp6IGlzIG5vdCBkZWFkLiBJdCBqdXN0IHNtZWxscyBmdW5ueS4uLgoKX19fX19fX19f X19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX18KbGludXgtYXJtLWtlcm5lbCBt YWlsaW5nIGxpc3QKbGludXgtYXJtLWtlcm5lbEBsaXN0cy5pbmZyYWRlYWQub3JnCmh0dHA6Ly9s aXN0cy5pbmZyYWRlYWQub3JnL21haWxtYW4vbGlzdGluZm8vbGludXgtYXJtLWtlcm5lbAo=