1 #include "bits/libc-vdso.h"
4 # define SYSCALL_GETTIME(id, tp) \
5 ({ long int (*f) (clockid_t, struct timespec *) = __vdso_clock_gettime; \
8 # define INTERNAL_GETTIME(id, tp) \
9 ({ long int (*f) (clockid_t, struct timespec *) = __vdso_clock_gettime; \
14 #include "../clock_gettime.c"