os_vmobj_unmap
os_vmobj_unmap(os_kernel_map, (vaddr_t)vcpu->comm,
os_vmobj_unmap(os_curproc_map, hmapping->hva,
os_vmobj_unmap(&mach->vm->vm_map, gpa, gpa + args->size, false);
os_vmobj_unmap(map, start, start + size, false);
os_vmobj_unmap(map, start, start + size, false);
os_vmobj_unmap(map, *addr, *addr + size, false);
void os_vmobj_unmap(struct vm_map *map, vaddr_t, vaddr_t, bool);