Index: /trunk/src/VBox/VMM/VMMR3/CPUM.cpp
===================================================================
--- /trunk/src/VBox/VMM/VMMR3/CPUM.cpp	(revision 55735)
+++ /trunk/src/VBox/VMM/VMMR3/CPUM.cpp	(revision 55736)
@@ -1866,6 +1866,5 @@
                 if (pCtx->fXStateMask & XSAVE_C_OPMASK)
                 {
-                    PCX86XSAVEOPMASK pOpMask;
-                    pOpMask = (PCX86XSAVEOPMASK)((uint8_t *)pCtx->CTX_SUFF(pXState) + pCtx->aoffXState[XSAVE_C_OPMASK_BIT]);
+                    PCX86XSAVEOPMASK pOpMask = CPUMCTX_XSAVE_C_PTR(pCtx, XSAVE_C_OPMASK_BIT, PCX86XSAVEOPMASK);
                     for (unsigned i = 0; i < RT_ELEMENTS(pOpMask->aKRegs); i += 4)
                         pHlp->pfnPrintf(pHlp, "%sK%u=%016RX64  %sK%u=%016RX64  %sK%u=%016RX64  %sK%u=%016RX64\n",