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);