taglinefilesource code
smp_msg_id57arch/i386/kernel/smp.cstatic volatile int smp_msg_id;        /* Message being sent          */
smp_msg_id639arch/i386/kernel/smp.csmp_processor_id(),msg,message_cpu, smp_msg_id);
smp_msg_id657arch/i386/kernel/smp.csmp_msg_id=msg;
smp_msg_id902arch/i386/kernel/smp.cswitch(smp_msg_id)
smp_msg_id929arch/i386/kernel/smp.csmp_src_cpu,smp_processor_id(),smp_msg_id,smp_msg_data);
smp_msg_id23include/linux/smp.hextern volatile int smp_msg_id;