i_sll(p, ptr, ptr, 2); 
build_get_pgde32(u32 **p, unsigned int tmp, unsigned int ptr){	long pgdc = (long)pgd_current;	/* 32 bit SMP has smp_processor_id() stored in CONTEXT. */#ifdef CONFIG_SMP	i_mfc0(p, ptr, C0_CONTEXT);	i_LA_mostly(p, tmp, pgdc);	i_srl(p, ptr, ptr, 23);	i_sll(p, ptr, ptr, 2);	i_addu(p, ptr, tmp, ptr);#else	i_LA_mostly(p, ptr, pgdc);#endif	i_mfc0(p, tmp, C0_BADVADDR); /* get faulting address */	i_lw(p, ptr, rel_lo(pgdc), ptr);	i_srl(p, tmp, tmp, PGDIR_SHIFT); /* get pgd only bits */	i_sll(p, tmp, tmp, PGD_T_LOG2);	i_addu(p, ptr, ptr, tmp); /* add in pgd offset */}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/1b3a6e975cbe81c5abc55e4c1b9f5b5250c5f20e/tlbex.c/buggy/arch/mips/mm/tlbex.c