* sysdeps/unix/sysv/linux/clock_gettime.c (maybe_syscall_gettime_cpu):