Searching in arch/x86/vdso/vdso32