diff options
Diffstat (limited to 'sys/linux/dev_kvm_arm64.txt')
| -rw-r--r-- | sys/linux/dev_kvm_arm64.txt | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/sys/linux/dev_kvm_arm64.txt b/sys/linux/dev_kvm_arm64.txt index a510041dc..686cf2575 100644 --- a/sys/linux/dev_kvm_arm64.txt +++ b/sys/linux/dev_kvm_arm64.txt @@ -25,7 +25,9 @@ kvm_num_irqs = 32, 64, 128, 256, 512 # Set up the VGICv3 IRQ controller inside a VM. syz_kvm_vgic_v3_setup(fd fd_kvmvm, ncpus intptr[0:4], nirqs flags[kvm_num_irqs]) fd_kvmdev +# Test assertions, will not be used by the fuzzer. syz_kvm_assert_syzos_uexit(run kvm_run_ptr, exitcode int64) (no_generate) +syz_kvm_assert_reg(fd fd_kvmcpu, reg int64, value int64) (no_generate) # Old-style way to set up a CPU inside a KVM VM. syz_kvm_setup_cpu$arm64(fd fd_kvmvm, cpufd fd_kvmcpu, usermem vma[1024], text ptr[in, array[kvm_text_arm64, 1]], ntext len[text], flags const[0], opts ptr[in, array[kvm_setup_opt_arm64, 1]], nopt len[opts]) |