taglinefilesource code
smp_src_cpu56arch/i386/kernel/smp.cstatic volatile int smp_src_cpu;      /* IPI sender processor          */
smp_src_cpu656arch/i386/kernel/smp.csmp_src_cpu=p;
smp_src_cpu704arch/i386/kernel/smp.ccpu_callin_map[0]=(1<<smp_src_cpu);
smp_src_cpu929arch/i386/kernel/smp.csmp_src_cpu,smp_processor_id(),smp_msg_id,smp_msg_data);
smp_src_cpu22include/linux/smp.hextern volatile int smp_src_cpu;