update_vsyscall   143 include/linux/timekeeper_internal.h extern void update_vsyscall(struct timekeeper *tk);
update_vsyscall   671 kernel/time/timekeeping.c 	update_vsyscall(tk);