Symbol: lapic_timer_restart_handler
sys/platform/pc64/apic/lapic.c
69
static void lapic_timer_restart_handler(void *);
sys/platform/pc64/apic/lapic.c
861
lwkt_send_ipiq_mask(smp_active_mask, lapic_timer_restart_handler, NULL);