libc {
GLIBC_PRIVATE {
__vdso_get_tbfreq;
__vdso_clock_gettime;
__vdso_clock_getres;
__vdso_getcpu;
__vdso_time;
}