[PATCH gnumach 04/16] Cast host_get_time() arguments to fix warnings

[Guillem Jover]

* linux/dev/glue/misc.c (do_gettimeofday): Cast arguments to
`host_get_time'.
---
 linux/dev/glue/misc.c |    7 ++++++-
 1 files changed, 6 insertions(+), 1 deletions(-)

diff --git a/linux/dev/glue/misc.c b/linux/dev/glue/misc.c
index d8ca3c2..a994cc6 100644
--- a/linux/dev/glue/misc.c
+++ b/linux/dev/glue/misc.c
@@ -229,7 +229,12 @@ add_blkdev_randomness (int major)
 void
 do_gettimeofday (struct timeval *tv)
 {
-  host_get_time (1, tv);
+  /*
+   * XXX: The first argument should be mach_host_self (), but that's too
+   * 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);
 }
 
 int
-- 
1.7.5.4