1f/bbfed3ce82ed6ddbf61b68fcbfc9512f122c6d

   1 Return-path: <libre-riscv-dev-bounces@lists.libre-riscv.org>
   2 Envelope-to: publicinbox@libre-riscv.org
   3 Delivery-date: Tue, 12 May 2020 04:29:52 +0100
   4 Received: from localhost ([::1] helo=libre-riscv.org)
   5         by libre-soc.org with esmtp (Exim 4.89)
   6         (envelope-from <libre-riscv-dev-bounces@lists.libre-riscv.org>)
   7         id 1jYLc7-0004GD-Mw; Tue, 12 May 2020 04:29:51 +0100
   8 Received: from lkcl.net ([217.147.94.29])
   9  by libre-soc.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128)
  10  (Exim 4.89) (envelope-from <lkcl@lkcl.net>) id 1jYLc5-0004G6-TQ
  11  for libre-riscv-dev@lists.libre-riscv.org; Tue, 12 May 2020 04:29:49 +0100
  12 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=lkcl.net;
  13  s=201607131;
  14  h=Content-Type:To:Subject:Message-ID:Date:From:References:In-Reply-To:MIME-Version;
  15  bh=1PFy7Jf6zKrx2Xin6v6QOHS1xsNpxntWP9v1Z/q+viI=;
  16  b=k6y8OcyCPK/qh9cYlp9KRNdts/RRaARqQodYZfy3MEj8EcRkVETaN9O3Wh8CTV8QxHBnIK0HXjRMCKy5sZV9tf2M6jTNuLrbAs7foVRSFsxHzHd8lGZbc/yzyfvVsi5ed/N6eLYxqa5ViSZOP7WXJgP7yChql7ObFogq1xqS5bE=;
  17 Received: from mail-lj1-f173.google.com ([209.85.208.173])
  18  by lkcl.net with esmtpsa (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128)
  19  (Exim 4.84_2) (envelope-from <lkcl@lkcl.net>) id 1jYLc5-0004nT-HL
  20  for libre-riscv-dev@lists.libre-riscv.org; Tue, 12 May 2020 03:29:49 +0000
  21 Received: by mail-lj1-f173.google.com with SMTP id g4so11935864ljl.2
  22  for <libre-riscv-dev@lists.libre-riscv.org>;
  23  Mon, 11 May 2020 20:29:34 -0700 (PDT)
  24 X-Gm-Message-State: AOAM5305DGS+iTuP2wnC5HoHValCXgfXZcPzpdGFYvtMlly1CvQ3QHwh
  25  QWSWnpdZWP6vJkGRJDRglYeNkvBVYuebHAydfBA=
  26 X-Google-Smtp-Source: ABdhPJwgBTbbEjaFmJqy18T6Ud0GzNvMkKoLDOuMdRwTVOZTfngBFu/e5yAO4cwDepuLY4FVf3S0XQBSxodPtkKgYB8=
  27 X-Received: by 2002:a2e:8056:: with SMTP id p22mr12431246ljg.266.1589254168515;
  28  Mon, 11 May 2020 20:29:28 -0700 (PDT)
  29 MIME-Version: 1.0
  30 Received: by 2002:ab3:1783:0:0:0:0:0 with HTTP; Mon, 11 May 2020 20:29:27
  31  -0700 (PDT)
  32 In-Reply-To: <CAC2bXD6gWCr9GK7m==YP+riR_8J=aEMGXocMKk7nCzXPSFQifQ@mail.gmail.com>
  33 References: <CAPweEDz=1aP9iekH_-e4r9yBXAquAYUBw0yyupQ98dP29ps_KQ@mail.gmail.com>
  34  <CAPweEDzZHD_NzaWLQ9vuMa2N7iA5=EanYqxpDp1h+WyM7+j2VQ@mail.gmail.com>
  35  <D96DDBD2-461A-4CB9-B536-CC7434B97CA3@gatech.edu>
  36  <CAPweEDx7Ou_0panOQEW+58RgdqSq7_dKhXQvV3D-aGCghEgm9w@mail.gmail.com>
  37  <CAPweEDz-35t6vK=-NX2QtQqZ3bJjP3f=5bmdick_45X2K0bF4A@mail.gmail.com>
  38  <3079D5F2-F773-47BE-AD3E-DEE1377FED17@gatech.edu>
  39  <CAPweEDxHxc4ZWuQtEnY1EQqdRHuXAqgVXpLxqWRewXJdrPpcwA@mail.gmail.com>
  40  <CAC2bXD6gWCr9GK7m==YP+riR_8J=aEMGXocMKk7nCzXPSFQifQ@mail.gmail.com>
  41 From: Luke Kenneth Casson Leighton <lkcl@lkcl.net>
  42 Date: Tue, 12 May 2020 04:29:27 +0100
  43 X-Gmail-Original-Message-ID: <CAPweEDwFKQ84tscPavL=ZkZ=jRX=VYDQXmdxstG7qFmvEoiVLg@mail.gmail.com>
  44 Message-ID: <CAPweEDwFKQ84tscPavL=ZkZ=jRX=VYDQXmdxstG7qFmvEoiVLg@mail.gmail.com>
  45 To: Libre-RISCV General Development <libre-riscv-dev@lists.libre-riscv.org>
  46 X-Content-Filtered-By: Mailman/MimeDel 2.1.23
  47 Subject: Re: [libre-riscv-dev] Power memory fences and icache handling
  48 X-BeenThere: libre-riscv-dev@lists.libre-riscv.org
  49 X-Mailman-Version: 2.1.23
  50 Precedence: list
  51 List-Id: Libre-RISCV General Development
  52  <libre-riscv-dev.lists.libre-riscv.org>
  53 List-Unsubscribe: <http://lists.libre-riscv.org/mailman/options/libre-riscv-dev>,
  54  <mailto:libre-riscv-dev-request@lists.libre-riscv.org?subject=unsubscribe>
  55 List-Archive: <http://lists.libre-riscv.org/pipermail/libre-riscv-dev/>
  56 List-Post: <mailto:libre-riscv-dev@lists.libre-riscv.org>
  57 List-Help: <mailto:libre-riscv-dev-request@lists.libre-riscv.org?subject=help>
  58 List-Subscribe: <http://lists.libre-riscv.org/mailman/listinfo/libre-riscv-dev>,
  59  <mailto:libre-riscv-dev-request@lists.libre-riscv.org?subject=subscribe>
  60 Reply-To: Libre-RISCV General Development
  61  <libre-riscv-dev@lists.libre-riscv.org>
  62 Content-Type: text/plain; charset="utf-8"
  63 Content-Transfer-Encoding: base64
  64 Errors-To: libre-riscv-dev-bounces@lists.libre-riscv.org
  65 Sender: "libre-riscv-dev" <libre-riscv-dev-bounces@lists.libre-riscv.org>
  66
  67 T24gVHVlc2RheSwgTWF5IDEyLCAyMDIwLCBKYWNvYiBMaWZzaGF5IDxwcm9ncmFtbWVyamFrZUBn
  68 bWFpbC5jb20+IHdyb3RlOgoKPiBPbiBNb24sIE1heSAxMSwgMjAyMCwgMTc6NTQgTHVrZSBLZW5u
  69 ZXRoIENhc3NvbiBMZWlnaHRvbiA8bGtjbEBsa2NsLm5ldD4KPiB3cm90ZToKPgo+ID4gT24gVHVl
  70 c2RheSwgTWF5IDEyLCAyMDIwLCBZZWhvd3NodWEgPHlpbW1hbnVlbDNAZ2F0ZWNoLmVkdT4gd3Jv
  71 dGU6Cj4gPgo+ID4gPiA+IGRjYWNoZToKPiA+ID4gPiBodHRwczovL2dpdGh1Yi5jb20vcGF1bHVz
  72 bWFjay9taWNyb3dhdHQvYmxvYi9tbXUvZGNhY2hlLnZoZGwgPAo+ID4gPiBodHRwczovL2dpdGh1
  73 Yi5jb20vcGF1bHVzbWFjay9taWNyb3dhdHQvYmxvYi9tbXUvZGNhY2hlLnZoZGw+Cj4gPiA+ID4K
  74 PiA+ID4gPiBpY2FjaGU6Cj4gPiA+ID4gaHR0cHM6Ly9naXRodWIuY29tL3BhdWx1c21hY2svbWlj
  75 cm93YXR0L2Jsb2IvbW11L2ljYWNoZS52aGRsIDwKPiA+ID4gaHR0cHM6Ly9naXRodWIuY29tL3Bh
  76 dWx1c21hY2svbWljcm93YXR0L2Jsb2IvbW11L2ljYWNoZS52aGRsPgo+ID4gPgo+ID4gPgo+ID4g
  77 PiBJIHdhcyBhY3R1YWxseSB0YWxraW5nIHRvIE1pY2hhZWwgYWJvdXQgdGhhdCB0aGUgb3RoZXIg
  78 ZGF5Lgo+ID4gPgo+ID4gPiBJZiB5b3UgaGF2ZSBhbiBpbnN0cnVjdGlvbiB0aGF0IGRvZXMgYSBz
  79 dG9yZSB0byBhIGxvY2F0aW9uIGluIHRoZQo+IGljYWNoZSwKPiA+Cj4gPgo+ID4gdGhhdCBpcyBw
  80 cm9oaWJpdGVkIGJ5IGRlc2lnbi4KPiA+Cj4KPiBJZiB5b3UncmUgdHJ5aW5nIHRvIHJ1biBhIHN0
  81 YW5kYXJkIExpbnV4IE9TLCB3cml0aW5nIHRvIG1lbW9yeSB0aGF0IGNvdWxkCj4gYmUgaW4gdGhl
  82 IGljYWNoZSBpcyByZXF1aXJlZCwgdGhhdCdzIGhvdyB0aGUgZHluYW1pYyBsaW5rZXIgd29ya3Mu
  83 CgoKbXkgdW5kZXJzdGFiZGluZyBvZiB0aGlzIGlzIHRoYXQgd3JpdGluZyB0byBtZW1vcnkgYXMg
  84 YSBkYXRhIHBhZ2UsIHRoZW4KZmx1c2hpbmcgaXQgYW5kIHJlbG9hZGluZyBpdCBpbnRvIHRoZSBp
  85 Y2FjaGUsIGlzIGEgd29ya2Fyb3VuZC4KCgo+IEFkZGl0aW9uYWxseSwgbG9hZGluZyBjb2RlIGZy
  86 b20gZGlzayAoZS5nLiB0aGUgZXhlYygpIGNhbGwpIG9yIEpJVAo+IGNvbXBpbGF0aW9uIGFsc28g
  87 cmVxdWlyZXMgd3JpdGluZyB0byBtZW1vcnkgdGhlbiBleGVjdXRpbmcgaXQuIEluIGFsbCBvZgo+
  88 IHRob3NlIGNhc2VzIG9uZSBvciBtb3JlIGljYWNoZSBpbnZhbGlkYXRlIGFuZCB0aGVuIGFuIGlz
  89 eW5jIGluc3RydWN0aW9uIChvcgo+IG90aGVyIGNvbnRleHQgc3luY2hyb25pemluZyBpbnN0cnVj
  90 dGlvbikgYXJlIHJ1biBiZWZvcmUgcnVubmluZyB0aGUKPiBtb2RpZmllZCBjb2RlLgoKCnRoYXQg
  91 d291bGQuLi4gb2sgaWYgdGhlIGljYWNoZSBpcyBlbnRpcmVseSBpbnZhbGlkYXRlZCBmb2xsb3dp
  92 bmcgYSB3cml0ZQp0aHJvdWdoIHRoZSBkY2FjaGUsIGl0IHdvdWxkIGxvYWQgIHRoZSBtb2RpZmll
  93 ZCBleGVjdXRhYmxlCgoKPgo+IE5vdGU6IGl0IHR1cm5zIG91dCB0aGF0IGlzeW5jIGRvZXNuJ3Qg
  94 ZG8gYW55IGljYWNoZSBmbHVzaGluZyB3aXRob3V0Cj4gYWRkaXRpb25hbCBpY2FjaGUgaW52YWxp
  95 ZGF0ZSBpbnN0cnVjdGlvbnMsIHNvIGl0J3Mgbm90IHF1aXRlIGFzIGV4cGVuc2l2ZQo+IGFzIEkg
  96 aGFkIG9yaWdpbmFsbHkgdGhvdWdodCBmb3IgUG93ZXIgYXRvbWljcywgaG93ZXZlciwgaXQgc3Rp
  97 bGwgcmVzdGFydHMKPiBmZXRjaGluZyBhbmQgZGVjb2RpbmcgaW5zdHJ1Y3Rpb25zLCBzbyBpcyBz
  98 dGlsbCBtb3JlIGV4cGVuc2l2ZSB0aGFuCj4gbmVjZXNzYXJ5IGZvciBqdXN0IHVzaW5nIGl0IGFz
  99 IGFuIGF0b21pYyBmZW5jZS4KCgpobW1tCgoKCgotLSAKLS0tCmNyb3dkLWZ1bmRlZCBlY28tY29u
 100 c2Npb3VzIGhhcmR3YXJlOiBodHRwczovL3d3dy5jcm93ZHN1cHBseS5jb20vZW9tYTY4Cl9fX19f
 101 X19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fCmxpYnJlLXJpc2N2LWRl
 102 diBtYWlsaW5nIGxpc3QKbGlicmUtcmlzY3YtZGV2QGxpc3RzLmxpYnJlLXJpc2N2Lm9yZwpodHRw
 103 Oi8vbGlzdHMubGlicmUtcmlzY3Yub3JnL21haWxtYW4vbGlzdGluZm8vbGlicmUtcmlzY3YtZGV2
 104 Cg==
 105