executor, sys/linux, pkg: enable syz_kvm_assert_reg for riscv64

- Enables syz_kvm_assert_reg for riscv64.
- Updates kvm_one_reg according to the latest definition in
https://github.com/torvalds/linux/blob/master/arch/riscv/include/uapi/asm/kvm.h.
- Adds a test case: riscv64-kvm-reg.

12 files changed, 139 insertions, 82 deletions

diff --git a/sys/linux/test/arm64-syz_kvm_setup_syzos_vm-enable-pmu-msr b/sys/linux/test/arm64-syz_kvm_setup_syzos_vm-enable-pmu-msr
index d48a1173e..b9f579a7f 100644
--- a/sys/linux/test/arm64-syz_kvm_setup_syzos_vm-enable-pmu-msr
+++ b/sys/linux/test/arm64-syz_kvm_setup_syzos_vm-enable-pmu-msr
@@ -23,4 +23,4 @@ r5 = mmap$KVM_VCPU(&(0x7f0000009000/0x1000)=nil, r4, 0x3, 0x1, r3, 0x0)
 #
 ioctl$KVM_RUN(r3, AUTO, 0x0)
 syz_kvm_assert_syzos_uexit$arm64(r3, r5, 0xffffffffffffffff)
-syz_kvm_assert_reg(r3, 0x603000000013df40, 0x8000)
+syz_kvm_assert_reg$arm64(r3, 0x603000000013df40, 0x8000)
diff --git a/sys/linux/test/arm64-syz_kvm_setup_syzos_vm-enable-pmu-msr-emul-0 b/sys/linux/test/arm64-syz_kvm_setup_syzos_vm-enable-pmu-msr-emul-0
index 58877c5b7..f3fc6afc6 100644
--- a/sys/linux/test/arm64-syz_kvm_setup_syzos_vm-enable-pmu-msr-emul-0
+++ b/sys/linux/test/arm64-syz_kvm_setup_syzos_vm-enable-pmu-msr-emul-0
@@ -36,13 +36,13 @@ r5 = mmap$KVM_VCPU(&(0x7f0000009000/0x1000)=nil, r4, 0x3, 0x1, r3, 0x0)
 #
 ioctl$KVM_RUN(r3, AUTO, 0x0)
 syz_kvm_assert_syzos_uexit$arm64(r3, r5, 0xffffffffffffffff)
-syz_kvm_assert_reg(r3, 0x603000000013c4f1, 0x8000)
-syz_kvm_assert_reg(r3, 0x603000000013c4f2, 0x8000)
-syz_kvm_assert_reg(r3, 0x603000000013dce0, 0x8000)
-syz_kvm_assert_reg(r3, 0x603000000013dce1, 0x8000)
-syz_kvm_assert_reg(r3, 0x603000000013dce2, 0x8000)
-syz_kvm_assert_reg(r3, 0x603000000013dce3, 0x8000)
-syz_kvm_assert_reg(r3, 0x603000000013dce4, 0x8000)
-syz_kvm_assert_reg(r3, 0x603000000013dce5, 0x8000)
-syz_kvm_assert_reg(r3, 0x603000000013dce8, 0x8000)
-syz_kvm_assert_reg(r3, 0x603000000013dce9, 0x8000)
+syz_kvm_assert_reg$arm64(r3, 0x603000000013c4f1, 0x8000)
+syz_kvm_assert_reg$arm64(r3, 0x603000000013c4f2, 0x8000)
+syz_kvm_assert_reg$arm64(r3, 0x603000000013dce0, 0x8000)
+syz_kvm_assert_reg$arm64(r3, 0x603000000013dce1, 0x8000)
+syz_kvm_assert_reg$arm64(r3, 0x603000000013dce2, 0x8000)
+syz_kvm_assert_reg$arm64(r3, 0x603000000013dce3, 0x8000)
+syz_kvm_assert_reg$arm64(r3, 0x603000000013dce4, 0x8000)
+syz_kvm_assert_reg$arm64(r3, 0x603000000013dce5, 0x8000)
+syz_kvm_assert_reg$arm64(r3, 0x603000000013dce8, 0x8000)
+syz_kvm_assert_reg$arm64(r3, 0x603000000013dce9, 0x8000)
diff --git a/sys/linux/test/arm64-syz_kvm_setup_syzos_vm-enable-pmu-msr-emul-1 b/sys/linux/test/arm64-syz_kvm_setup_syzos_vm-enable-pmu-msr-emul-1
index 940aa9744..adb723804 100644
--- a/sys/linux/test/arm64-syz_kvm_setup_syzos_vm-enable-pmu-msr-emul-1
+++ b/sys/linux/test/arm64-syz_kvm_setup_syzos_vm-enable-pmu-msr-emul-1
@@ -36,13 +36,13 @@ r5 = mmap$KVM_VCPU(&(0x7f0000009000/0x1000)=nil, r4, 0x3, 0x1, r3, 0x0)
 #
 ioctl$KVM_RUN(r3, AUTO, 0x0)
 syz_kvm_assert_syzos_uexit$arm64(r3, r5, 0xffffffffffffffff)
