vdso_nullpatch_one
vdso_nullpatch_one(&einfo, "__vdso_gettimeofday");
vdso_nullpatch_one(&einfo, "__vdso_clock_gettime");
vdso_nullpatch_one(&einfo, "__vdso_clock_gettime64");
vdso_nullpatch_one(&einfo, "__vdso_clock_getres");
vdso_nullpatch_one(&einfo, "__vdso_clock_getres_time64");