Index: /trunk/src/VBox/VMM/VMMR0/HMSVMR0.cpp
===================================================================
--- /trunk/src/VBox/VMM/VMMR0/HMSVMR0.cpp	(revision 46704)
+++ /trunk/src/VBox/VMM/VMMR0/HMSVMR0.cpp	(revision 46705)
@@ -736,4 +736,7 @@
 VMMR0DECL(int) SVMR0InvalidatePage(PVM pVM, PVMCPU pVCpu, RTGCPTR GCVirt)
 {
+    AssertReturn(pVM, VERR_INVALID_PARAMETER);
+    Assert(pVM->hm.s.svm.fSupported);
+
     bool fFlushPending = pVM->hm.s.svm.fAlwaysFlushTLB | VMCPU_FF_IS_SET(pVCpu, VMCPU_FF_TLB_FLUSH);
 
@@ -742,6 +745,4 @@
     {
         Log4(("SVMR0InvalidatePage %RGv\n", GCVirt));
-        AssertReturn(pVM, VERR_INVALID_PARAMETER);
-        Assert(pVM->hm.s.svm.fSupported);
 
         PSVMVMCB pVmcb = (PSVMVMCB)pVCpu->hm.s.svm.pvVmcb;