vgetns             50 arch/x86/vdso/vclock_gettime.c 		ns = vgetns();
vgetns             78 arch/x86/vdso/vclock_gettime.c 		ns = gtod->wall_time_nsec + vgetns();