|
@@ -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
|