vfio_sync_unpin
*unlocked += vfio_sync_unpin(dma, domain, unmapped_list,
unlocked += vfio_sync_unpin(dma, domain, &unmapped_region_list,