|
@@ -139,8 +139,8 @@ struct kvm_arch_memory_slot {
|
|
|
#define ARM_CP15_REG64(...) __ARM_CP15_REG64(__VA_ARGS__)
|
|
|
|
|
|
#define KVM_REG_ARM_TIMER_CTL ARM_CP15_REG32(0, 14, 3, 1)
|
|
|
-#define KVM_REG_ARM_TIMER_CNT ARM_CP15_REG64(1, 14)
|
|
|
-#define KVM_REG_ARM_TIMER_CVAL ARM_CP15_REG64(3, 14)
|
|
|
+#define KVM_REG_ARM_TIMER_CNT ARM_CP15_REG64(1, 14)
|
|
|
+#define KVM_REG_ARM_TIMER_CVAL ARM_CP15_REG64(3, 14)
|
|
|
|
|
|
/* Normal registers are mapped as coprocessor 16. */
|
|
|
#define KVM_REG_ARM_CORE (0x0010 << KVM_REG_ARM_COPROC_SHIFT)
|