Return-path: <libre-riscv-dev-bounces@lists.libre-riscv.org>
Envelope-to: publicinbox@libre-riscv.org
Delivery-date: Tue, 12 May 2020 04:29:52 +0100
Received: from localhost ([::1] helo=libre-riscv.org)
	by libre-soc.org with esmtp (Exim 4.89)
	(envelope-from <libre-riscv-dev-bounces@lists.libre-riscv.org>)
	id 1jYLc7-0004GD-Mw; Tue, 12 May 2020 04:29:51 +0100
Received: from lkcl.net ([217.147.94.29])
 by libre-soc.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128)
 (Exim 4.89) (envelope-from <lkcl@lkcl.net>) id 1jYLc5-0004G6-TQ
 for libre-riscv-dev@lists.libre-riscv.org; Tue, 12 May 2020 04:29:49 +0100
DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=lkcl.net;
 s=201607131; 
 h=Content-Type:To:Subject:Message-ID:Date:From:References:In-Reply-To:MIME-Version;
 bh=1PFy7Jf6zKrx2Xin6v6QOHS1xsNpxntWP9v1Z/q+viI=; 
 b=k6y8OcyCPK/qh9cYlp9KRNdts/RRaARqQodYZfy3MEj8EcRkVETaN9O3Wh8CTV8QxHBnIK0HXjRMCKy5sZV9tf2M6jTNuLrbAs7foVRSFsxHzHd8lGZbc/yzyfvVsi5ed/N6eLYxqa5ViSZOP7WXJgP7yChql7ObFogq1xqS5bE=;
Received: from mail-lj1-f173.google.com ([209.85.208.173])
 by lkcl.net with esmtpsa (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128)
 (Exim 4.84_2) (envelope-from <lkcl@lkcl.net>) id 1jYLc5-0004nT-HL
 for libre-riscv-dev@lists.libre-riscv.org; Tue, 12 May 2020 03:29:49 +0000
Received: by mail-lj1-f173.google.com with SMTP id g4so11935864ljl.2
 for <libre-riscv-dev@lists.libre-riscv.org>;
 Mon, 11 May 2020 20:29:34 -0700 (PDT)
X-Gm-Message-State: AOAM5305DGS+iTuP2wnC5HoHValCXgfXZcPzpdGFYvtMlly1CvQ3QHwh
 QWSWnpdZWP6vJkGRJDRglYeNkvBVYuebHAydfBA=
X-Google-Smtp-Source: ABdhPJwgBTbbEjaFmJqy18T6Ud0GzNvMkKoLDOuMdRwTVOZTfngBFu/e5yAO4cwDepuLY4FVf3S0XQBSxodPtkKgYB8=
X-Received: by 2002:a2e:8056:: with SMTP id p22mr12431246ljg.266.1589254168515; 
 Mon, 11 May 2020 20:29:28 -0700 (PDT)
MIME-Version: 1.0
Received: by 2002:ab3:1783:0:0:0:0:0 with HTTP; Mon, 11 May 2020 20:29:27
 -0700 (PDT)
In-Reply-To: <CAC2bXD6gWCr9GK7m==YP+riR_8J=aEMGXocMKk7nCzXPSFQifQ@mail.gmail.com>
References: <CAPweEDz=1aP9iekH_-e4r9yBXAquAYUBw0yyupQ98dP29ps_KQ@mail.gmail.com>
 <CAPweEDzZHD_NzaWLQ9vuMa2N7iA5=EanYqxpDp1h+WyM7+j2VQ@mail.gmail.com>
 <D96DDBD2-461A-4CB9-B536-CC7434B97CA3@gatech.edu>
 <CAPweEDx7Ou_0panOQEW+58RgdqSq7_dKhXQvV3D-aGCghEgm9w@mail.gmail.com>
 <CAPweEDz-35t6vK=-NX2QtQqZ3bJjP3f=5bmdick_45X2K0bF4A@mail.gmail.com>
 <3079D5F2-F773-47BE-AD3E-DEE1377FED17@gatech.edu>
 <CAPweEDxHxc4ZWuQtEnY1EQqdRHuXAqgVXpLxqWRewXJdrPpcwA@mail.gmail.com>
 <CAC2bXD6gWCr9GK7m==YP+riR_8J=aEMGXocMKk7nCzXPSFQifQ@mail.gmail.com>
