diff --git a/insn-riscv/lc.tex b/insn-riscv/lc.tex index 98b8a41a..fcdcbd27 100644 --- a/insn-riscv/lc.tex +++ b/insn-riscv/lc.tex @@ -37,7 +37,4 @@ \subsubsection*{Format} \end{bytefield} \end{center} -% XXX: Ideally we would be able to use [LC](LoadCapImm) in the saildoc but that -% generates a link to the literal LoadCapImm. -\label{sailRISCVzLC} \sailRISCVisarefbody{LoadCapImm} diff --git a/sail_latex_riscv/commands.tex b/sail_latex_riscv/commands.tex index e9806d37..8ce14526 100644 --- a/sail_latex_riscv/commands.tex +++ b/sail_latex_riscv/commands.tex @@ -5843,10 +5843,11 @@ \subsection*{Notes} cache line size in the system. -\item Unlike \hyperref[sailRISCVzLC]{\lstinline{LC}}, this instuction traps if tags will always be unset due to - lacking \textbf{Permit\_Load\_Capability} or page table entry permissions, since - that is likely indicative of a software bug that could lead to temporal - safety vulnerabilities if capabilities are erroneously missed. +\item Unlike \hyperref[sailRISCVzLoadCapImm]{CLC}, this instruction traps if tags will always be + unset due to lacking \textbf{Permit\_Load\_Capability} or page table entry + permissions, since that is likely indicative of a software bug that could + lead to temporal safety vulnerabilities if capabilities are erroneously + missed. \end{itemize}