diff options
Diffstat (limited to 'rv_svinval')
-rw-r--r-- | rv_svinval | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/rv_svinval b/rv_svinval new file mode 100644 index 0000000..b35ae7c --- /dev/null +++ b/rv_svinval @@ -0,0 +1,7 @@ +# Svinval +sinval.vma 11..7=0 rs1 rs2 31..25=0x0b 14..12=0 6..2=0x1C 1..0=3 +sfence.w.inval 11..7=0 19..15=0x0 24..20=0x0 31..25=0x0c 14..12=0 6..2=0x1C 1..0=3 +sfence.inval.ir 11..7=0 19..15=0x0 24..20=0x1 31..25=0x0c 14..12=0 6..2=0x1C 1..0=3 +hinval.vvma 11..7=0 rs1 rs2 31..25=0x13 14..12=0 6..2=0x1C 1..0=3 +hinval.gvma 11..7=0 rs1 rs2 31..25=0x33 14..12=0 6..2=0x1C 1..0=3 + |