Symbol: systimer_changed
sys/kern/kern_cputimer.c
119
systimer_changed();
sys/sys/systimer.h
80
void systimer_changed(void);