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