Separate transformation for HLV instructions (#777)

1 files changed, 33 insertions, 3 deletions

diff --git a/src/hypervisor.tex b/src/hypervisor.tex
index 42d0846..f909ee4 100644
--- a/src/hypervisor.tex
+++ b/src/hypervisor.tex
@@ -3348,7 +3348,37 @@ Addr.\ Offset.}
 
 For a standard virtual-machine load/store instruction
 (HLV, HLVX, or HSV), the transformed instruction has the format shown in
-Figure~\ref{transformedvmaccessinst}.
+Figure \ref{fig:transfHLV} or~\ref{fig:transfHSV}.
+
+\begin{figure*}[h!]
+{\footnotesize
+\begin{center}
+\begin{tabular}{@{}O@{}R@{}R@{}F@{}R@{}S}
+\\
+\instbitrange{31}{25} &
+\instbitrange{24}{20} &
+\instbitrange{19}{15} &
+\instbitrange{14}{12} &
+\instbitrange{11}{7} &
+\instbitrange{6}{0} \\
+\hline
+\multicolumn{1}{|c|}{funct7} &
+\multicolumn{1}{c|}{funct5} &
+\multicolumn{1}{c|}{Addr.\ Offset} &
+\multicolumn{1}{c|}{funct3} &
+\multicolumn{1}{c|}{rd} &
+\multicolumn{1}{c|}{opcode} \\
+\hline
+7 & 5 & 5 & 3 & 5 & 7 \\
+\end{tabular}
+\end{center}
+}
+\vspace{-0.1in}
+\caption{Transformed HLV or HLVX instruction.
+All fields are the same as the trapping instruction except bits 19:15,
+Addr.\ Offset.}
+\label{fig:transfHLV}
+\end{figure*}
 
 \begin{figure*}[h!]
 {\footnotesize
@@ -3374,10 +3404,10 @@ Figure~\ref{transformedvmaccessinst}.
 \end{center}
 }
 \vspace{-0.1in}
-\caption{Transformed virtual-machine load/store instruction (HLV, HLVX, HSV).
+\caption{Transformed HSV instruction.
 All fields are the same as the trapping instruction except bits 19:15,
 Addr.\ Offset.}
-\label{transformedvmaccessinst}
+\label{fig:transfHSV}
 \end{figure*}
 
 In all the transformed instructions above, the Addr.\ Offset field that