diff --git a/chap-isaref-riscv.tex b/chap-isaref-riscv.tex
index 2d08aa7b..0c59e11d 100644
--- a/chap-isaref-riscv.tex
+++ b/chap-isaref-riscv.tex
@@ -155,6 +155,7 @@ \subsection*{Functions for reading and writing registers and memory}
 \sailRISCVval{mem\_read\_cap}
 
 \medskip
+\sailRISCVval{ddc\_and\_resulting\_addr}
 \sailRISCVval{get\_cheri\_mode\_cap\_addr}
 \sailRISCVval{handle\_load\_cap\_via\_cap}
 \sailRISCVval{handle\_load\_data\_via\_cap}
@@ -251,6 +252,7 @@ \subsection*{Checking for availability of ISA features}
 \sailRISCVval{haveFExt}
 \sailRISCVval{haveNExt}
 \sailRISCVval{haveSupMode}
+\sailRISCVval{have\_pcc\_relocation}
 
 
 \section{CHERI-RISC-V Instructions}