Symbol: lapic_timer_fixup_handler
sys/platform/pc64/apic/lapic.c
68
static void lapic_timer_fixup_handler(void *);
sys/platform/pc64/apic/lapic.c
754
lapic_timer_fixup_handler(NULL);
sys/platform/pc64/apic/lapic.c
831
lapic_timer_fixup_handler(&started);
sys/platform/pc64/apic/lapic.c
855
lapic_timer_fixup_handler, NULL);