Symbol: cputimer_intr_default_restart
sys/platform/pc64/isa/clock.c
175
.restart = cputimer_intr_default_restart,
sys/platform/vkernel64/platform/systimer.c
111
.restart = cputimer_intr_default_restart,
sys/sys/systimer.h
259
void cputimer_intr_default_restart(struct cputimer_intr *);