write_c0_entryhi(UNIQUE_ENTRYHI(idx)); 
void local_flush_tlb_kernel_range(unsigned long start, unsigned long end){	unsigned long flags;	int size;	size = (end - start + (PAGE_SIZE - 1)) >> PAGE_SHIFT;	size = (size + 1) >> 1;	local_irq_save(flags);	if (size <= (current_cpu_data.tlbsize/2)) {		int pid = read_c0_entryhi();		start &= (PAGE_MASK << 1);		end += ((PAGE_SIZE << 1) - 1);		end &= (PAGE_MASK << 1);		while (start < end) {			int idx;			write_c0_entryhi(start);			start += (PAGE_SIZE << 1);			tlb_probe();			idx = read_c0_index();			write_c0_entrylo0(0);			write_c0_entrylo1(0);			write_c0_entryhi(UNIQUE_ENTRYHI(idx));			if (idx < 0)				continue;			tlb_write_indexed();		}		write_c0_entryhi(pid);	} else {		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