Lines Matching defs:vdso
48 /* vsyscalls and vDSO */
68 void *vdso = dlopen("linux-vdso.so.1", RTLD_LAZY | RTLD_LOCAL | RTLD_NOLOAD);
69 if (!vdso)
70 vdso = dlopen("linux-gate.so.1", RTLD_LAZY | RTLD_LOCAL | RTLD_NOLOAD);
71 if (!vdso) {
72 printf("[WARN]\tfailed to find vDSO\n");
76 vdso_gtod = (gtod_t)dlsym(vdso, "__vdso_gettimeofday");
78 printf("[WARN]\tfailed to find gettimeofday in vDSO\n");
80 vdso_gettime = (vgettime_t)dlsym(vdso, "__vdso_clock_gettime");
82 printf("[WARN]\tfailed to find clock_gettime in vDSO\n");
84 vdso_time = (time_func_t)dlsym(vdso, "__vdso_time");
86 printf("[WARN]\tfailed to find time in vDSO\n");
88 vdso_getcpu = (getcpu_t)dlsym(vdso, "__vdso_getcpu");
90 /* getcpu() was never wired up in the 32-bit vDSO. */
91 printf("[%s]\tfailed to find getcpu in vDSO\n",
243 nerrs += check_gtod(&tv_sys1, &tv_sys2, &tz_sys, "vDSO", &tv_vdso, &tz_vdso);
