Index: /trunk/src/VBox/Runtime/common/time/time.cpp
===================================================================
--- /trunk/src/VBox/Runtime/common/time/time.cpp	(revision 34998)
+++ /trunk/src/VBox/Runtime/common/time/time.cpp	(revision 34999)
@@ -34,5 +34,4 @@
 
 #include <iprt/string.h>
-#include <iprt/asm-math.h>
 #include <iprt/assert.h>
 #include "internal/time.h"
@@ -273,6 +272,6 @@
     pTime->fFlags = RTTIME_FLAGS_TYPE_UTC;
     i64Div = pTimeSpec->i64NanosecondsRelativeToUnixEpoch;
-    i32Rem = (int32_t)ASMModU64ByU32RetU32(i64Div, 1000000000);
-    i64Div = (int64_t)ASMDivS64ByS32RetS32(i64Div, 1000000000);
+    i32Rem = (int32_t)(i64Div % 1000000000);
+    i64Div /= 1000000000;
     if (i32Rem < 0)
     {
@@ -283,5 +282,5 @@
 
     /* second */
-    i32Rem = (int32_t)ASMModU64ByU32RetU32(i64Div, 60);
+    i32Rem = (int32_t)(i64Div % 60);
     i64Div /= 60;
     if (i32Rem < 0)