l_apic_timer_irq_handler 171 kernel/arch/amd64/src/smp/apic.c static void l_apic_timer_irq_handler(irq_t *irq) l_apic_timer_irq_handler 171 kernel/arch/ia32/src/smp/apic.c static void l_apic_timer_irq_handler(irq_t *irq)HelenOS homepage, sources at GitHub