EXIT_REASON_EXCEPTION_NMI
{ EXIT_REASON_EXCEPTION_NMI, "EXCEPTION_NMI" }, \
((u16)vm_exit_reason == EXIT_REASON_EXCEPTION_NMI &&
nested_vmx_vmexit(vcpu, EXIT_REASON_EXCEPTION_NMI, intr_info, exit_qual);
nested_vmx_vmexit(vcpu, EXIT_REASON_EXCEPTION_NMI,
case EXIT_REASON_EXCEPTION_NMI:
case EXIT_REASON_EXCEPTION_NMI:
case EXIT_REASON_EXCEPTION_NMI:
[EXIT_REASON_EXCEPTION_NMI] = handle_exception_nmi,
(exit_reason.basic != EXIT_REASON_EXCEPTION_NMI &&
case EXIT_REASON_EXCEPTION_NMI:
if ((u16)vmx_get_exit_reason(vcpu).basic != EXIT_REASON_EXCEPTION_NMI ||
{ EXIT_REASON_EXCEPTION_NMI, "EXCEPTION_NMI" }, \
GUEST_ASSERT_EQ(vmreadz(VM_EXIT_REASON), EXIT_REASON_EXCEPTION_NMI);
GUEST_ASSERT_EQ(vmreadz(VM_EXIT_REASON), EXIT_REASON_EXCEPTION_NMI);