#if CONFIG_64BIT 
#ifdef CONFIG_64BIT 
static __init void i_LA_mostly(u32 **buf, unsigned int rs, long addr){#if CONFIG_64BIT	if (!in_compat_space_p(addr)) {		i_lui(buf, rs, rel_highest(addr));		if (rel_higher(addr))			i_daddiu(buf, rs, rs, rel_higher(addr));		if (rel_hi(addr)) {			i_dsll(buf, rs, rs, 16);			i_daddiu(buf, rs, rs, rel_hi(addr));			i_dsll(buf, rs, rs, 16);		} else			i_dsll32(buf, rs, rs, 0);	} else#endif		i_lui(buf, rs, rel_hi(addr));}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/766160c29fadbafad1d6eb5e965922c7e78beb88/tlbex.c/clean/arch/mips/mm/tlbex.c