Symbol: systimer_intr_enable
sys/kern/kern_clock.c
358
systimer_intr_enable();
sys/sys/systimer.h
81
void systimer_intr_enable(void);