From 9bdaf972babf584d7e80befbcd4d223c8e645087 Mon Sep 17 00:00:00 2001 From: Alexander Potapenko Date: Mon, 18 Nov 2024 16:42:43 +0100 Subject: sys/linux/dev_kvm.txt: describe SYZOS_API_ITS_SETUP --- sys/linux/dev_kvm.txt | 7 +++++++ 1 file changed, 7 insertions(+) (limited to 'sys/linux') diff --git a/sys/linux/dev_kvm.txt b/sys/linux/dev_kvm.txt index b5589e51a..7a6cd3542 100644 --- a/sys/linux/dev_kvm.txt +++ b/sys/linux/dev_kvm.txt @@ -369,6 +369,12 @@ syzos_api_memwrite_generic { len flags[syzos_memwrite_len, int64] } +syzos_api_its_setup { + nr_cpus int64[0:4] + nr_devices int64[0:4] + nr_ints int64[0:1024] +} + # Definitions from include/linux/irqchip/arm-gic-v3.h define GICD_CTLR 0x0000 define GICD_TYPER 0x0004 @@ -468,6 +474,7 @@ syzos_api_call [ hvc syzos_api[4, syzos_api_smccc] irq_setup syzos_api[5, syzos_api_irq_setup] memwrite syzos_api[6, syzos_api_memwrite] + its_setup syzos_api[7, syzos_api_its_setup] ] [varlen] kvm_text_ppc64 { -- cgit mrf-deployment