Searched refs:vdso_name (Results 1 – 2 of 2) sorted by relevance
38 const char* vdso_name = "linux-vdso.so.1"; in main() local40 vdso_name = "linux-gate.so.1"; in main()42 void* handle = dlopen(vdso_name, RTLD_NOW); in main()
253 const char* vdso_name = "linux-vdso.so.1"; in TEST() local255 vdso_name = "linux-gate.so.1"; in TEST()257 void* handle = dlopen(vdso_name, RTLD_NOW); in TEST()