aboutsummaryrefslogtreecommitdiff
path: root/riscv/insns/hsv_h.h
diff options
context:
space:
mode:
Diffstat (limited to 'riscv/insns/hsv_h.h')
-rw-r--r--riscv/insns/hsv_h.h4
1 files changed, 4 insertions, 0 deletions
diff --git a/riscv/insns/hsv_h.h b/riscv/insns/hsv_h.h
new file mode 100644
index 0000000..f4da613
--- /dev/null
+++ b/riscv/insns/hsv_h.h
@@ -0,0 +1,4 @@
+require_extension('H');
+require_privilege(get_field(STATE.hstatus, HSTATUS_HU) ? PRV_S : PRV_U);
+require_novirt();
+MMU.guest_store_uint16(RS1, RS2);