diff options
| author | Alexander Potapenko <glider@google.com> | 2024-11-26 13:05:23 +0100 |
|---|---|---|
| committer | Alexander Potapenko <glider@google.com> | 2024-11-26 15:10:09 +0000 |
| commit | 68a26265f5d2dd0aa648cb27706d21602a466a03 (patch) | |
| tree | 80dca6f0ff5a535bdac4f4d7e3754409da468214 /sys/linux/dev_kvm_arm64.txt | |
| parent | 5f6d557d4454398c38d85f6774152d5e0a4436d7 (diff) | |
sys/linux/dev_kvm_arm64.txt: add ITS registers to syzos_api_memwrite
Hint syzkaller that it can write to ITS registers.
Diffstat (limited to 'sys/linux/dev_kvm_arm64.txt')
| -rw-r--r-- | sys/linux/dev_kvm_arm64.txt | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/sys/linux/dev_kvm_arm64.txt b/sys/linux/dev_kvm_arm64.txt index 91100be40..2f55bdf05 100644 --- a/sys/linux/dev_kvm_arm64.txt +++ b/sys/linux/dev_kvm_arm64.txt @@ -5,6 +5,7 @@ meta arches["arm64"] +include <linux/irqchip/arm-gic-v3.h> include <linux/kvm.h> include <linux/arm-smccc.h> include <uapi/linux/psci.h> @@ -128,6 +129,7 @@ syzos_api_memwrite [ generic syzos_api_memwrite_generic vgic_gicd syzos_api_memwrite_vgic_gicd vgic_gicr syzos_api_memwrite_vgic_gicr + vgic_gits syzos_api_memwrite_vgic_gits ] syzos_api_memwrite_generic { @@ -255,6 +257,16 @@ syzos_api_memwrite_vgic_gicd { len flags[syzos_memwrite_len, int64] } +kvm_vgic_gits_regs = GITS_CTLR, GITS_IIDR, GITS_TYPER, GITS_MPIDR, GITS_CBASER, GITS_CWRITER, GITS_CREADR, GITS_BASER, GITS_IDREGS_BASE, GITS_PIDR0, GITS_PIDR1, GITS_PIDR2, GITS_PIDR4, GITS_CIDR0, GITS_CIDR1, GITS_CIDR2, GITS_CIDR3, GITS_TRANSLATER, GITS_SGIR + +# 0x08080000 is ARM64_ADDR_GITS_BASE from executor/kvm.h +syzos_api_memwrite_vgic_gits { + base const[0x8080000, int64] + offset flags[kvm_vgic_gits_regs, int64] + value int64 + len flags[syzos_memwrite_len, int64] +} + type syzos_api[NUM, PAYLOAD] { call const[NUM, int64] size bytesize[parent, int64] |