Index: /trunk/src/VBox/VMM/VMMR0/HMSVMR0.cpp
===================================================================
--- /trunk/src/VBox/VMM/VMMR0/HMSVMR0.cpp	(revision 49896)
+++ /trunk/src/VBox/VMM/VMMR0/HMSVMR0.cpp	(revision 49897)
@@ -880,7 +880,13 @@
         pVCpu->hm.s.cTlbFlushes          = pCpu->cTlbFlushes;
         pVmcb->ctrl.TLBCtrl.n.u8TLBFlush = SVM_TLB_FLUSH_ENTIRE;
+
+        /* Clear the VMCB Clean Bit for NP while flushing the TLB. See @bugref{7152}. */
+        pVmcb->ctrl.u64VmcbCleanBits    &= ~HMSVM_VMCB_CLEAN_NP;
     }
     else if (pVCpu->hm.s.fForceTLBFlush)
     {
+        /* Clear the VMCB Clean Bit for NP while flushing the TLB. See @bugref{7152}. */
+        pVmcb->ctrl.u64VmcbCleanBits    &= ~HMSVM_VMCB_CLEAN_NP;
+
         if (fNewAsid)
         {