src/starnix/kernel/vdso/vdso-x64.map

LINUX_2.6 {
global:
    __vdso_clock_gettime;
    clock_gettime;
    __vdso_clock_getres;
    clock_getres;
    __vdso_getcpu;
    getcpu;
    __vdso_gettimeofday;
    gettimeofday;
    __vdso_time;
    time;
local:
    *;
};