flush_tlb_info_idx  729 arch/x86/mm/tlb.c static DEFINE_PER_CPU(unsigned int, flush_tlb_info_idx);
flush_tlb_info_idx  745 arch/x86/mm/tlb.c 	BUG_ON(this_cpu_inc_return(flush_tlb_info_idx) != 1);
flush_tlb_info_idx  763 arch/x86/mm/tlb.c 	this_cpu_dec(flush_tlb_info_idx);