Symbol: lapic_timer_intr_restart
sys/platform/pc64/apic/lapic.c
90
static void lapic_timer_intr_restart(struct cputimer_intr *);
sys/platform/pc64/apic/lapic.c
98
.restart = lapic_timer_intr_restart,