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