vunmap_range_noflush
void vunmap_range_noflush(unsigned long start, unsigned long end);
vunmap_range_noflush(addr, addr + (nr_pages << PAGE_SHIFT));
vunmap_range_noflush(va->va_start, va->va_end);
vunmap_range_noflush(addr, addr + size);
vunmap_range_noflush(addr, end);