iommu/amd/amd_iommu.h

1 /* SPDX-License-Identifier: GPL-2.0-only */
3  * Copyright (C) 2009-2010 Advanced Micro Devices, Inc.
48 /* Protection domain ops */
50 void protection_domain_free(struct protection_domain *domain);
54 int iommu_sva_set_dev_pasid(struct iommu_domain *domain,
57 				struct iommu_domain *domain);
89 void amd_iommu_update_and_flush_device_table(struct protection_domain *domain);
90 void amd_iommu_domain_update(struct protection_domain *domain);
91 void amd_iommu_domain_flush_pages(struct protection_domain *domain,
107 	return (pdev->vendor == PCI_VENDOR_ID_ATI) &&  in is_rd890_iommu()
108 	       (pdev->device == PCI_DEVICE_ID_RD890_IOMMU);  in is_rd890_iommu()
140 	int seg = pci_domain_nr(pdev->bus);  in get_pci_sbdf_id()
158 	return iommu_get_iommu_dev(dev_data->dev, struct amd_iommu, iommu);  in get_amd_iommu_from_dev_data()
163 	return container_of(dom, struct protection_domain, domain);  in to_pdomain()
175 void amd_iommu_domain_set_pgtable(struct protection_domain *domain,