Skip to content

Commit

Permalink
Drop an old workaround
Browse files Browse the repository at this point in the history
arichardson committed Jan 4, 2023
1 parent 7d2476f commit 8edc226
Showing 2 changed files with 5 additions and 7 deletions.
3 changes: 0 additions & 3 deletions insn-riscv/lc.tex
Original file line number Diff line number Diff line change
@@ -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}
9 changes: 5 additions & 4 deletions sail_latex_riscv/commands.tex
Original file line number Diff line number Diff line change
@@ -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}

0 comments on commit 8edc226

Please sign in to comment.