Searched refs:tsb_bar_p (Results 1 – 2 of 2) sorted by relevance
1074 volatile uint64_t *tsb_bar_p = iommu_p->iommu_tsb_base_addr_reg; in pci_iommu_config() local1094 *tsb_bar_p = tsb_bar_val; in pci_iommu_config()
3032 volatile uint64_t *tsb_bar_p = iommu_p->iommu_tsb_base_addr_reg; in pci_iommu_config() local3063 *tsb_bar_p = tsb_bar_val; in pci_iommu_config()