A question about iommu, passing to the device user data containing pointers