#define EXIT_REASON_MONITOR_TRAP_FLAG 37
#define EXIT_REASON_MONITOR_INSTRUCTION 39
#define EXIT_REASON_PAUSE_INSTRUCTION 40
-#define EXIT_REASON_MACHINE_CHECK 41
+#define EXIT_REASON_MCE_DURING_VMENTRY 41
#define EXIT_REASON_TPR_BELOW_THRESHOLD 43
#define EXIT_REASON_APIC_ACCESS 44
#define EXIT_REASON_ACCESS_GDTR_OR_IDTR 46
[EXIT_REASON_MONITOR_TRAP_FLAG]="MONITOR_TRAP_FLAG",
[EXIT_REASON_MONITOR_INSTRUCTION]="MONITOR_INSTRUCTION",
[EXIT_REASON_PAUSE_INSTRUCTION]="PAUSE_INSTRUCTION",
- [EXIT_REASON_MACHINE_CHECK]="MACHINE_CHECK",
+ [EXIT_REASON_MCE_DURING_VMENTRY]="MCE_DURING_VMENTRY",
[EXIT_REASON_TPR_BELOW_THRESHOLD]="TPR_BELOW_THRESHOLD",
[EXIT_REASON_APIC_ACCESS]="APIC_ACCESS",
[EXIT_REASON_EPT_VIOLATION]="EPT_VIOLATION",