local_irq_save(flags); 
void local_flush_tlb_page(struct vm_area_struct *vma, unsigned long page){	unsigned long flags;	int cpu = smp_processor_id();	local_irq_save(flags);	if (cpu_context(cpu, vma->vm_mm) != 0) {		int oldpid, newpid, idx;		newpid = cpu_asid(cpu, vma->vm_mm);		page &= (PAGE_MASK << 1);		oldpid = read_c0_entryhi() & ASID_MASK;		write_c0_entryhi(page | newpid);		tlb_probe();		idx = read_c0_index();		write_c0_entrylo0(0);		write_c0_entrylo1(0);		if (idx < 0)			goto finish;		/* Make sure all entries differ. */		write_c0_entryhi(UNIQUE_ENTRYHI(idx));		tlb_write_indexed();	finish:		write_c0_entryhi(oldpid);	}	local_irq_restore(flags);}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/172546bf601356f94f8018af7908a9b7c1c4915c/tlb-sb1.c/clean/arch/mips/mm/tlb-sb1.c