get_pbm_reg_base
get_pbm_reg_base(iommu_p->iommu_pci_p);
uintptr_t a = get_pbm_reg_base(pci_p);
uintptr_t a = get_pbm_reg_base(pci_p);
uintptr_t pbm_regbase = get_pbm_reg_base(iommu_p->iommu_pci_p);
uintptr_t a = get_pbm_reg_base(pcmu_p);
extern uintptr_t get_pbm_reg_base(pci_t *pci_p);