tag	line	file	source code
smp_cpu_in_msg	57	arch/i386/kernel/smp.c	static volatile unsigned char smp_cpu_in_msg[NR_CPUS];  /* True if this processor is sending an IPI    */
smp_cpu_in_msg	628	arch/i386/kernel/smp.c	if(smp_cpu_in_msg[p])
smp_cpu_in_msg	650	arch/i386/kernel/smp.c	smp_cpu_in_msg[p]++;
smp_cpu_in_msg	744	arch/i386/kernel/smp.c	smp_cpu_in_msg[p]--;