tile: add clock_gettime support to vDSO
[cascardo/linux.git] / arch / tile / kernel / vdso / vdso.lds.S
index 041cd6c..731529f 100644 (file)
@@ -82,6 +82,8 @@ VERSION
                __vdso_rt_sigreturn;
                __vdso_gettimeofday;
                gettimeofday;
+               __vdso_clock_gettime;
+               clock_gettime;
        local:*;
        };
 }