write_c0_entrylo0(0); write_c0_entrylo1(0); 
void local_flush_tlb_one(unsigned long page){	unsigned long flags;	int oldpid, idx;	page &= (PAGE_MASK << 1);	oldpid = read_c0_entryhi() & ASID_MASK;	local_irq_save(flags);	write_c0_entryhi(page);	tlb_probe();	idx = read_c0_index();	if (idx >= 0) {		/* Make sure all entries differ. */		write_c0_entryhi(UNIQUE_ENTRYHI(idx));		write_c0_entrylo0(0);		write_c0_entrylo1(0);		tlb_write_indexed();	}	write_c0_entryhi(oldpid);	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