aboutsummaryrefslogtreecommitdiffstats
path: root/sys/linux/dev_kvm.txt.const
diff options
context:
space:
mode:
authorAlexander Potapenko <glider@google.com>2024-09-26 15:32:16 +0200
committerAlexander Potapenko <glider@google.com>2024-09-27 10:23:24 +0000
commit0c245ee318d7cb7257960c447754cfcbb3eec4f6 (patch)
tree3af2c32020ca17c8edc1446760e24e0ec68231e8 /sys/linux/dev_kvm.txt.const
parent9314348adf7605682d49192fa6487aac93f5782b (diff)
sys/linux: use GICD/GICR register offsets in SYZOS_API_MEMWRITE
In addition to random offsets passed to SYZOS_API_MEMWRITE, use VGICv3 distributor/redistributor base and offsets of the corresponding registers.
Diffstat (limited to 'sys/linux/dev_kvm.txt.const')
-rw-r--r--sys/linux/dev_kvm.txt.const62
1 files changed, 62 insertions, 0 deletions
diff --git a/sys/linux/dev_kvm.txt.const b/sys/linux/dev_kvm.txt.const
index 1f4b504e1..92fa15fe2 100644
--- a/sys/linux/dev_kvm.txt.const
+++ b/sys/linux/dev_kvm.txt.const
@@ -17,6 +17,68 @@ ARM_SMCCC_VENDOR_HYP_KVM_FEATURES_FUNC_ID = 386:amd64:mips64le:ppc64le:s390x:???
ARM_SMCCC_VENDOR_HYP_KVM_PTP_FUNC_ID = 386:amd64:mips64le:ppc64le:s390x:???, arm64:2248146945
ARM_SMCCC_VERSION_FUNC_ID = 386:amd64:mips64le:ppc64le:s390x:???, arm64:2147483648
AT_FDCWD = 18446744073709551516
+GICD_CLRSPI_NSR = 72
+GICD_CLRSPI_SR = 88
+GICD_CPENDSGIR = 3856
+GICD_CTLR = 0
+GICD_ICACTIVER = 896
+GICD_ICACTIVERnE = 7168
+GICD_ICENABLER = 384
+GICD_ICENABLERnE = 5120
+GICD_ICFGR = 3072
+GICD_ICFGRnE = 12288
+GICD_ICPENDR = 640
+GICD_ICPENDRnE = 6144
+GICD_IDREGS = 65488
+GICD_IGROUPR = 128
+GICD_IGROUPRnE = 4096
+GICD_IGRPMODR = 3328
+GICD_IIDR = 8
+GICD_IPRIORITYR = 1024
+GICD_IPRIORITYRnE = 8192
+GICD_IROUTER = 24576
+GICD_IROUTERnE = 32768
+GICD_ISACTIVER = 768
+GICD_ISACTIVERnE = 6656
+GICD_ISENABLER = 256
+GICD_ISENABLERnE = 4608
+GICD_ISPENDR = 512
+GICD_ISPENDRnE = 5632
+GICD_ITARGETSR = 2048
+GICD_NSACR = 3584
+GICD_PIDR2 = 65512
+GICD_SETSPI_NSR = 64
+GICD_SETSPI_SR = 80
+GICD_SGIR = 3840
+GICD_SPENDSGIR = 3872
+GICD_STATUSR = 16
+GICD_TYPER = 4
+GICD_TYPER2 = 12
+GICR_CLRLPIR = 72
+GICR_CTLR = 0
+GICR_ICACTIVER0 = 896
+GICR_ICENABLER0 = 384
+GICR_ICFGR0 = 3072
+GICR_ICPENDR0 = 640
+GICR_IDREGS = 65488
+GICR_IGROUPR0 = 128
+GICR_IGRPMODR0 = 3328
+GICR_IIDR = 4
+GICR_INVALLR = 176
+GICR_INVLPIR = 160
+GICR_IPRIORITYR0 = 1024
+GICR_ISACTIVER0 = 768
+GICR_ISENABLER0 = 256
+GICR_ISPENDR0 = 512
+GICR_NSACR = 3584
+GICR_PENDBASER = 120
+GICR_PIDR2 = 65512
+GICR_PROPBASER = 112
+GICR_SETLPIR = 64
+GICR_STATUSR = 16
+GICR_SYNCR = 192
+GICR_TYPER = 8
+GICR_WAKER = 20
KVM_ARM_PREFERRED_TARGET = 386:amd64:mips64le:ppc64le:s390x:???, arm64:2149625519
KVM_ARM_SET_COUNTER_OFFSET = 386:amd64:mips64le:ppc64le:s390x:???, arm64:1074835125
KVM_ARM_SET_DEVICE_ADDR = 1074835115, mips64le:ppc64le:2148576939