ct_l_intr_entry 402 kernel/arch/amd64/src/smp/mps.c ct_l_intr_entry((struct __l_intr_entry *) cur); ct_l_intr_entry 402 kernel/arch/ia32/src/smp/mps.c ct_l_intr_entry((struct __l_intr_entry *) cur);