push_irq         1021 arch/x86/kvm/svm.c 		push_irq(&svm->vcpu, exit_int_info & SVM_EVTINJ_VEC_MASK);
push_irq         1620 arch/x86/kvm/svm.c 		push_irq(&svm->vcpu, control->int_vector);