-syz_kvm_assert_reg(r3, 0x603000000013dcea, 0x8000)
-syz_kvm_assert_reg(r3, 0x603000000013dcf0, 0x8000)
-syz_kvm_assert_reg(r3, 0x603000000013dcf3, 0x8000)
-syz_kvm_assert_reg(r3, 0x603000000013df40, 0x8000)
-syz_kvm_assert_reg(r3, 0x603000000013df41, 0x8000)
-syz_kvm_assert_reg(r3, 0x603000000013df42, 0x8000)
-syz_kvm_assert_reg(r3, 0x603000000013df43, 0x8000)
-syz_kvm_assert_reg(r3, 0x603000000013df44, 0x8000)
-syz_kvm_assert_reg(r3, 0x603000000013df45, 0x8000)
-syz_kvm_assert_reg(r3, 0x603000000013df7f, 0x8000)
+syz_kvm_assert_reg$arm64(r3, 0x603000000013dcea, 0x8000)
+syz_kvm_assert_reg$arm64(r3, 0x603000000013dcf0, 0x8000)
+syz_kvm_assert_reg$arm64(r3, 0x603000000013dcf3, 0x8000)
+syz_kvm_assert_reg$arm64(r3, 0x603000000013df40, 0x8000)
+syz_kvm_assert_reg$arm64(r3, 0x603000000013df41, 0x8000)
+syz_kvm_assert_reg$arm64(r3, 0x603000000013df42, 0x8000)
+syz_kvm_assert_reg$arm64(r3, 0x603000000013df43, 0x8000)
+syz_kvm_assert_reg$arm64(r3, 0x603000000013df44, 0x8000)
+syz_kvm_assert_reg$arm64(r3, 0x603000000013df45, 0x8000)
+syz_kvm_assert_reg$arm64(r3, 0x603000000013df7f, 0x8000)
diff --git a/sys/linux/test/arm64-syz_kvm_setup_syzos_vm-enable-pmu-msr-emul-2 b/sys/linux/test/arm64-syz_kvm_setup_syzos_vm-enable-pmu-msr-emul-2
index 83667f73c..ea5dbb7a4 100644
--- a/sys/linux/test/arm64-syz_kvm_setup_syzos_vm-enable-pmu-msr-emul-2
+++ b/sys/linux/test/arm64-syz_kvm_setup_syzos_vm-enable-pmu-msr-emul-2
@@ -33,10 +33,10 @@ r5 = mmap$KVM_VCPU(&(0x7f0000009000/0x1000)=nil, r4, 0x3, 0x1, r3, 0x0)
 #
 ioctl$KVM_RUN(r3, AUTO, 0x0)
 syz_kvm_assert_syzos_uexit$arm64(r3, r5, 0xffffffffffffffff)
