/* This one is only used for pages with the global bit set so we don't care much about the ASID.  */
void local_flush_tlb_one(unsigned long page)
/* This one is only used for pages with the global bit set so we don't care much about the ASID.  */
void local_flush_tlb_one(unsigned long page)
{
	unsigned long flags;
	int oldpid, idx;
	local_irq_save(flags);
	oldpid = pevn_get();
	page &= (PAGE_MASK << 1);
	pevn_set(page);
	barrier();
	tlb_probe();
	idx = tlbpt_get();
	pectx_set(0);
	if (idx >= 0) {
		pevn_set(KSEG1);
		barrier();
		tlb_write_indexed();
	}
	pevn_set(oldpid);
	local_irq_restore(flags);
}