aboutsummaryrefslogtreecommitdiffstats
path: root/sys/linux/dev_kvm_arm64.txt
diff options
context:
space:
mode:
authorMarios Pomonis <pomonis@google.com>2025-03-31 00:16:52 -0700
committerAlexander Potapenko <glider@google.com>2025-04-23 08:29:55 +0000
commit3dfced0c70773d7544132b47a2766fddc4a6ff48 (patch)
tree96f35584f840a54e40c3b5d6f909b8f408e2e22e /sys/linux/dev_kvm_arm64.txt
parent53a8b9bd23a6fac52f298fb6115c012757f0a505 (diff)
executor/kvm: set up X86-64 SYZOS
This commit prepares adding the X86-64 SYZOS by declaring the relevant functions, updating their ARM64 versions and adding placeholders.
Diffstat (limited to 'sys/linux/dev_kvm_arm64.txt')
-rw-r--r--sys/linux/dev_kvm_arm64.txt6
1 files changed, 3 insertions, 3 deletions
diff --git a/sys/linux/dev_kvm_arm64.txt b/sys/linux/dev_kvm_arm64.txt
index aff892a5f..be43a741a 100644
--- a/sys/linux/dev_kvm_arm64.txt
+++ b/sys/linux/dev_kvm_arm64.txt
@@ -12,13 +12,13 @@ include <uapi/linux/psci.h>
include <asm/kvm.h>
# kvm_syz_vm is a VM handler used by syzos-related pseudo-syscalls. It is actually an opaque pointer under the hood.
-resource kvm_syz_vm[int64]
+resource kvm_syz_vm$arm64[int64]
# Map the given memory into the VM and set up syzos there.
-syz_kvm_setup_syzos_vm(fd fd_kvmvm, usermem vma[1024]) kvm_syz_vm
+syz_kvm_setup_syzos_vm$arm64(fd fd_kvmvm, usermem vma[1024]) kvm_syz_vm$arm64
# Create a VCPU inside a kvm_syz_vm VM.
-syz_kvm_add_vcpu(vm kvm_syz_vm, text ptr[in, kvm_text_arm64], opts ptr[in, array[kvm_setup_opt_arm64, 1]], nopt len[opts]) fd_kvmcpu
+syz_kvm_add_vcpu$arm64(vm kvm_syz_vm$arm64, text ptr[in, kvm_text_arm64], opts ptr[in, array[kvm_setup_opt_arm64, 1]], nopt len[opts]) fd_kvmcpu
kvm_num_irqs = 32, 64, 128, 256, 512