diff options
| author | Alexander Potapenko <glider@google.com> | 2026-01-14 12:01:10 +0100 |
|---|---|---|
| committer | Alexander Potapenko <glider@google.com> | 2026-01-15 07:19:29 +0000 |
| commit | 3b7a3359989abfb9ee0c821fdc0a8be33f7e996d (patch) | |
| tree | eaaee157ddc8909a12b5c30edef7155913b615bb /sys/linux/dev_kvm_amd64.txt | |
| parent | 0a1338c68f19bbea13b3ae7ce61a185b6a5f65ef (diff) | |
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.
Diffstat (limited to 'sys/linux/dev_kvm_amd64.txt')
| -rw-r--r-- | sys/linux/dev_kvm_amd64.txt | 9 |
1 files changed, 9 insertions, 0 deletions
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 [ |