Symbol: update_wall_time
kernel/time/tick-common.c
98
update_wall_time();
kernel/time/tick-legacy.c
33
update_wall_time();
kernel/time/tick-sched.c
149
update_wall_time();
kernel/time/timekeeping.h
27
extern void update_wall_time(void);