-syz_kvm_assert_reg(r3, 0x603000000013df60, 0x8000)
-syz_kvm_assert_reg(r3, 0x603000000013df61, 0x8000)
-syz_kvm_assert_reg(r3, 0x603000000013df62, 0x8000)
-syz_kvm_assert_reg(r3, 0x603000000013df63, 0x8000)
-syz_kvm_assert_reg(r3, 0x603000000013df64, 0x8000)
-syz_kvm_assert_reg(r3, 0x603000000013df65, 0x8000)
-syz_kvm_assert_reg(r3, 0x603000000013df7f, 0x8000)
+syz_kvm_assert_reg$arm64(r3, 0x603000000013df60, 0x8000)
+syz_kvm_assert_reg$arm64(r3, 0x603000000013df61, 0x8000)
+syz_kvm_assert_reg$arm64(r3, 0x603000000013df62, 0x8000)
+syz_kvm_assert_reg$arm64(r3, 0x603000000013df63, 0x8000)
+syz_kvm_assert_reg$arm64(r3, 0x603000000013df64, 0x8000)
+syz_kvm_assert_reg$arm64(r3, 0x603000000013df65, 0x8000)
+syz_kvm_assert_reg$arm64(r3, 0x603000000013df7f, 0x8000)
diff --git a/sys/linux/test/arm64-syz_kvm_setup_syzos_vm-msr b/sys/linux/test/arm64-syz_kvm_setup_syzos_vm-msr
index dfbc1d45c..8e3e7cb62 100644
--- a/sys/linux/test/arm64-syz_kvm_setup_syzos_vm-msr
+++ b/sys/linux/test/arm64-syz_kvm_setup_syzos_vm-msr
@@ -15,4 +15,4 @@ r5 = mmap$KVM_VCPU(&(0x7f0000009000/0x1000)=nil, r4, 0x3, 0x1, r3, 0x0)
 #
 ioctl$KVM_RUN(r3, AUTO, 0x0)
 syz_kvm_assert_syzos_uexit$arm64(r3, r5, 0xffffffffffffffff)
-syz_kvm_assert_reg(r3, 0x603000000013c600, 0xfefefee0)
+syz_kvm_assert_reg$arm64(r3, 0x603000000013c600, 0xfefefee0)
diff --git a/sys/linux/test/arm64-syz_kvm_setup_syzos_vm-msr-emul-0 b/sys/linux/test/arm64-syz_kvm_setup_syzos_vm-msr-emul-0
index 34f9a95c6..3211192d0 100644
--- a/sys/linux/test/arm64-syz_kvm_setup_syzos_vm-msr-emul-0
+++ b/sys/linux/test/arm64-syz_kvm_setup_syzos_vm-msr-emul-0
@@ -27,13 +27,13 @@ r5 = mmap$KVM_VCPU(&(0x7f0000009000/0x1000)=nil, r4, 0x3, 0x1, r3, 0x0)
 #
 ioctl$KVM_RUN(r3, AUTO, 0x0)
 syz_kvm_assert_syzos_uexit$arm64(r3, r5, 0xffffffffffffffff)
-syz_kvm_assert_reg(r3, 0x6030000000138010, 0x8000)
-syz_kvm_assert_reg(r3, 0x6030000000138012, 0x8000)
-syz_kvm_assert_reg(r3, 0x6030000000138004, 0x8000)
-syz_kvm_assert_reg(r3, 0x603000000013800c, 0x8000)
-syz_kvm_assert_reg(r3, 0x6030000000138014, 0x8000)
-syz_kvm_assert_reg(r3, 0x603000000013801c, 0x8000)
-syz_kvm_assert_reg(r3, 0x6030000000138024, 0x8000)
-syz_kvm_assert_reg(r3, 0x603000000013802c, 0x8000)
-syz_kvm_assert_reg(r3, 0x6030000000138005, 0x8000)
-syz_kvm_assert_reg(r3, 0x603000000013800d, 0x8000)
+syz_kvm_assert_reg$arm64(r3, 0x6030000000138010, 0x8000)
+syz_kvm_assert_reg$arm64(r3, 0x6030000000138012, 0x8000)
+syz_kvm_assert_reg$arm64(r3, 0x6030000000138004, 0x8000)
+syz_kvm_assert_reg$arm64(r3, 0x603000000013800c, 0x8000)
+syz_kvm_assert_reg$arm64(r3, 0x6030000000138014, 0x8000)
+syz_kvm_assert_reg$arm64(r3, 0x603000000013801c, 0x8000)
+syz_kvm_assert_reg$arm64(r3, 0x6030000000138024, 0x8000)
+syz_kvm_assert_reg$arm64(r3, 0x603000000013802c, 0x8000)
+syz_kvm_assert_reg$arm64(r3, 0x6030000000138005, 0x8000)
+syz_kvm_assert_reg$arm64(r3, 0x603000000013800d, 0x8000)
diff --git a/sys/linux/test/arm64-syz_kvm_setup_syzos_vm-msr-emul-1 b/sys/linux/test/arm64-syz_kvm_setup_syzos_vm-msr-emul-1
index d5a541756..c2ca0efc4 100644
--- a/sys/linux/test/arm64-syz_kvm_setup_syzos_vm-msr-emul-1
+++ b/sys/linux/test/arm64-syz_kvm_setup_syzos_vm-msr-emul-1
@@ -27,13 +27,13 @@ r5 = mmap$KVM_VCPU(&(0x7f0000009000/0x1000)=nil, r4, 0x3, 0x1, r3, 0x0)
 #
 ioctl$KVM_RUN(r3, AUTO, 0x0)
 syz_kvm_assert_syzos_uexit$arm64(r3, r5, 0xffffffffffffffff)
