prctl_map_vdso    781 arch/x86/kernel/process_64.c 		return prctl_map_vdso(&vdso_image_x32, arg2);
prctl_map_vdso    785 arch/x86/kernel/process_64.c 		return prctl_map_vdso(&vdso_image_32, arg2);
prctl_map_vdso    788 arch/x86/kernel/process_64.c 		return prctl_map_vdso(&vdso_image_64, arg2);