Index: /trunk/src/VBox/VMM/VMMR0/HMSVMR0.cpp
===================================================================
--- /trunk/src/VBox/VMM/VMMR0/HMSVMR0.cpp	(revision 71800)
+++ /trunk/src/VBox/VMM/VMMR0/HMSVMR0.cpp	(revision 71801)
@@ -1037,4 +1037,5 @@
         if (fUsePauseFilter)
         {
+            Assert(pVM->hm.s.svm.cPauseFilter > 0);
             pVmcb->ctrl.u16PauseFilterCount = pVM->hm.s.svm.cPauseFilter;
             if (fPauseFilterThreshold)
@@ -7321,4 +7322,7 @@
     STAM_COUNTER_INC(&pVCpu->hm.s.StatExitPause);
     hmR0SvmAdvanceRipHwAssist(pVCpu, pCtx, 2);
+
+    /** @todo The guest has likely hit a contended spinlock. We might want to
+     *        poke a schedule different guest VCPU. */
     return VINF_EM_RAW_INTERRUPT;
 }