/* Currently, for range flushing, we just do a full mm flush. This should be optimized based on a threshold on the size of the range, since some implementation can stack multiple tlbivax before a tlbsync but for now, we keep it that way  */
void flush_tlb_range(struct vm_area_struct *vma, unsigned long start, unsigned long end)
/* Currently, for range flushing, we just do a full mm flush. This should be optimized based on a threshold on the size of the range, since some implementation can stack multiple tlbivax before a tlbsync but for now, we keep it that way  */
void flush_tlb_range(struct vm_area_struct *vma, unsigned long start, unsigned long end)
{
	flush_tlb_mm(vma->vm_mm);
}