|
@@ -158,5 +158,6 @@ void kvm_apic_timer_intr_post(struct kvm_vcpu *vcpu, int vec);
|
|
void kvm_timer_intr_post(struct kvm_vcpu *vcpu, int vec);
|
|
void kvm_timer_intr_post(struct kvm_vcpu *vcpu, int vec);
|
|
void kvm_inject_pending_timer_irqs(struct kvm_vcpu *vcpu);
|
|
void kvm_inject_pending_timer_irqs(struct kvm_vcpu *vcpu);
|
|
void kvm_inject_apic_timer_irqs(struct kvm_vcpu *vcpu);
|
|
void kvm_inject_apic_timer_irqs(struct kvm_vcpu *vcpu);
|
|
|
|
+void kvm_migrate_apic_timer(struct kvm_vcpu *vcpu);
|
|
|
|
|
|
#endif
|
|
#endif
|