Symbol: CPU_MONDO_COUNTER
arch/sparc/kernel/smp_64.c
728
xc_rcvd = CPU_MONDO_COUNTER(first_cpu);
arch/sparc/kernel/smp_64.c
736
target_cpu_busy = (xc_rcvd < CPU_MONDO_COUNTER(first_cpu));
arch/sparc/kernel/smp_64.c
737
xc_rcvd = CPU_MONDO_COUNTER(first_cpu);