/* Similar to unmap_kernel_range_noflush() but flushes vcache before the unmapping and tlb after.  */
void unmap_kernel_range(unsigned long addr, unsigned long size)
/* Similar to unmap_kernel_range_noflush() but flushes vcache before the unmapping and tlb after.  */
void unmap_kernel_range(unsigned long addr, unsigned long size)
{
	unsigned long end = addr + size;
	flush_cache_vunmap(addr, end);
	vunmap_page_range(addr, end);
	flush_tlb_kernel_range(addr, end);
}