ecc_region_t
pci_format_ecc_addr(dev_info_t *dip, uint64_t *afar, ecc_region_t region)
ecc_region_t region);
ecc_region_t ecc_region;