Searched refs:iommu_ctl (Results 1 – 3 of 3) sorted by relevance
79 extern void pci_iommu_config(iommu_t *iommu_p, uint64_t iommu_ctl,
1093 pci_iommu_config(iommu_t *iommu_p, uint64_t iommu_ctl, uint64_t cfgpa) in pci_iommu_config() argument1108 iommu_ctl_p, iommu_ctl); in pci_iommu_config()1122 *iommu_ctl_p = iommu_ctl; in pci_iommu_config()
3022 pci_iommu_config(iommu_t *iommu_p, uint64_t iommu_ctl, uint64_t cfgpa) in pci_iommu_config() argument3033 uint64_t mask = pci_iommu_disp(iommu_p, &iommu_ctl); in pci_iommu_config()3040 iommu_ctl_p, iommu_ctl); in pci_iommu_config()3064 *iommu_ctl_p = iommu_ctl; in pci_iommu_config()