From 5540081f58c2c948dc09f395735a5e0e6fcaf47b Mon Sep 17 00:00:00 2001
From: Andrew Waterman <andrew@sifive.com>
Date: Mon, 30 Oct 2023 14:12:52 -0700
Subject: Specify SFENCE/HFENCE requirements when changing PBMTE (#1111)

---
 src/priv-preface.adoc | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'src/priv-preface.adoc')

diff --git a/src/priv-preface.adoc b/src/priv-preface.adoc
index b518d2d..d1ccfcb 100644
--- a/src/priv-preface.adoc
+++ b/src/priv-preface.adoc
@@ -36,6 +36,8 @@ version 1.12:
 
 * Defined the `misa`.V field to reflect that the V extension has been
 implemented.
+* Specified synchronization requirements when changing the PBMTE fields
+in `menvcfg` and `henvcfg`.
 * Clarified semantics of explicit accesses to CSRs wider than XLEN bits.
 * Clarified that MXLEN&#8805;SXLEN, and added the constraint that
 SXLEN&#8805;UXLEN.
-- 
cgit v1.1

