|
@@ -114,8 +114,6 @@ static inline int irqchip_in_kernel(struct kvm *kvm)
|
|
return mode > KVM_IRQCHIP_INIT_IN_PROGRESS;
|
|
return mode > KVM_IRQCHIP_INIT_IN_PROGRESS;
|
|
}
|
|
}
|
|
|
|
|
|
-void kvm_pic_reset(struct kvm_kpic_state *s);
|
|
|
|
-
|
|
|
|
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_apic_nmi_wd_deliver(struct kvm_vcpu *vcpu);
|
|
void kvm_apic_nmi_wd_deliver(struct kvm_vcpu *vcpu);
|