Index: /trunk/src/VBox/VMM/VMM.cpp
===================================================================
--- /trunk/src/VBox/VMM/VMM.cpp	(revision 8125)
+++ /trunk/src/VBox/VMM/VMM.cpp	(revision 8126)
@@ -1002,5 +1002,5 @@
                 uint32_t offTrg = *u.pu32++;
                 Assert(offTrg - pSwitcher->offIDCode0 < pSwitcher->cbIDCode0 || offTrg - pSwitcher->offIDCode1 < pSwitcher->cbIDCode1);
-                *uSrc.pu32 = (uint32_t)((u32IDCode + offTrg) - (uSrc.u + 4));
+                *uSrc.pu32 = (uint32_t)((u32IDCode + offTrg) - ((uintptr_t)pu8CodeR0 + offSrc + 4));
                 break;
             }