pcicfg_device_assign
static int pcicfg_device_assign(dev_info_t *);
ret = pcicfg_device_assign(new_child);
if (pcicfg_device_assign(dip) != PCICFG_SUCCESS) {
static int pcicfg_device_assign(dev_info_t *);
ret = pcicfg_device_assign(new_child);