Symbol: lapic_msr_timer_intr_reload
sys/platform/pc64/apic/lapic.c
1107
lapic_cputimer_intr.reload = lapic_msr_timer_intr_reload;
sys/platform/pc64/apic/lapic.c
88
static void lapic_msr_timer_intr_reload(struct cputimer_intr *, sysclock_t);