/* Called by ptep_set_access_flags, must flush on CPUs for which the DSI handler can't just "fixup" the TLB on a write fault  */
void flush_tlb_page_nohash(struct vm_area_struct *vma, unsigned long addr)
/* Called by ptep_set_access_flags, must flush on CPUs for which the DSI handler can't just "fixup" the TLB on a write fault  */
void flush_tlb_page_nohash(struct vm_area_struct *vma, unsigned long addr)
{
	if (Hash != 0)
		return;
	_tlbie(addr);
}