Searched refs:vdso_name (Results 1 – 2 of 2) sorted by relevance
36 const char* vdso_name = "linux-vdso.so.1"; in main() local38 vdso_name = "linux-gate.so.1"; in main()40 void* handle = dlopen(vdso_name, RTLD_NOW); in main()
267 const char* vdso_name = "linux-vdso.so.1"; in TEST() local269 vdso_name = "linux-gate.so.1"; in TEST()271 void* handle = dlopen(vdso_name, RTLD_NOW); in TEST()