From: Luke Kenneth Casson Leighton <lkcl@lkcl.net>
Date: Tue, 12 May 2020 04:29:27 +0100
X-Gmail-Original-Message-ID: <CAPweEDwFKQ84tscPavL=ZkZ=jRX=VYDQXmdxstG7qFmvEoiVLg@mail.gmail.com>
Message-ID: <CAPweEDwFKQ84tscPavL=ZkZ=jRX=VYDQXmdxstG7qFmvEoiVLg@mail.gmail.com>
To: Libre-RISCV General Development <libre-riscv-dev@lists.libre-riscv.org>
X-Content-Filtered-By: Mailman/MimeDel 2.1.23
Subject: Re: [libre-riscv-dev] Power memory fences and icache handling
X-BeenThere: libre-riscv-dev@lists.libre-riscv.org
X-Mailman-Version: 2.1.23
Precedence: list
List-Id: Libre-RISCV General Development
 <libre-riscv-dev.lists.libre-riscv.org>
List-Unsubscribe: <http://lists.libre-riscv.org/mailman/options/libre-riscv-dev>, 
 <mailto:libre-riscv-dev-request@lists.libre-riscv.org?subject=unsubscribe>
List-Archive: <http://lists.libre-riscv.org/pipermail/libre-riscv-dev/>
List-Post: <mailto:libre-riscv-dev@lists.libre-riscv.org>
List-Help: <mailto:libre-riscv-dev-request@lists.libre-riscv.org?subject=help>
List-Subscribe: <http://lists.libre-riscv.org/mailman/listinfo/libre-riscv-dev>, 
 <mailto:libre-riscv-dev-request@lists.libre-riscv.org?subject=subscribe>
Reply-To: Libre-RISCV General Development
 <libre-riscv-dev@lists.libre-riscv.org>
Content-Type: text/plain; charset="utf-8"
Content-Transfer-Encoding: base64
Errors-To: libre-riscv-dev-bounces@lists.libre-riscv.org
Sender: "libre-riscv-dev" <libre-riscv-dev-bounces@lists.libre-riscv.org>

