EXIT_REASON_EXTERNAL_INTERRUPT
{ EXIT_REASON_EXTERNAL_INTERRUPT, "EXTERNAL_INTERRUPT" }, \
nested_vmx_vmexit(vcpu, EXIT_REASON_EXTERNAL_INTERRUPT, 0, 0);
nested_vmx_vmexit(vcpu, EXIT_REASON_EXTERNAL_INTERRUPT,
nested_vmx_vmexit(vcpu, EXIT_REASON_EXTERNAL_INTERRUPT,
case EXIT_REASON_EXTERNAL_INTERRUPT:
case EXIT_REASON_EXTERNAL_INTERRUPT:
case EXIT_REASON_EXTERNAL_INTERRUPT:
[EXIT_REASON_EXTERNAL_INTERRUPT] = handle_external_interrupt,
else if (exit_reason.basic == EXIT_REASON_EXTERNAL_INTERRUPT)
case EXIT_REASON_EXTERNAL_INTERRUPT:
{ EXIT_REASON_EXTERNAL_INTERRUPT, "EXTERNAL_INTERRUPT" }, \