diff options
| author | Alexander Potapenko <glider@google.com> | 2024-09-26 15:32:16 +0200 |
|---|---|---|
| committer | Alexander Potapenko <glider@google.com> | 2024-09-27 10:23:24 +0000 |
| commit | 0c245ee318d7cb7257960c447754cfcbb3eec4f6 (patch) | |
| tree | 3af2c32020ca17c8edc1446760e24e0ec68231e8 /sys/linux/dev_kvm.txt.const | |
| parent | 9314348adf7605682d49192fa6487aac93f5782b (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.const | 62 |
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 |
