tlb->freed = 0; tlb->fullmm = full_mm_flush; 
tlb->need_flush = 0; tlb->fullmm = full_mm_flush; 
tlb_gather_mmu(struct mm_struct *mm, unsigned int full_mm_flush){        struct mmu_gather *tlb = &get_cpu_var(mmu_gathers);        tlb->mm = mm;        tlb->freed = 0;	tlb->fullmm = full_mm_flush;        return tlb;}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/fc2acab31be8e869b2d5f6de12f557f6f054f19c/tlb.h/buggy/include/asm-arm26/tlb.h