is_external_interrupt  932 arch/x86/kvm/svm.c 	if (is_external_interrupt(exit_int_info))
is_external_interrupt 1019 arch/x86/kvm/svm.c 	    is_external_interrupt(exit_int_info)) {
is_external_interrupt 1495 arch/x86/kvm/svm.c 	if (is_external_interrupt(svm->vmcb->control.exit_int_info) &&
is_external_interrupt 1015 arch/x86/kvm/vmx.c 		if (is_external_interrupt(idtv_info_field))
is_external_interrupt 2269 arch/x86/kvm/vmx.c 	if (!irqchip_in_kernel(vcpu->kvm) && is_external_interrupt(vect_info)) {