google3/third_party/grte/v4_src/glibc-2.19/sysdeps/unix/sysv/linux/x86_64/timespec_get.c

#include "bits/libc-vdso.h"

#ifdef SHARED
# define INTERNAL_GETTIME(id, tp) \
  ({ long int (*f) (clockid_t, struct timespec *) = __vdso_clock_gettime; \
  PTR_DEMANGLE (f);							  \
  f (id, tp); })
#endif

#include "../timespec_get.c"