__ipmmu_domain_alloc 633 drivers/iommu/ipmmu-vmsa.c io_domain = __ipmmu_domain_alloc(type); __ipmmu_domain_alloc 637 drivers/iommu/ipmmu-vmsa.c io_domain = __ipmmu_domain_alloc(type);