pci_get_numproxy
pci_p->pci_numproxy = pci_get_numproxy(pci_p->pci_dip);
extern int pci_get_numproxy(dev_info_t *dip);