old_ctx = read_c0_entryhi() & 0xff; 
/* Save old context and create impossible VPN2 value */ old_ctx = read_c0_entryhi(); 
void __init add_wired_entry(unsigned long entrylo0, unsigned long entrylo1,	unsigned long entryhi, unsigned long pagemask){	unsigned long flags;	unsigned long wired;	unsigned long old_pagemask;	unsigned long old_ctx;	local_irq_save(flags);	old_ctx = read_c0_entryhi() & 0xff;	old_pagemask = read_c0_pagemask();	wired = read_c0_wired();	write_c0_wired(wired + 1);	write_c0_index(wired);	write_c0_pagemask(pagemask);	write_c0_entryhi(entryhi);	write_c0_entrylo0(entrylo0);	write_c0_entrylo1(entrylo1);	tlb_write_indexed();	write_c0_entryhi(old_ctx);	write_c0_pagemask(old_pagemask);	local_flush_tlb_all();	local_irq_restore(flags);}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/172546bf601356f94f8018af7908a9b7c1c4915c/tlb-sb1.c/buggy/arch/mips/mm/tlb-sb1.c