diff --git a/app-isaquick-riscv.tex b/app-isaquick-riscv.tex index 4311d928..0362309d 100644 --- 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 index 4121dab1..f31d91d4 100644 --- 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}