local_tlb_flush_counts   58 arch/ia64/kernel/smp.c } __attribute__((__aligned__(32))) local_tlb_flush_counts[NR_CPUS];
local_tlb_flush_counts  249 arch/ia64/kernel/smp.c 	ia64_fetchadd(1, &local_tlb_flush_counts[smp_processor_id()].count, acq);
local_tlb_flush_counts  266 arch/ia64/kernel/smp.c 		counts[cpu] = local_tlb_flush_counts[cpu].count & 0xffff;
local_tlb_flush_counts  280 arch/ia64/kernel/smp.c 		while(counts[cpu] == (local_tlb_flush_counts[cpu].count & 0xffff))