Index: /trunk/src/VBox/VMM/VMMR0/HWVMXR0.cpp
===================================================================
--- /trunk/src/VBox/VMM/VMMR0/HWVMXR0.cpp	(revision 23943)
+++ /trunk/src/VBox/VMM/VMMR0/HWVMXR0.cpp	(revision 23944)
@@ -4156,5 +4156,5 @@
         descriptor[1] = GCPtr;
         int rc = VMXR0InvVPID(enmFlush, &descriptor[0]);
-        AssertMsg(rc == VINF_SUCCESS, ("VMXR0InvVPID %x %x %VGv failed with %rc\n", enmFlush, pVCpu->hwaccm.s.uCurrentASID, GCPtr, rc));
+        AssertMsg(rc == VINF_SUCCESS, ("VMXR0InvVPID %x %x %RGv failed with %d\n", enmFlush, pVCpu->hwaccm.s.uCurrentASID, GCPtr, rc));
     }
 }