Lines Matching defs:vdso
23 void *vdso = dlopen("linux-vdso.so.1",
25 if (!vdso)
26 vdso = dlopen("linux-gate.so.1",
28 if (!vdso)
29 vdso = dlopen("linux-vdso32.so.1",
31 if (!vdso)
32 vdso = dlopen("linux-vdso64.so.1",
34 if (!vdso) {
39 vdso_clock_gettime = (vgettime_t)dlsym(vdso, "__vdso_clock_gettime");
41 vdso_clock_gettime = (vgettime_t)dlsym(vdso, "__kernel_clock_gettime");