vdso_nullpatch_one  183 arch/arm/kernel/vdso.c 		vdso_nullpatch_one(&einfo, "__vdso_gettimeofday");
vdso_nullpatch_one  184 arch/arm/kernel/vdso.c 		vdso_nullpatch_one(&einfo, "__vdso_clock_gettime");