diff options
| author | Guillem Jover <guillem@hadrons.org> | 2011-08-30 03:09:30 +0200 |
|---|---|---|
| committer | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2011-08-30 23:31:06 +0200 |
| commit | 5ddfd7847ae59181a1f8be94e7d9a7c6ed3c985a (patch) | |
| tree | ec4a55a31a9d41c940d2ca87d5d0c39273e27ca8 | |
| parent | e0a627a303df094331381a6efaa5784a5d4c97f5 (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.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..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 |