Messages in this thread |  | | From | Arnd Bergmann <> | Date | Tue, 28 Apr 2020 18:05:03 +0200 | Subject | Re: [PATCH v8 8/8] powerpc/vdso: Provide __kernel_clock_gettime64() on vdso32 |
| |
On Tue, Apr 28, 2020 at 3:16 PM Christophe Leroy <christophe.leroy@c-s.fr> wrote: > > Provides __kernel_clock_gettime64() on vdso32. This is the > 64 bits version of __kernel_clock_gettime() which is > y2038 compliant. > > Signed-off-by: Christophe Leroy <christophe.leroy@c-s.fr>
Looks good to me
Reviewed-by: Arnd Bergmann <arnd@arndb.de>
There was a bug on ARM for the corresponding function, so far it is unclear if this was a problem related to particular hardware, the 32-bit kernel code, or the common implementation of clock_gettime64 in the vdso library, see https://github.com/richfelker/musl-cross-make/issues/96
Just to be sure that powerpc is not affected by the same issue, can you confirm that repeatedly calling clock_gettime64 on powerpc32, alternating between vdso and syscall, results in monotically increasing times?
Arnd
|  |