Index: /trunk/src/VBox/VMM/VMMR0/HWVMXR0.cpp
===================================================================
--- /trunk/src/VBox/VMM/VMMR0/HWVMXR0.cpp	(revision 42172)
+++ /trunk/src/VBox/VMM/VMMR0/HWVMXR0.cpp	(revision 42173)
@@ -1372,7 +1372,7 @@
 # endif
 
-        if (pVCpu->hwaccm.s.vmx.proc_ctls2 & VMX_VMCS_CTRL_PROC_EXEC2_RDTSCP)
-        {
-            Assert(u32HostExtFeatures & X86_CPUID_EXT_FEATURE_EDX_RDTSCP);
+        if (   (u32HostExtFeatures & X86_CPUID_EXT_FEATURE_EDX_RDTSCP)
+            && pVCpu->hwaccm.s.vmx.proc_ctls2 & VMX_VMCS_CTRL_PROC_EXEC2_RDTSCP)
+        {
             pMsr->u32IndexMSR = MSR_K8_TSC_AUX;
             pMsr->u32Reserved = 0;
@@ -2168,7 +2168,7 @@
     }
 
-    if (pVCpu->hwaccm.s.vmx.proc_ctls2 & VMX_VMCS_CTRL_PROC_EXEC2_RDTSCP)
-    {
-        Assert(u32GstExtFeatures & X86_CPUID_EXT_FEATURE_EDX_RDTSCP);
+    if (   pVCpu->hwaccm.s.vmx.proc_ctls2 & VMX_VMCS_CTRL_PROC_EXEC2_RDTSCP
+        && (u32GstExtFeatures & X86_CPUID_EXT_FEATURE_EDX_RDTSCP))
+    {
         pMsr->u32IndexMSR = MSR_K8_TSC_AUX;
         pMsr->u32Reserved = 0;
@@ -3971,5 +3971,5 @@
 
     /*
-     * 48 EPT violation. An attemp to access memory with a guest-physical address was disallowed
+     * 48 EPT violation. An attempt to access memory with a guest-physical address was disallowed
      * by the configuration of the EPT paging structures.
      */