Symbol: pci_format_ecc_addr
usr/src/uts/sun4u/io/pci/pcisch.c
1874
pci_format_ecc_addr(pci_p->pci_dip,
usr/src/uts/sun4u/io/pci/pcisch.c
76
static void pci_format_ecc_addr(dev_info_t *dip, uint64_t *afar,