Symbol: cputimer_intr_restart
sys/kern/kern_cputimer.c
522
cputimer_intr_restart();
sys/kern/kern_cputimer.c
554
cputimer_intr_restart();
sys/kern/kern_cputimer.c
585
cputimer_intr_restart();
sys/sys/systimer.h
272
void cputimer_intr_restart(void);