From 68a26265f5d2dd0aa648cb27706d21602a466a03 Mon Sep 17 00:00:00 2001
From: Alexander Potapenko <glider@google.com>
Date: Tue, 26 Nov 2024 13:05:23 +0100
Subject: sys/linux/dev_kvm_arm64.txt: add ITS registers to syzos_api_memwrite

Hint syzkaller that it can write to ITS registers.
---
 sys/linux/dev_kvm_arm64.txt | 12 ++++++++++++
 1 file changed, 12 insertions(+)

(limited to 'sys/linux/dev_kvm_arm64.txt')

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]
-- 
cgit mrf-deployment