diff options
-rw-r--r-- | src/naming.tex | 15 |
1 files changed, 0 insertions, 15 deletions
diff --git a/src/naming.tex b/src/naming.tex index 8c857ce..4da6bd0 100644 --- a/src/naming.tex +++ b/src/naming.tex @@ -104,16 +104,6 @@ Standard supervisor-level extensions should be listed after standard unprivileged extensions. If multiple supervisor-level extensions are listed, they should be ordered alphabetically. -\section{Hypervisor-level Instruction-Set Extensions} - -Standard hypervisor-level instruction-set extensions are named like -supervisor-level extensions, but beginning with the letter ``H'' instead of -the letter ``S''. - -Standard hypervisor-level extensions should be listed after standard -lesser-privileged extensions. If multiple hypervisor-level extensions are -listed, they should be ordered alphabetically. - \section{Machine-level Instruction-Set Extensions} Standard machine-level instruction-set extensions are prefixed with the three @@ -178,11 +168,6 @@ Total Store Ordering & Ztso & \\ Supervisor-level extension ``def'' & Sdef & \\ \hline \hline -\multicolumn{3}{|c|}{Standard Hypervisor-Level Extensions}\\ -\hline -Hypervisor-level extension ``ghi'' & Hghi & \\ -\hline -\hline \multicolumn{3}{|c|}{Standard Machine-Level Extensions}\\ \hline Machine-level extension ``jkl'' & Zxmjkl & \\ |