Symbol: timer_restore
sys/platform/pc64/include/clock.h
58
void timer_restore (void);
sys/platform/pc64/isa/pmtimer.c
85
timer_restore(); /* restore the all timers */