taglinefilesource code
smp_src_cpu59arch/i386/kernel/smp.cstatic volatile int smp_src_cpu;      /* IPI sender processor          */
smp_src_cpu658arch/i386/kernel/smp.csmp_src_cpu=p;
smp_src_cpu706arch/i386/kernel/smp.ccpu_callin_map[0]=(1<<smp_src_cpu);
smp_src_cpu931arch/i386/kernel/smp.csmp_src_cpu,smp_processor_id(),smp_msg_id,smp_msg_data);
smp_src_cpu21include/linux/smp.hextern volatile int smp_src_cpu;