vunmap_range
vunmap_range((u64)__init_begin, (u64)__init_end);
vunmap_range(ISA_IO_BASE, ISA_IO_BASE + 0x10000);
vunmap_range(ISA_IO_BASE, ISA_IO_BASE + size);
vunmap_range(addr, addr + size);
vunmap_range(vaddr, vaddr + resource_size(res));
void vunmap_range(unsigned long addr, unsigned long end);
vunmap_range(start, end);