RE: [PATCH v2 6/6] iommu/vt-d: Add domain_alloc_user op