do_realtime        91 arch/x86/vdso/vclock_gettime.c 			return do_realtime(ts);
do_realtime       107 arch/x86/vdso/vclock_gettime.c 		do_realtime((struct timespec *)tv);