Index: /trunk/src/VBox/VMM/VMMAll/HWACCMAll.cpp
===================================================================
--- /trunk/src/VBox/VMM/VMMAll/HWACCMAll.cpp	(revision 19915)
+++ /trunk/src/VBox/VMM/VMMAll/HWACCMAll.cpp	(revision 19916)
@@ -53,6 +53,4 @@
 void hwaccmQueueInvlPage(PVMCPU pVCpu, RTGCPTR GCVirt)
 {
-    Assert(HWACCMIsEnabled(pVCpu->CTX_SUFF(pVM)));
-
     /* Nothing to do if a TLB flush is already pending */
     if (VMCPU_FF_ISSET(pVCpu, VMCPU_FF_TLB_FLUSH))