CPU_MONDO_COUNTER  734 arch/sparc/kernel/smp_64.c 			xc_rcvd = CPU_MONDO_COUNTER(first_cpu);
CPU_MONDO_COUNTER  742 arch/sparc/kernel/smp_64.c 		target_cpu_busy = (xc_rcvd < CPU_MONDO_COUNTER(first_cpu));
CPU_MONDO_COUNTER  743 arch/sparc/kernel/smp_64.c 		xc_rcvd = CPU_MONDO_COUNTER(first_cpu);