build_insn_word(0x8c200000);	/* lw      $zero, ($at) */ 
build_insn_word(0x3c01a000);	/* lui     $at, 0xa000  */ 
static inline void build_cdex_p(void){	union mips_instruction mi;	if (store_offset & (cpu_dcache_line_size() - 1))		return;	if (R4600_V1_HIT_CACHEOP_WAR && cpu_is_r4600_v1_x()) {		build_nop();		build_nop();		build_nop();		build_nop();	}	if (R4600_V2_HIT_CACHEOP_WAR && cpu_is_r4600_v2_x())		build_insn_word(0x8c200000);	/* lw      $zero, ($at) */	mi.c_format.opcode     = cache_op;	mi.c_format.rs         = 4;		/* $a0 */	mi.c_format.c_op       = 3;		/* Create Dirty Exclusive */	mi.c_format.cache      = 1;		/* Data Cache */	mi.c_format.simmediate = store_offset;	emit_instruction(mi);}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/10a3dabddd79473130c6ded7f7cef1d55fccc115/pg-r4k.c/buggy/arch/mips/mm/pg-r4k.c