diff options
| author | Alexander Potapenko <glider@google.com> | 2025-07-23 13:57:42 +0200 |
|---|---|---|
| committer | Alexander Potapenko <glider@google.com> | 2025-07-24 12:46:04 +0000 |
| commit | c76c0ee772387ce764344e75570062c4219bf495 (patch) | |
| tree | d3531688dc37e6c06fbc89cf3fa557de86ba151a /sys/linux | |
| parent | 925dbff34225cb5d2677b079aa2db86719ec10fc (diff) | |
executor: sys/linux/dev_kvm_amd64.txt: implement rdmsr/wrmsr
Let SYZOS execute RDMSR and WRMSR on x86.
Diffstat (limited to 'sys/linux')
| -rw-r--r-- | sys/linux/dev_kvm_amd64.txt | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/sys/linux/dev_kvm_amd64.txt b/sys/linux/dev_kvm_amd64.txt index a76e3be7f..0585a2d57 100644 --- a/sys/linux/dev_kvm_amd64.txt +++ b/sys/linux/dev_kvm_amd64.txt @@ -50,10 +50,21 @@ syzos_api_cpuid { ecx int32 } +syzos_api_wrmsr { + arg_reg flags[msr_index, int64] + arg_value int64 +} + +syzos_api_rdmsr { + arg_reg flags[msr_index, int64] +} + syzos_api_call$x86 [ uexit syzos_api$x86[0, intptr] code syzos_api$x86[10, syzos_api_code$x86] cpuid syzos_api$x86[20, syzos_api_cpuid] + wrmsr syzos_api$x86[30, syzos_api_wrmsr] + rdmsr syzos_api$x86[50, syzos_api_rdmsr] ] [varlen] kvm_text_x86 [ |