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