diff options
| author | Alexander Potapenko <glider@google.com> | 2024-11-18 16:42:43 +0100 |
|---|---|---|
| committer | Alexander Potapenko <glider@google.com> | 2024-11-26 11:12:47 +0000 |
| commit | 9bdaf972babf584d7e80befbcd4d223c8e645087 (patch) | |
| tree | 0c3ecb4674e9b3eb14ed318c2c5dfc7b099f9cba /sys | |
| parent | 455462399850895795526a1499c3f61ff217f692 (diff) | |
sys/linux/dev_kvm.txt: describe SYZOS_API_ITS_SETUP
Diffstat (limited to 'sys')
| -rw-r--r-- | sys/linux/dev_kvm.txt | 7 |
1 files changed, 7 insertions, 0 deletions
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 { |