taglinefilesource code
smp_msg_id60arch/i386/kernel/smp.cstatic volatile int smp_msg_id;        /* Message being sent          */
smp_msg_id641arch/i386/kernel/smp.csmp_processor_id(),msg,message_cpu, smp_msg_id);
smp_msg_id659arch/i386/kernel/smp.csmp_msg_id=msg;
smp_msg_id904arch/i386/kernel/smp.cswitch(smp_msg_id)
smp_msg_id931arch/i386/kernel/smp.csmp_src_cpu,smp_processor_id(),smp_msg_id,smp_msg_data);
smp_msg_id22include/linux/smp.hextern volatile int smp_msg_id;