iommu_domain_alloc
iodom = iommu_domain_alloc(iommu);
DEVMETHOD(iommu_domain_alloc, smmu_domain_alloc),