Index: /trunk/src/VBox/Runtime/common/time/timesupref.h
===================================================================
--- /trunk/src/VBox/Runtime/common/time/timesupref.h	(revision 54939)
+++ /trunk/src/VBox/Runtime/common/time/timesupref.h	(revision 54940)
@@ -300,5 +300,5 @@
                             uint16_t idApicUpdate;
                             int rc = SUPR3ReadTsc(&u64TscTmp, &idApicUpdate);
-                            if (RT_SUCCESS(rc) && idApicUpdate <= RT_ELEMENTS(pGip->aiCpuFromApicId))
+                            if (RT_SUCCESS(rc) && idApicUpdate < RT_ELEMENTS(pGip->aiCpuFromApicId))
                             {
                                 uint32_t iUpdateGipCpu = pGip->aiCpuFromApicId[idApicUpdate];