update_wall_time  125 include/linux/time.h extern void update_wall_time(void);
update_wall_time 1055 kernel/timer.c 	update_wall_time();