apic_spurious 200 kernel/arch/amd64/src/smp/apic.c (iroutine_t) apic_spurious); apic_spurious 200 kernel/arch/ia32/src/smp/apic.c (iroutine_t) apic_spurious);