Index: /trunk/include/VBox/vmm/cpum.h
===================================================================
--- /trunk/include/VBox/vmm/cpum.h	(revision 71641)
+++ /trunk/include/VBox/vmm/cpum.h	(revision 71642)
@@ -1498,8 +1498,5 @@
     Assert(pVmcb);
     if (!pCtx->hwvirt.svm.fHMCachedVmcb)
-    {
-        PCSVMVMCBCTRL pVmcbCtrl = &pCtx->hwvirt.svm.CTX_SUFF(pVmcb)->ctrl;
-        return pVmcbCtrl->IntCtrl.n.u1VIntrMasking;
-    }
+        return pVmcb->ctrl.IntCtrl.n.u1VIntrMasking;
     return HMIsGuestSvmVirtIntrMasking(pVCpu, pCtx);
 }