Index: /trunk/src/VBox/HostDrivers/Support/SUPDrvGip.cpp
===================================================================
--- /trunk/src/VBox/HostDrivers/Support/SUPDrvGip.cpp	(revision 64259)
+++ /trunk/src/VBox/HostDrivers/Support/SUPDrvGip.cpp	(revision 64260)
@@ -307,5 +307,4 @@
                     && (ASMCpuId_EDX(UINT32_C(0x80000001)) & X86_CPUID_EXT_FEATURE_EDX_RDTSCP) )
                 {
-                    uint32_t const  uGroupedAux = (uint8_t)pGipCpu->iCpuGroupMember | ((uint32_t)pGipCpu->iCpuGroup << 8);
                     uint32_t        uAux;
                     ASMReadTscWithAux(&uAux);
@@ -318,11 +317,15 @@
                     }
 
-                    if (   (uAux & UINT16_MAX) == uGroupedAux
-                        && pGipCpu->iCpuGroupMember <= UINT8_MAX)
+                    if (pGipCpu)
                     {
-                        ASMNopPause();
-                        ASMReadTscWithAux(&uAux);
-                        if ((uAux & UINT16_MAX) == uGroupedAux)
-                            fSupported |= SUPGIPGETCPU_RDTSCP_GROUP_IN_CH_NUMBER_IN_CL;
+                        uint32_t const  uGroupedAux = (uint8_t)pGipCpu->iCpuGroupMember | ((uint32_t)pGipCpu->iCpuGroup << 8);
+                        if (   (uAux & UINT16_MAX) == uGroupedAux
+                            && pGipCpu->iCpuGroupMember <= UINT8_MAX)
+                        {
+                            ASMNopPause();
+                            ASMReadTscWithAux(&uAux);
+                            if ((uAux & UINT16_MAX) == uGroupedAux)
+                                fSupported |= SUPGIPGETCPU_RDTSCP_GROUP_IN_CH_NUMBER_IN_CL;
+                        }
                     }
                 }