Index: /trunk/src/VBox/HostDrivers/Support/SUPDrvGip.cpp
===================================================================
--- /trunk/src/VBox/HostDrivers/Support/SUPDrvGip.cpp	(revision 58886)
+++ /trunk/src/VBox/HostDrivers/Support/SUPDrvGip.cpp	(revision 58887)
@@ -4138,10 +4138,10 @@
                  * See task_contributes_to_load() in include/linux/sched.h in the Linux sources.
                  */
-                rc = RTThreadUserWaitNoResume(pDevExt->hTscDeltaThread, pDevExt->cMsTscDeltaTimeout);
+                rc = RTThreadUserWaitNoResume(hThread, pDevExt->cMsTscDeltaTimeout);
                 if (   RT_FAILURE(rc)
                     && rc != VERR_TIMEOUT
                     && rc != VERR_INTERRUPTED)
                     return supdrvTscDeltaThreadButchered(pDevExt, false /* fSpinlockHeld */, "RTThreadUserWait", rc);
-                RTThreadUserReset(pDevExt->hTscDeltaThread);
+                RTThreadUserReset(hThread);
                 break;
             }