Index: /trunk/include/VBox/vmm/hm_vmx.h
===================================================================
--- /trunk/include/VBox/vmm/hm_vmx.h	(revision 44153)
+++ /trunk/include/VBox/vmm/hm_vmx.h	(revision 44154)
@@ -465,7 +465,7 @@
 #define VMX_EXIT_SIPI               4
 /** 5 I/O system-management interrupt (SMI). */
-#define VMX_EXIT_IO_SMI_IRQ         5
+#define VMX_EXIT_IO_SMI             5
 /** 6 Other SMI. */
-#define VMX_EXIT_SMI_IRQ            6
+#define VMX_EXIT_SMI                6
 /** 7 Interrupt window exiting. */
 #define VMX_EXIT_INT_WINDOW         7
Index: /trunk/src/VBox/VMM/VMMR0/HWVMXR0.cpp
===================================================================
--- /trunk/src/VBox/VMM/VMMR0/HWVMXR0.cpp	(revision 44153)
+++ /trunk/src/VBox/VMM/VMMR0/HWVMXR0.cpp	(revision 44154)
@@ -4698,6 +4698,6 @@
         break;
 
-    case VMX_EXIT_IO_SMI_IRQ:           /* 5 I/O system-management interrupt (SMI). */
-    case VMX_EXIT_SMI_IRQ:              /* 6 Other SMI. */
+    case VMX_EXIT_IO_SMI:               /* 5 I/O system-management interrupt (SMI). */
+    case VMX_EXIT_SMI:                  /* 6 Other SMI. */
         rc = VINF_EM_RAW_INTERRUPT;
         AssertFailed();                 /* Can't happen afaik. */