Index: /trunk/src/VBox/Frontends/VBoxManage/VBoxManageGuestCtrl.cpp
===================================================================
--- /trunk/src/VBox/Frontends/VBoxManage/VBoxManageGuestCtrl.cpp	(revision 31380)
+++ /trunk/src/VBox/Frontends/VBoxManage/VBoxManageGuestCtrl.cpp	(revision 31381)
@@ -339,9 +339,9 @@
                 {
                     /* Calculate timeout value left after process has been started.  */
-                    uint64_t u64Diff = RTTimeMilliTS() - u64StartMS;
-                    /** @todo Check for uint64_t vs. uint32_t here! */
-                    if (u32TimeoutMS > u64Diff) /* Is timeout still bigger than current difference? */
-                    {
-                        u32TimeoutMS = u32TimeoutMS - u64Diff;
+                    uint64_t u64Elapsed = RTTimeMilliTS() - u64StartMS;
+                    /* Is timeout still bigger than current difference? */
+                    if (u32TimeoutMS > u64Elapsed)
+                    {
+                        u32TimeoutMS -= (uint32_t)u64Elapsed;
                         if (fVerbose)
                             RTPrintf("Waiting for process to exit (%ums left) ...\n", u32TimeoutMS);