tlb->freed = 0; 
tlb_gather_mmu(struct mm_struct *mm, unsigned int full_mm_flush){	struct mmu_gather *tlb = &get_cpu_var(mmu_gathers);	tlb->mm = mm;	/* Use fast mode if only one CPU is online */	tlb->nr = num_online_cpus() > 1 ? 0U : ~0U;	tlb->fullmm = full_mm_flush;	tlb->freed = 0;	return tlb;}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/fc2acab31be8e869b2d5f6de12f557f6f054f19c/tlb.h/buggy/include/asm-generic/tlb.h