Searched refs:tsb_bar_val (Results 1 – 2 of 2) sorted by relevance
1073 volatile uint64_t tsb_bar_val = iommu_p->iommu_tsb_paddr; in pci_iommu_config() local1083 "\n\tcfgpa=%016llx tsb_bar_val=%016llx", cfgpa, tsb_bar_val); in pci_iommu_config()1094 *tsb_bar_p = tsb_bar_val; in pci_iommu_config()
3031 volatile uint64_t tsb_bar_val = iommu_p->iommu_tsb_paddr; in pci_iommu_config() local3043 cfgpa, tgt_space_p, mask, tsb_bar_val); in pci_iommu_config()3063 *tsb_bar_p = tsb_bar_val; in pci_iommu_config()