kvm_reput_irq      64 arch/x86/kvm/svm.c static void kvm_reput_irq(struct vcpu_svm *svm);
kvm_reput_irq    1486 arch/x86/kvm/svm.c 	kvm_reput_irq(svm);