Symbol: kvm_xen_inject_timer_irqs
arch/x86/kvm/irq.c
174
kvm_xen_inject_timer_irqs(vcpu);
arch/x86/kvm/xen.c
1241
kvm_xen_inject_timer_irqs(vcpu);
arch/x86/kvm/xen.h
111
void kvm_xen_inject_timer_irqs(struct kvm_vcpu *vcpu);