Searched refs:vdso_addr (Results 1 – 1 of 1) sorted by relevance
35 static uintptr_t vdso_addr; variable40 fprintf (stderr, "vdso: %p\n", (void*) vdso_addr); in handle_restart()63 vdso_addr = getauxval (AT_SYSINFO_EHDR); in do_test()64 if (vdso_addr == 0) in do_test()