Index: /trunk/src/VBox/VMM/VMMR3/SELM.cpp
===================================================================
--- /trunk/src/VBox/VMM/VMMR3/SELM.cpp	(revision 85967)
+++ /trunk/src/VBox/VMM/VMMR3/SELM.cpp	(revision 85968)
@@ -568,5 +568,5 @@
 {
     /** @todo SMP support! */
-    PVMCPU      pVCpu = pVM->apCpusR3[0];
+    PVMCPU      pVCpu = VMMGetCpu(pVM);
 
     VBOXGDTR    GDTR;
@@ -611,5 +611,5 @@
 {
     /** @todo SMP support! */
-    PVMCPU   pVCpu = pVM->apCpusR3[0];
+    PVMCPU   pVCpu = VMMGetCpu(pVM);
 
     uint64_t GCPtrLdt;