On Thu, 28 Feb 2019, Arnd Bergmann wrote: > Hi Vincento, > > I've implemented now what I tried to explain earlier. This moves the > implementation of clock_gettime() and clock_getres() over to 64-bit > __kernel_timespec, with a conversion in the end for architectures that > actually use the 32-bit calls. > > The vdso/types.h file is now obsolete, but we do need to duplicate > a few functions on mips32 and x86-32. It may be possible to fold those > into the generic lib/vdso/gettimeofday.c file as another step. > > If there are no objections, please fold these changes into your > series. Please write the new generic code in that way and apply the architecture changes when converting them over. Thanks, tglx