-syz_kvm_assert_reg(r3, 0x6030000000138015, 0x8000)
-syz_kvm_assert_reg(r3, 0x603000000013801d, 0x8000)
-syz_kvm_assert_reg(r3, 0x6030000000138025, 0x8000)
-syz_kvm_assert_reg(r3, 0x603000000013802d, 0x8000)
-syz_kvm_assert_reg(r3, 0x6030000000138006, 0x8000)
-syz_kvm_assert_reg(r3, 0x603000000013800e, 0x8000)
-syz_kvm_assert_reg(r3, 0x6030000000138016, 0x8000)
-syz_kvm_assert_reg(r3, 0x603000000013801e, 0x8000)
-syz_kvm_assert_reg(r3, 0x6030000000138007, 0x8000)
-syz_kvm_assert_reg(r3, 0x603000000013800f, 0x8000)
+syz_kvm_assert_reg$arm64(r3, 0x6030000000138015, 0x8000)
+syz_kvm_assert_reg$arm64(r3, 0x603000000013801d, 0x8000)
+syz_kvm_assert_reg$arm64(r3, 0x6030000000138025, 0x8000)
+syz_kvm_assert_reg$arm64(r3, 0x603000000013802d, 0x8000)
+syz_kvm_assert_reg$arm64(r3, 0x6030000000138006, 0x8000)
+syz_kvm_assert_reg$arm64(r3, 0x603000000013800e, 0x8000)
+syz_kvm_assert_reg$arm64(r3, 0x6030000000138016, 0x8000)
+syz_kvm_assert_reg$arm64(r3, 0x603000000013801e, 0x8000)
+syz_kvm_assert_reg$arm64(r3, 0x6030000000138007, 0x8000)
+syz_kvm_assert_reg$arm64(r3, 0x603000000013800f, 0x8000)
diff --git a/sys/linux/test/arm64-syz_kvm_setup_syzos_vm-msr-emul-2 b/sys/linux/test/arm64-syz_kvm_setup_syzos_vm-msr-emul-2
index f9dbd74de..bb702a884 100644
--- a/sys/linux/test/arm64-syz_kvm_setup_syzos_vm-msr-emul-2
+++ b/sys/linux/test/arm64-syz_kvm_setup_syzos_vm-msr-emul-2
@@ -27,13 +27,13 @@ r5 = mmap$KVM_VCPU(&(0x7f0000009000/0x1000)=nil, r4, 0x3, 0x1, r3, 0x0)
 #
 ioctl$KVM_RUN(r3, AUTO, 0x0)
 syz_kvm_assert_syzos_uexit$arm64(r3, r5, 0xffffffffffffffff)
