setup_smp_ipi 14 arch/csky/include/asm/smp.h void __init setup_smp_ipi(void); setup_smp_ipi 15 arch/csky/kernel/irq.c setup_smp_ipi();