Index: /trunk/src/VBox/VMM/VMMR0/HMR0.cpp
===================================================================
--- /trunk/src/VBox/VMM/VMMR0/HMR0.cpp	(revision 48279)
+++ /trunk/src/VBox/VMM/VMMR0/HMR0.cpp	(revision 48280)
@@ -389,4 +389,7 @@
             g_HvmR0.vmx.Msrs.u64FeatureCtrl = ASMRdMsr(MSR_IA32_FEATURE_CONTROL);
 
+            /** @todo r=ramshankar: This should be fixed for when the host is in SMX mode.
+             *        Probably don't need to recheck it here. It's done in
+             *        hmR0InitIntelCpu(). */
             if (   (g_HvmR0.vmx.Msrs.u64FeatureCtrl & (MSR_IA32_FEATURE_CONTROL_VMXON | MSR_IA32_FEATURE_CONTROL_LOCK))
                 ==                                    (MSR_IA32_FEATURE_CONTROL_VMXON | MSR_IA32_FEATURE_CONTROL_LOCK))