/* For each address in the range, find the pte for the address and check _PAGE_HASHPTE bit; if it is set, find and destroy the corresponding HPTE.  */
void flush_tlb_range(struct vm_area_struct *vma, unsigned long start, unsigned long end)
/* For each address in the range, find the pte for the address and check _PAGE_HASHPTE bit; if it is set, find and destroy the corresponding HPTE.  */
void flush_tlb_range(struct vm_area_struct *vma, unsigned long start, unsigned long end)
{
	flush_range(vma->vm_mm, start, end);
	FINISH_FLUSH;
}