From 5736b2d3be39b9ae71f5801e1143d87628929c4d Mon Sep 17 00:00:00 2001
From: Andrew Waterman <andrew@sifive.com>
Date: Mon, 20 Jul 2020 15:30:00 -0700
Subject: clarify that high counters are RV32I-only

---
 src/counters.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/counters.tex')

diff --git a/src/counters.tex b/src/counters.tex
index 2139d34..3160a27 100644
--- a/src/counters.tex
+++ b/src/counters.tex
@@ -41,7 +41,7 @@ pieces using CSRRS instructions.  In RV64I, the CSR instructions can
 manipulate 64-bit CSRs.  In particular, the RDCYCLE, RDTIME, and
 RDINSTRET pseudoinstructions read the full 64 bits of the {\tt cycle},
 {\tt time}, and {\tt instret} counters.  Hence, the RDCYCLEH, RDTIMEH,
-and RDINSTRETH instructions are not required in RV64I.
+and RDINSTRETH instructions are RV32I-only.
 
 \begin{commentary}
 Some execution environments might prohibit access to counters to
-- 
cgit v1.1

