pcicfg_ntbridge_allocate_resources
static int pcicfg_ntbridge_allocate_resources(dev_info_t *);
if (pcicfg_ntbridge_allocate_resources(new_device) != PCICFG_SUCCESS) {
static int pcicfg_ntbridge_allocate_resources(dev_info_t *);
if (pcicfg_ntbridge_allocate_resources(new_device) !=