Index: /trunk/include/VBox/vmm/cpumctx.h
===================================================================
--- /trunk/include/VBox/vmm/cpumctx.h	(revision 42414)
+++ /trunk/include/VBox/vmm/cpumctx.h	(revision 42415)
@@ -85,5 +85,5 @@
     (   ((a_pSelReg)->fFlags & CPUMSELREG_FLAGS_VALID) \
      && (   (a_pSelReg)->ValidSel == (a_pSelReg)->Sel \
-         || (   (a_pVCpu) != NULL \
+         || (   (a_pVCpu) /*!= NULL*/ \
              && (a_pSelReg)->ValidSel == ((a_pSelReg)->Sel & X86_SEL_MASK_RPL) \
              && ((a_pSelReg)->Sel      & X86_SEL_RPL) == 1 \