2011-09-06 21:34:11 -04:00
|
|
|
#include "bits/libc-vdso.h"
|
|
|
|
|
|
|
|
|
|
#ifdef SHARED
|
|
|
|
|
# define SYSCALL_GETTIME(id, tp) \
|
2011-09-06 23:50:04 -04:00
|
|
|
({ long int (*f) (clockid_t, struct timespec *) = __vdso_clock_gettime; \
|
|
|
|
|
PTR_DEMANGLE (f); \
|
|
|
|
|
f (id, tp); })
|
2011-09-06 21:34:11 -04:00
|
|
|
# define INTERNAL_GETTIME(id, tp) \
|
2011-09-06 23:50:04 -04:00
|
|
|
({ long int (*f) (clockid_t, struct timespec *) = __vdso_clock_gettime; \
|
|
|
|
|
PTR_DEMANGLE (f); \
|
|
|
|
|
f (id, tp); })
|
2011-09-06 21:34:11 -04:00
|
|
|
#endif
|
|
|
|
|
|
|
|
|
|
#include "../clock_gettime.c"
|
