summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorGuillem Jover <guillem@hadrons.org>2011-08-30 03:09:30 +0200
committerSamuel Thibault <samuel.thibault@ens-lyon.org>2011-08-30 23:31:06 +0200
commit5ddfd7847ae59181a1f8be94e7d9a7c6ed3c985a (patch)
treeec4a55a31a9d41c940d2ca87d5d0c39273e27ca8
parente0a627a303df094331381a6efaa5784a5d4c97f5 (diff)
Cast host_get_time() arguments to fix warnings
* linux/dev/glue/misc.c (do_gettimeofday): Cast arguments to `host_get_time'.
-rw-r--r--linux/dev/glue/misc.c7
1 files changed, 6 insertions, 1 deletions
diff --git a/linux/dev/glue/misc.c b/linux/dev/glue/misc.c
index d8ca3c2..b467650 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