uffd_unregister
if (uffd_unregister(gopts->uffd, gopts->area_dst, mem_size))
if (uffd_unregister(gopts->uffd, gopts->area_dst_alias, mem_size))
if (uffd_unregister(gopts->uffd, gopts->area_dst, gopts->page_size))
if (uffd_unregister(gopts->uffd, gopts->area_dst, gopts->nr_pages * gopts->page_size))
uffd_unregister(gopts->uffd, gopts->area_dst, gopts->page_size);
if (uffd_unregister(gopts->uffd, gopts->area_dst, gopts->page_size))
if (uffd_unregister(gopts->uffd, gopts->area_dst, gopts->page_size))
if (gopts->area_dst_alias && uffd_unregister(gopts->uffd,
int uffd_unregister(int uffd, void *addr, uint64_t len);