Mark CClearTags as reserved since it's not implemented anywhere

CTSRD-CHERI · Apr 4, 2022 · 0795116 · 0795116
1 parent 1dc6a24
commit 0795116
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 2 deletions.
diff --git a/app-isaquick-riscv.tex b/app-isaquick-riscv.tex
@@ -817,7 +817,9 @@ \chapter{CHERI-RISC-V ISA Quick Reference}
 	\vspace{1em}
 
 	{\scriptsize
-	\rvcherienctablesrc
+	\def\rvcherireservedfootnotemark{$\dagger$}
+	\rvcherienctablesrc\\\\
+	$\dagger$ Reserved for future use.
 	}
 
 	\vspace{1em}

diff --git a/def-riscv-insns.tex b/def-riscv-insns.tex
@@ -66,7 +66,7 @@
 \rvcherisrcdest[name=CRepresentableAlignmentMask,shortname=CRAM]{9}{rd}{rs1}
 
 \rvcherisrcdest[name=CLoadTags]{12}{rd}{cs1}
-\rvcherisrc[name=CClearTags]{0}{cs1}
+\rvcherisrc[name=CClearTags,noref,tablesuffix=\rvcherireservedfootnotemark]{0}{cs1}
 
 \rvcheriexpload[name=LB.DDC]{00}{rd}{rs1}
 \rvcheriexpload[name=LH.DDC]{01}{rd}{rs1}