aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorTsukasa OI <research_trasio@irq.a4lg.com>2022-04-23 15:40:09 +0900
committerAndrew Waterman <andrew@sifive.com>2022-04-26 17:06:23 -0700
commit7249db977f44ee7e9f72ff15ac0f7e2f31654a74 (patch)
tree0175a3fa50899cae56e2d1f967601be9be379d4e
parentf5f9c27010b69a015958ffebe1ac5a34f8776dff (diff)
downloadriscv-isa-manual-7249db977f44ee7e9f72ff15ac0f7e2f31654a74.zip
riscv-isa-manual-7249db977f44ee7e9f72ff15ac0f7e2f31654a74.tar.gz
riscv-isa-manual-7249db977f44ee7e9f72ff15ac0f7e2f31654a74.tar.bz2
Remove multi-letter H* extensions from naming
Because 'H' is going to be a single-letter extension, multi-letter H* extensions (no such extensions are ratified nor proposed) must be removed.
-rw-r--r--src/naming.tex15
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 & \\