diff options
Diffstat (limited to 'sys/linux/dev_kvm.txt')
| -rw-r--r-- | sys/linux/dev_kvm.txt | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/sys/linux/dev_kvm.txt b/sys/linux/dev_kvm.txt index efda70b47..c4aa97b84 100644 --- a/sys/linux/dev_kvm.txt +++ b/sys/linux/dev_kvm.txt @@ -288,6 +288,15 @@ syzos_api_irq_setup { nr_spis int32[0:987] } +syzos_memwrite_len = 1, 2, 4, 8 + +syzos_api_memwrite { + base flags[kvm_guest_addrs, int64] + offset int64[0:4096] + value int64 + len flags[syzos_memwrite_len, int64] +} + type syzos_api[NUM, PAYLOAD] { call const[NUM, int64] size bytesize[parent, int64] @@ -301,6 +310,7 @@ syzos_api_call [ smc syzos_api[3, syzos_api_smccc] hvc syzos_api[4, syzos_api_smccc] irq_setup syzos_api[5, syzos_api_irq_setup] + memwrite syzos_api[6, syzos_api_memwrite] ] [varlen] kvm_text_ppc64 { |