Symbol: cputimer_intr_reload
sys/kern/kern_systimer.c
155
cputimer_intr_reload(info->time - sys_cputimer->count());
sys/kern/kern_systimer.c
400
cputimer_intr_reload(1);
sys/kern/kern_systimer.c
86
cputimer_intr_reload(info->time - time);
sys/sys/systimer.h
271
void cputimer_intr_reload(sysclock_t);