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.
