oldpid = read_c0_entryhi(); 
void local_flush_tlb_one(unsigned long page){	unsigned long flags;	int oldpid, idx;	local_irq_save(flags);	page &= (PAGE_MASK << 1);	oldpid = read_c0_entryhi();	write_c0_entryhi(page);	mtc0_tlbw_hazard();	tlb_probe();	BARRIER;	idx = read_c0_index();	write_c0_entrylo0(0);	write_c0_entrylo1(0);	if (idx >= 0) {		/* Make sure all entries differ. */		write_c0_entryhi(CKSEG0 + (idx << (PAGE_SHIFT + 1)));		mtc0_tlbw_hazard();		tlb_write_indexed();		tlbw_use_hazard();	}	write_c0_entryhi(oldpid);	local_irq_restore(flags);}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/172546bf601356f94f8018af7908a9b7c1c4915c/tlb-r4k.c/clean/arch/mips/mm/tlb-r4k.c