struct mmu_gather *mp = &__get_cpu_var(mmu_gathers); 
struct mmu_gather *mp = &get_cpu_var(mmu_gathers); 
static inline struct mmu_gather *tlb_gather_mmu(struct mm_struct *mm, unsigned int full_mm_flush){	struct mmu_gather *mp = &__get_cpu_var(mmu_gathers);	BUG_ON(mp->tlb_nr);	mp->mm = mm;	mp->pages_nr = num_online_cpus() > 1 ? 0U : ~0U;	mp->tlb_frozen = full_mm_flush;	mp->freed = 0;	return mp;}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/15a23ffa2fc91cebdac44d4aee994f59d5c28dc0/tlb.h/buggy/include/asm-sparc64/tlb.h