l_apic_timer_claim 214 kernel/arch/amd64/src/smp/apic.c l_apic_timer_irq.claim = l_apic_timer_claim; l_apic_timer_claim 214 kernel/arch/ia32/src/smp/apic.c l_apic_timer_irq.claim = l_apic_timer_claim;