1 files changed, 2 insertions, 0 deletions

diff --git a/include/kvm/arm_arch_timer.h b/include/kvm/arm_arch_timer.h
index f46fa3b62b06..6445a3d9a6e2 100644
--- a/include/kvm/arm_arch_timer.h
+++ b/include/kvm/arm_arch_timer.h
@@ -40,6 +40,7 @@ struct arch_timer_context {
 
 struct arch_timer_cpu {
         struct arch_timer_context       vtimer;
+        struct arch_timer_context       ptimer;
 
         /* Background timer used when the guest is not running */
         struct hrtimer                  timer;
@@ -75,4 +76,5 @@ void kvm_timer_vcpu_put(struct kvm_vcpu *vcpu);
 void kvm_timer_init_vhe(void);
 
 #define vcpu_vtimer(v)  (&(v)->arch.timer_cpu.vtimer)
+#define vcpu_ptimer(v)  (&(v)->arch.timer_cpu.ptimer)
 #endif