Symbol: doconfigtimer
sys/kern/kern_clocksource.c
141
if (doconfigtimer() || busy)
sys/kern/kern_clocksource.c
62
static int doconfigtimer(void);