From 4b34476937b494f5dfe1a229008585017e958194 Mon Sep 17 00:00:00 2001
From: Palmer Dabbelt <palmer@dabbelt.com>
Date: Wed, 16 Aug 2017 12:26:25 -0700
Subject: [PATCH] Inform GCC that "sfence.vma" clobbers memory

---
 benchmarks/pmp/pmp.c | 2 +-
 env                  | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/benchmarks/pmp/pmp.c b/benchmarks/pmp/pmp.c
index 9d07ed8..c263cfd 100644
--- a/benchmarks/pmp/pmp.c
+++ b/benchmarks/pmp/pmp.c
@@ -137,7 +137,7 @@ INLINE pmpcfg_t set_pmp(pmpcfg_t p)
   write_csr(pmpaddr0, p.a0);
   write_csr(pmpaddr1, p.a1);
   write_csr(pmpcfg0, ((p.cfg << 8) & 0xff00) | (cfg0 & ~0xff00));
-  asm volatile ("sfence.vma");
+  asm volatile ("sfence.vma" ::: "memory");
   return p;
 }
 
diff --git a/env b/env
index db0bfa2..1b76fd1 160000
--- a/env
+++ b/env
@@ -1 +1 @@
-Subproject commit db0bfa223142e56b17dae6d92610f195014bbb80
+Subproject commit 1b76fd1f1c63dfe4cea93f426434a7384d2bf801
-- 
2.30.2