Re: [PATCH gnumach] Use host_get_time64 in glue code

[Samuel Thibault]

Applied, thanks!

Flavio Cruz, le lun. 13 mars 2023 01:43:37 -0400, a ecrit:
> ---
>  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
> 
> 

-- 
Samuel
---
Pour une évaluation indépendante, transparente et rigoureuse !
Je soutiens la Commission d'Évaluation de l'Inria.