From 0a0647ae0b8b8804bc8717c358834330a0335805 Mon Sep 17 00:00:00 2001
From: John Baldwin <jhb@FreeBSD.org>
Date: Fri, 4 Aug 2023 15:58:39 -0700
Subject: [PATCH] RISC-V ISA ref: Add new functions for DDC/PCC relocation

---
 chap-isaref-riscv.tex | 2 ++
 1 file changed, 2 insertions(+)

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}