-syz_kvm_assert_reg(r3, 0x6030000000138017, 0x8000)
-syz_kvm_assert_reg(r3, 0x603000000013801f, 0x8000)
-syz_kvm_assert_reg(r3, 0x6030000000138084, 0x8000)
-syz_kvm_assert_reg(r3, 0x603000000013809c, 0x8000)
-syz_kvm_assert_reg(r3, 0x60300000001383c6, 0x8000)
-syz_kvm_assert_reg(r3, 0x60300000001383ce, 0x8000)
-syz_kvm_assert_reg(r3, 0x6030000000139828, 0x8000)
-syz_kvm_assert_reg(r3, 0x6030000000139828, 0x8000)
-syz_kvm_assert_reg(r3, 0x603000000013c081, 0x8000)
-syz_kvm_assert_reg(r3, 0x603000000013c230, 0x8000)
+syz_kvm_assert_reg$arm64(r3, 0x6030000000138017, 0x8000)
+syz_kvm_assert_reg$arm64(r3, 0x603000000013801f, 0x8000)
+syz_kvm_assert_reg$arm64(r3, 0x6030000000138084, 0x8000)
+syz_kvm_assert_reg$arm64(r3, 0x603000000013809c, 0x8000)
+syz_kvm_assert_reg$arm64(r3, 0x60300000001383c6, 0x8000)
+syz_kvm_assert_reg$arm64(r3, 0x60300000001383ce, 0x8000)
+syz_kvm_assert_reg$arm64(r3, 0x6030000000139828, 0x8000)
+syz_kvm_assert_reg$arm64(r3, 0x6030000000139828, 0x8000)
+syz_kvm_assert_reg$arm64(r3, 0x603000000013c081, 0x8000)
+syz_kvm_assert_reg$arm64(r3, 0x603000000013c230, 0x8000)
diff --git a/sys/linux/test/arm64-syz_kvm_setup_syzos_vm-msr-emul-3 b/sys/linux/test/arm64-syz_kvm_setup_syzos_vm-msr-emul-3
index f3bd594b3..e681a828e 100644
--- a/sys/linux/test/arm64-syz_kvm_setup_syzos_vm-msr-emul-3
+++ b/sys/linux/test/arm64-syz_kvm_setup_syzos_vm-msr-emul-3
@@ -27,13 +27,13 @@ r5 = mmap$KVM_VCPU(&(0x7f0000009000/0x1000)=nil, r4, 0x3, 0x1, r3, 0x0)
 #
 ioctl$KVM_RUN(r3, AUTO, 0x0)
 syz_kvm_assert_syzos_uexit$arm64(r3, r5, 0xffffffffffffffff)
-syz_kvm_assert_reg(r3, 0x603000000013c520, 0x8000)
-syz_kvm_assert_reg(r3, 0x603000000013c521, 0x8000)
-syz_kvm_assert_reg(r3, 0x603000000013c522, 0x8000)
-syz_kvm_assert_reg(r3, 0x603000000013c523, 0x8000)
-syz_kvm_assert_reg(r3, 0x603000000013c641, 0x8000)
-syz_kvm_assert_reg(r3, 0x603000000013c643, 0x8000)
-syz_kvm_assert_reg(r3, 0x603000000013c644, 0x8000)
-syz_kvm_assert_reg(r3, 0x603000000013c648, 0x8000)
-syz_kvm_assert_reg(r3, 0x603000000013c659, 0x8000)
-syz_kvm_assert_reg(r3, 0x603000000013c65d, 0x8000)
+syz_kvm_assert_reg$arm64(r3, 0x603000000013c520, 0x8000)
+syz_kvm_assert_reg$arm64(r3, 0x603000000013c521, 0x8000)
+syz_kvm_assert_reg$arm64(r3, 0x603000000013c522, 0x8000)
+syz_kvm_assert_reg$arm64(r3, 0x603000000013c523, 0x8000)
+syz_kvm_assert_reg$arm64(r3, 0x603000000013c641, 0x8000)
+syz_kvm_assert_reg$arm64(r3, 0x603000000013c643, 0x8000)
+syz_kvm_assert_reg$arm64(r3, 0x603000000013c644, 0x8000)
+syz_kvm_assert_reg$arm64(r3, 0x603000000013c648, 0x8000)
+syz_kvm_assert_reg$arm64(r3, 0x603000000013c659, 0x8000)
+syz_kvm_assert_reg$arm64(r3, 0x603000000013c65d, 0x8000)
diff --git a/sys/linux/test/arm64-syz_kvm_setup_syzos_vm-msr-emul-4 b/sys/linux/test/arm64-syz_kvm_setup_syzos_vm-msr-emul-4
index 4e3d5165e..257443581 100644
--- a/sys/linux/test/arm64-syz_kvm_setup_syzos_vm-msr-emul-4
+++ b/sys/linux/test/arm64-syz_kvm_setup_syzos_vm-msr-emul-4
@@ -27,13 +27,13 @@ r5 = mmap$KVM_VCPU(&(0x7f0000009000/0x1000)=nil, r4, 0x3, 0x1, r3, 0x0)
 #
 ioctl$KVM_RUN(r3, AUTO, 0x0)
 syz_kvm_assert_syzos_uexit$arm64(r3, r5, 0xffffffffffffffff)
