update_wall_time   93 kernel/time/tick-common.c 		update_wall_time();
update_wall_time   98 kernel/time/tick-sched.c 	update_wall_time();
update_wall_time 2403 kernel/time/timekeeping.c 	update_wall_time();
update_wall_time   26 kernel/time/timekeeping.h extern void update_wall_time(void);