Hmm works here. What compiler do you use? Normally gcc should
recognize the memcpy is just two constant stores and always inline even with -Os.
nm --dynamic arch/x86/vdso/vdso.so
0000000000000000 A LINUX_2.6
ffffffffff7007e0 T __vdso_clock_gettime
ffffffffff700820 T __vdso_getcpu
ffffffffff700750 T __vdso_gettimeofday
ffffffffff7007e0 W clock_gettime
ffffffffff700820 W getcpu
ffffffffff700750 W gettimeofday
Anyways if your compiler or config cannot get that right it would need
to switch to __inline_memcpy(), but that would be slower or explicit
copying field by field.
If it's a common problem we could also implement a build time check,
but normally such problems should be already caught in code review.
-Andi
--