Re: [PATCH v2 03/19] iommu: Pass in a viommu pointer to domain_alloc_user op