Re: [PATCH gnumach] Use host_get_time64 in glue code

2023-03-13 Thread 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 > +

[PATCH gnumach] Use host_get_time64 in glue code

2023-03-12 Thread Flavio Cruz
--- 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) * ex