trace_kvm_inj_virq 5125 arch/x86/kvm/svm.c 	trace_kvm_inj_virq(vcpu->arch.interrupt.nr);
trace_kvm_inj_virq 4375 arch/x86/kvm/vmx/vmx.c 	trace_kvm_inj_virq(irq);