Index: /trunk/src/VBox/Devices/PC/DevACPI.cpp
===================================================================
--- /trunk/src/VBox/Devices/PC/DevACPI.cpp	(revision 68248)
+++ /trunk/src/VBox/Devices/PC/DevACPI.cpp	(revision 68249)
@@ -486,7 +486,7 @@
 
     /** @todo DEBUGGING */
-    uint32_t            uPmTimerOld;
-    uint32_t            uPmTimerA;
-    uint32_t            uPmTimerB;
+    uint32_t            uPmTimeOld;
+    uint32_t            uPmTimeA;
+    uint32_t            uPmTimeB;
     uint32_t            Alignment5;
 } ACPIState;
@@ -1763,10 +1763,10 @@
 
     /** @todo temporary: sanity check against running backwards */
-    uint32_t uOld = ASMAtomicXchgU32(&pThis->uPmTimerOld, *pu32);
+    uint32_t uOld = ASMAtomicXchgU32(&pThis->uPmTimeOld, *pu32);
     if (*pu32 - uOld >= 0x10000000)
     {
 #if defined(IN_RING0)
-        pThis->uPmTimerA = uOld;
-        pThis->uPmTimerB = *pu32;
+        pThis->uPmTimeA = uOld;
+        pThis->uPmTimeB = *pu32;
         return VERR_TM_TIMER_BAD_CLOCK;
 #elif defined(IN_RING3)
@@ -1786,5 +1786,5 @@
     ACPIState *pThis = PDMINS_2_DATA(pDevIns, ACPIState *);
     pHlp->pfnPrintf(pHlp,
-                    "timer: old=%08RX32, current=%08RX32\n", pThis->uPmTimerA, pThis->uPmTimerB);
+                    "timer: old=%08RX32, current=%08RX32\n", pThis->uPmTimeA, pThis->uPmTimeB);
 }
 
@@ -3497,4 +3497,5 @@
     pThis->uPmTimerVal       = 0;
     acpiR3PmTimerReset(pThis, pThis->u64PmTimerInitial);
+    pThis->uPmTimeOld        = pThis->uPmTimerVal;
     pThis->uBatteryIndex     = 0;
     pThis->uSystemInfoIndex  = 0;