T24gVHVlc2RheSwgTWF5IDEyLCAyMDIwLCBKYWNvYiBMaWZzaGF5IDxwcm9ncmFtbWVyamFrZUBn
bWFpbC5jb20+IHdyb3RlOgoKPiBPbiBNb24sIE1heSAxMSwgMjAyMCwgMTc6NTQgTHVrZSBLZW5u
ZXRoIENhc3NvbiBMZWlnaHRvbiA8bGtjbEBsa2NsLm5ldD4KPiB3cm90ZToKPgo+ID4gT24gVHVl
c2RheSwgTWF5IDEyLCAyMDIwLCBZZWhvd3NodWEgPHlpbW1hbnVlbDNAZ2F0ZWNoLmVkdT4gd3Jv
dGU6Cj4gPgo+ID4gPiA+IGRjYWNoZToKPiA+ID4gPiBodHRwczovL2dpdGh1Yi5jb20vcGF1bHVz
bWFjay9taWNyb3dhdHQvYmxvYi9tbXUvZGNhY2hlLnZoZGwgPAo+ID4gPiBodHRwczovL2dpdGh1
Yi5jb20vcGF1bHVzbWFjay9taWNyb3dhdHQvYmxvYi9tbXUvZGNhY2hlLnZoZGw+Cj4gPiA+ID4K
PiA+ID4gPiBpY2FjaGU6Cj4gPiA+ID4gaHR0cHM6Ly9naXRodWIuY29tL3BhdWx1c21hY2svbWlj
cm93YXR0L2Jsb2IvbW11L2ljYWNoZS52aGRsIDwKPiA+ID4gaHR0cHM6Ly9naXRodWIuY29tL3Bh
dWx1c21hY2svbWljcm93YXR0L2Jsb2IvbW11L2ljYWNoZS52aGRsPgo+ID4gPgo+ID4gPgo+ID4g
PiBJIHdhcyBhY3R1YWxseSB0YWxraW5nIHRvIE1pY2hhZWwgYWJvdXQgdGhhdCB0aGUgb3RoZXIg
ZGF5Lgo+ID4gPgo+ID4gPiBJZiB5b3UgaGF2ZSBhbiBpbnN0cnVjdGlvbiB0aGF0IGRvZXMgYSBz
dG9yZSB0byBhIGxvY2F0aW9uIGluIHRoZQo+IGljYWNoZSwKPiA+Cj4gPgo+ID4gdGhhdCBpcyBw
cm9oaWJpdGVkIGJ5IGRlc2lnbi4KPiA+Cj4KPiBJZiB5b3UncmUgdHJ5aW5nIHRvIHJ1biBhIHN0
YW5kYXJkIExpbnV4IE9TLCB3cml0aW5nIHRvIG1lbW9yeSB0aGF0IGNvdWxkCj4gYmUgaW4gdGhl
IGljYWNoZSBpcyByZXF1aXJlZCwgdGhhdCdzIGhvdyB0aGUgZHluYW1pYyBsaW5rZXIgd29ya3Mu
CgoKbXkgdW5kZXJzdGFiZGluZyBvZiB0aGlzIGlzIHRoYXQgd3JpdGluZyB0byBtZW1vcnkgYXMg
YSBkYXRhIHBhZ2UsIHRoZW4KZmx1c2hpbmcgaXQgYW5kIHJlbG9hZGluZyBpdCBpbnRvIHRoZSBp
Y2FjaGUsIGlzIGEgd29ya2Fyb3VuZC4KCgo+IEFkZGl0aW9uYWxseSwgbG9hZGluZyBjb2RlIGZy
b20gZGlzayAoZS5nLiB0aGUgZXhlYygpIGNhbGwpIG9yIEpJVAo+IGNvbXBpbGF0aW9uIGFsc28g
cmVxdWlyZXMgd3JpdGluZyB0byBtZW1vcnkgdGhlbiBleGVjdXRpbmcgaXQuIEluIGFsbCBvZgo+
IHRob3NlIGNhc2VzIG9uZSBvciBtb3JlIGljYWNoZSBpbnZhbGlkYXRlIGFuZCB0aGVuIGFuIGlz
eW5jIGluc3RydWN0aW9uIChvcgo+IG90aGVyIGNvbnRleHQgc3luY2hyb25pemluZyBpbnN0cnVj
dGlvbikgYXJlIHJ1biBiZWZvcmUgcnVubmluZyB0aGUKPiBtb2RpZmllZCBjb2RlLgoKCnRoYXQg
d291bGQuLi4gb2sgaWYgdGhlIGljYWNoZSBpcyBlbnRpcmVseSBpbnZhbGlkYXRlZCBmb2xsb3dp
bmcgYSB3cml0ZQp0aHJvdWdoIHRoZSBkY2FjaGUsIGl0IHdvdWxkIGxvYWQgIHRoZSBtb2RpZmll
ZCBleGVjdXRhYmxlCgoKPgo+IE5vdGU6IGl0IHR1cm5zIG91dCB0aGF0IGlzeW5jIGRvZXNuJ3Qg
ZG8gYW55IGljYWNoZSBmbHVzaGluZyB3aXRob3V0Cj4gYWRkaXRpb25hbCBpY2FjaGUgaW52YWxp
ZGF0ZSBpbnN0cnVjdGlvbnMsIHNvIGl0J3Mgbm90IHF1aXRlIGFzIGV4cGVuc2l2ZQo+IGFzIEkg
aGFkIG9yaWdpbmFsbHkgdGhvdWdodCBmb3IgUG93ZXIgYXRvbWljcywgaG93ZXZlciwgaXQgc3Rp
bGwgcmVzdGFydHMKPiBmZXRjaGluZyBhbmQgZGVjb2RpbmcgaW5zdHJ1Y3Rpb25zLCBzbyBpcyBz
dGlsbCBtb3JlIGV4cGVuc2l2ZSB0aGFuCj4gbmVjZXNzYXJ5IGZvciBqdXN0IHVzaW5nIGl0IGFz
IGFuIGF0b21pYyBmZW5jZS4KCgpobW1tCgoKCgotLSAKLS0tCmNyb3dkLWZ1bmRlZCBlY28tY29u
c2Npb3VzIGhhcmR3YXJlOiBodHRwczovL3d3dy5jcm93ZHN1cHBseS5jb20vZW9tYTY4Cl9fX19f
X19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fCmxpYnJlLXJpc2N2LWRl
diBtYWlsaW5nIGxpc3QKbGlicmUtcmlzY3YtZGV2QGxpc3RzLmxpYnJlLXJpc2N2Lm9yZwpodHRw
Oi8vbGlzdHMubGlicmUtcmlzY3Yub3JnL21haWxtYW4vbGlzdGluZm8vbGlicmUtcmlzY3YtZGV2
Cg==