pci_format_addr
pci_format_addr(dip, &pbm_err_p->pbm_pci.pci_pa, pbm_err_p->pbm_afsr);
pci_format_addr(pci_p->pci_dip, afar, flag);
extern void pci_format_addr(dev_info_t *dip, uint64_t *afar, uint64_t afsr);