|
@@ -196,6 +196,12 @@ struct kvm_arch_memory_slot {
|
|
|
|
|
|
#define ARM64_SYS_REG(...) (__ARM64_SYS_REG(__VA_ARGS__) | KVM_REG_SIZE_U64)
|
|
|
|
|
|
+/* Physical Timer EL0 Registers */
|
|
|
+#define KVM_REG_ARM_PTIMER_CTL ARM64_SYS_REG(3, 3, 14, 2, 1)
|
|
|
+#define KVM_REG_ARM_PTIMER_CVAL ARM64_SYS_REG(3, 3, 14, 2, 2)
|
|
|
+#define KVM_REG_ARM_PTIMER_CNT ARM64_SYS_REG(3, 3, 14, 0, 1)
|
|
|
+
|
|
|
+/* EL0 Virtual Timer Registers */
|
|
|
#define KVM_REG_ARM_TIMER_CTL ARM64_SYS_REG(3, 3, 14, 3, 1)
|
|
|
#define KVM_REG_ARM_TIMER_CNT ARM64_SYS_REG(3, 3, 14, 3, 2)
|
|
|
#define KVM_REG_ARM_TIMER_CVAL ARM64_SYS_REG(3, 3, 14, 0, 2)
|
|
@@ -228,6 +234,7 @@ struct kvm_arch_memory_slot {
|
|
|
#define KVM_DEV_ARM_ITS_SAVE_TABLES 1
|
|
|
#define KVM_DEV_ARM_ITS_RESTORE_TABLES 2
|
|
|
#define KVM_DEV_ARM_VGIC_SAVE_PENDING_TABLES 3
|
|
|
+#define KVM_DEV_ARM_ITS_CTRL_RESET 4
|
|
|
|
|
|
/* Device Control API on vcpu fd */
|
|
|
#define KVM_ARM_VCPU_PMU_V3_CTRL 0
|