1629 smmu_unmap(device_t dev, struct iommu_domain *iodom,  in smmu_unmap()  argument
1639 	domain = (struct smmu_domain *)iodom;  in smmu_unmap()
1662 smmu_map(device_t dev, struct iommu_domain *iodom,  in smmu_map()  argument
1674 	domain = (struct smmu_domain *)iodom;  in smmu_map()
1696 	struct iommu_domain *iodom;  in smmu_domain_alloc()  local
1736 	iodom = &domain->iodom;  in smmu_domain_alloc()
1742 	iodom->end = MAXADDR_48BIT;  in smmu_domain_alloc()
1744 	return (iodom);  in smmu_domain_alloc()
1748 smmu_domain_free(device_t dev, struct iommu_domain *iodom)  in smmu_domain_free()  argument
1756 	domain = (struct smmu_domain *)iodom;  in smmu_domain_free()
1807 smmu_ctx_alloc(device_t dev, struct iommu_domain *iodom, device_t child,  in smmu_ctx_alloc()  argument
1813 	domain = (struct smmu_domain *)iodom;  in smmu_ctx_alloc()
1821 	IOMMU_DOMAIN_LOCK(iodom);  in smmu_ctx_alloc()
1823 	IOMMU_DOMAIN_UNLOCK(iodom);  in smmu_ctx_alloc()
1832 	struct iommu_domain *iodom;  in smmu_ctx_init()  local
1844 	iodom = (struct iommu_domain *)domain;  in smmu_ctx_init()
1874 		if (iommu_is_buswide_ctx(iodom->iommu, pci_get_bus(ctx->dev)))  in smmu_ctx_init()
1937 		IOMMU_DOMAIN_LOCK(&domain->iodom);  in smmu_ctx_lookup()
1940 				IOMMU_DOMAIN_UNLOCK(&domain->iodom);  in smmu_ctx_lookup()
1944 		IOMMU_DOMAIN_UNLOCK(&domain->iodom);  in smmu_ctx_lookup()