Split hinval.vvma and hinval.gvma from rv_svinval to rv_svinval_h

Because hinval.vvma and hinval.gvma can only be used legally when both Svinval and H
extensions are supported, move them out from rv_svinval to rv_svinval_h.

1 files changed, 1 insertions, 1 deletions

diff --git a/parse.py b/parse.py
index 8a924e7..da35d85 100755
--- a/parse.py
+++ b/parse.py
@@ -508,7 +508,7 @@ def create_inst_dict(file_filter, include_pseudo=False, include_pseudo_ops=[]):
 def make_priv_latex_table():
     latex_file = open("priv-instr-table.tex", "w")
     type_list = ["R-type", "I-type"]
-    system_instr = ["_h", "_s", "_system", "_svinval", "64_h"]
+    system_instr = ["_h", "_s", "_system", "_svinval", "64_h", "svinval_h"]
     dataset_list = [(system_instr, "Trap-Return Instructions", ["sret", "mret"], False)]
     dataset_list.append(
         (system_instr, "Interrupt-Management Instructions", ["wfi"], False)