-syz_kvm_assert_reg(r3, 0x603000000013c65e, 0x8000)
-syz_kvm_assert_reg(r3, 0x603000000013c65f, 0x8000)
-syz_kvm_assert_reg(r3, 0x603000000013c661, 0x8000)
-syz_kvm_assert_reg(r3, 0x603000000013c663, 0x8000)
-syz_kvm_assert_reg(r3, 0x603000000013c664, 0x8000)
-syz_kvm_assert_reg(r3, 0x603000000013c666, 0x8000)
-syz_kvm_assert_reg(r3, 0x603000000013c667, 0x8000)
-syz_kvm_assert_reg(r3, 0x603000000013c687, 0x8000)
-syz_kvm_assert_reg(r3, 0x603000000013d000, 0x8000)
-syz_kvm_assert_reg(r3, 0x603000000013de87, 0x8000)
+syz_kvm_assert_reg$arm64(r3, 0x603000000013c65e, 0x8000)
+syz_kvm_assert_reg$arm64(r3, 0x603000000013c65f, 0x8000)
+syz_kvm_assert_reg$arm64(r3, 0x603000000013c661, 0x8000)
+syz_kvm_assert_reg$arm64(r3, 0x603000000013c663, 0x8000)
+syz_kvm_assert_reg$arm64(r3, 0x603000000013c664, 0x8000)
+syz_kvm_assert_reg$arm64(r3, 0x603000000013c666, 0x8000)
+syz_kvm_assert_reg$arm64(r3, 0x603000000013c667, 0x8000)
+syz_kvm_assert_reg$arm64(r3, 0x603000000013c687, 0x8000)
+syz_kvm_assert_reg$arm64(r3, 0x603000000013d000, 0x8000)
+syz_kvm_assert_reg$arm64(r3, 0x603000000013de87, 0x8000)
diff --git a/sys/linux/test/riscv64-kvm-reg b/sys/linux/test/riscv64-kvm-reg
new file mode 100644
index 000000000..94982ca0f
--- /dev/null
+++ b/sys/linux/test/riscv64-kvm-reg
@@ -0,0 +1,58 @@
+#
+# requires: arch=riscv64
+#
+
+r0 = openat$kvm(0xffffffffffffff9c, &(0x7f0000000000), 0x0, 0x0)
+r1 = ioctl$KVM_CREATE_VM(r0, AUTO, 0x0)
+r2 = ioctl$KVM_CREATE_VCPU(r1, AUTO, 0x0)
+
+#
+# Test config reg.
+#
+ioctl$KVM_SET_ONE_REG(r2, 0x4010aeac, &AUTO=@riscv64_config={0x8030000001000002, &AUTO=0})
+syz_kvm_assert_reg$riscv64(r2, 0x8030000001000002, 0)
+ioctl$KVM_SET_ONE_REG(r2, 0x4010aeac, &AUTO=@riscv64_config={0x8030000001000003, &AUTO=0})
+syz_kvm_assert_reg$riscv64(r2, 0x8030000001000003, 0)
+ioctl$KVM_SET_ONE_REG(r2, 0x4010aeac, &AUTO=@riscv64_config={0x8030000001000004, &AUTO=0})
+syz_kvm_assert_reg$riscv64(r2, 0x8030000001000004, 0)
+
+#
+# Test core reg.
+#
+ioctl$KVM_SET_ONE_REG(r2, 0x4010aeac, &AUTO=@riscv64_config={0x8030000002000000, &AUTO=0x80200000})
+syz_kvm_assert_reg$riscv64(r2, 0x8030000002000000, 0x80200000)
+ioctl$KVM_SET_ONE_REG(r2, 0x4010aeac, &AUTO=@riscv64_config={0x803000000200000a, &AUTO=0xdeadbeef})
+syz_kvm_assert_reg$riscv64(r2, 0x803000000200000a, 0xdeadbeef)
+
+#
+# Test csr reg.
+#
+ioctl$KVM_SET_ONE_REG(r2, 0x4010aeac, &AUTO=@riscv64_config={0x8030000003000000, &AUTO=0x00006000})
+syz_kvm_assert_reg$riscv64(r2, 0x8030000003000000, 0x00006000)
+ioctl$KVM_SET_ONE_REG(r2, 0x4010aeac, &AUTO=@riscv64_config={0x8030000003000004, &AUTO=0x80201000})
+syz_kvm_assert_reg$riscv64(r2, 0x8030000003000004, 0x80201000)
+ioctl$KVM_SET_ONE_REG(r2, 0x4010aeac, &AUTO=@riscv64_config={0x8030000003000008, &AUTO=0x1000000000001})
+syz_kvm_assert_reg$riscv64(r2, 0x8030000003000008, 0x1000000000001)
+
+#
+# Test fp_f/d reg.
+#
+ioctl$KVM_SET_ONE_REG(r2, 0x4010aeac, &AUTO=@riscv64_config={0x8020000005000000, &AUTO=0x3f800000})
+syz_kvm_assert_reg$riscv64(r2, 0x8020000005000000, 0x3f800000)
+ioctl$KVM_SET_ONE_REG(r2, 0x4010aeac, &AUTO=@riscv64_config={0x8020000005000020, &AUTO=0x5})
+syz_kvm_assert_reg$riscv64(r2, 0x8020000005000020, 0x5)
+ioctl$KVM_SET_ONE_REG(r2, 0x4010aeac, &AUTO=@riscv64_config={0x8030000006000000, &AUTO=0x3ff0000000000000})
+syz_kvm_assert_reg$riscv64(r2, 0x8030000006000000, 0x3ff0000000000000)
+ioctl$KVM_SET_ONE_REG(r2, 0x4010aeac, &AUTO=@riscv64_config={0x8020000006000020, &AUTO=0x1})
+syz_kvm_assert_reg$riscv64(r2, 0x8020000006000020, 0x1)
+
+#
+# Test timer reg.
+#
+ioctl$KVM_SET_ONE_REG(r2, 0x4010aeac, &AUTO=@riscv64_config={0x8030000004000002, &AUTO=0x2000})
+syz_kvm_assert_reg$riscv64(r2, 0x8030000004000002, 0x2000)
+
+#
+# Test reg list.
+#
+ioctl$KVM_GET_REG_LIST(r2, 0xc008aeb0, &AUTO={0xac, [0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0, 0x0]})
diff --git a/sys/linux/test/syz_kvm_setup_cpu_riscv64 b/sys/linux/test/syz_kvm_setup_cpu_riscv64
index 3e7c222f1..6ddfb4c1e 100644
--- a/sys/linux/test/syz_kvm_setup_cpu_riscv64
+++ b/sys/linux/test/syz_kvm_setup_cpu_riscv64
@@ -19,6 +19,5 @@ syz_kvm_setup_cpu$riscv64(r1, r2, &(0x7f0000fe8000/0x180000)=nil,&(0x7f000000000
 
 ioctl$KVM_RUN(r2, AUTO, 0x0)
 
-ioctl$KVM_GET_ONE_REG(r2, AUTO, &AUTO=@riscv64_core={0x803000000200000a, &AUTO})
-ioctl$KVM_GET_ONE_REG(r2, AUTO, &AUTO=@riscv64_config={0x8030000001000000, &AUTO})
-ioctl$KVM_GET_ONE_REG(r2, AUTO, &AUTO=@riscv64_csr={0x8030000003000000, &AUTO})
\ No newline at end of file
+syz_kvm_assert_reg$riscv64(r2, 0x803000000200000a, 0x42)
+syz_kvm_assert_reg$riscv64(r2, 0x803000000200000b, 0x63)