From 3b7a3359989abfb9ee0c821fdc0a8be33f7e996d Mon Sep 17 00:00:00 2001 From: Alexander Potapenko Date: Wed, 14 Jan 2026 12:01:10 +0100 Subject: executor: sys/linux: SYZOS: add support for AMD Nested Event Injection Implement SYZOS_API_NESTED_AMD_INJECT_EVENT to allow the L1 guest to inject events (Interrupts, NMIs, Exceptions) into L2 via the VMCB EVENTINJ field. This primitive abstracts the VMCB bit-packing logic (Vector, Type, Valid, Error Code) into a high-level API, enabling the fuzzer to semantically mutate event injection parameters. This targets KVM's nested event merging logic, specifically where L0 must reconcile L1-injected events with Host-pending events. --- sys/linux/dev_kvm_amd64.txt | 9 +++++++++ 1 file changed, 9 insertions(+) (limited to 'sys/linux/dev_kvm_amd64.txt') diff --git a/sys/linux/dev_kvm_amd64.txt b/sys/linux/dev_kvm_amd64.txt index ba5fa6e4c..7ac8028d9 100644 --- a/sys/linux/dev_kvm_amd64.txt +++ b/sys/linux/dev_kvm_amd64.txt @@ -152,6 +152,14 @@ syzos_api_nested_amd_invlpga { asid int64[0:65535] } +syzos_api_nested_amd_inject_event { + vm_id syzos_api_vm_id + vector int64[0:255] + type int64[0:7] + error_code int64 + flags int64[0:3] +} + # IDs here must match those in executor/common_kvm_amd64_syzos.h. syzos_api_call$x86 [ uexit syzos_api$x86[0, intptr] @@ -174,6 +182,7 @@ syzos_api_call$x86 [ nested_amd_invlpga syzos_api$x86[381, syzos_api_nested_amd_invlpga] nested_amd_stgi syzos_api$x86[382, void] nested_amd_clgi syzos_api$x86[383, void] + nested_amd_inject_event syzos_api$x86[384, syzos_api_nested_amd_inject_event] ] [varlen] kvm_text_x86 [ -- cgit mrf-deployment