[PATCH gnumach] Use host_get_time64 in glue code

[Flavio Cruz]

---
 linux/dev/glue/misc.c | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/linux/dev/glue/misc.c b/linux/dev/glue/misc.c
index 92541c7b..5646e5ea 100644
--- a/linux/dev/glue/misc.c
+++ b/linux/dev/glue/misc.c
@@ -235,7 +235,10 @@ do_gettimeofday (struct timeval *tv)
    * expensive, and the host argument is not used by host_get_time (),
    * only checked not to be HOST_NULL.
    */
-  host_get_time ((host_t) 1, (time_value_t *) tv);
+  time_value64_t tv64;
+  host_get_time64 ((host_t) 1, &tv64);
+  tv->tv_sec = tv64.seconds;
+  tv->tv_usec = tv64.nanoseconds / 1000;
 }
 
 int
-- 
2.39.2