Symbol: lapic_timer_tscdlt_reload
sys/platform/pc64/apic/lapic.c
423
lapic_timer_tscdlt_reload;
sys/platform/pc64/apic/lapic.c
86
static void lapic_timer_tscdlt_reload(struct cputimer_intr *, sysclock_t);