handle_external_interrupt_irqoff 6262 arch/x86/kvm/vmx/vmx.c STACK_FRAME_NON_STANDARD(handle_external_interrupt_irqoff);
handle_external_interrupt_irqoff 6269 arch/x86/kvm/vmx/vmx.c 		handle_external_interrupt_irqoff(vcpu);