pcicfg_free_device_resources
static int pcicfg_free_device_resources(dev_info_t *);
if (pcicfg_free_device_resources(dip) != PCICFG_SUCCESS) {
(void) pcicfg_free_device_resources(new_child);
(void) pcicfg_free_device_resources(new_child);
if (pcicfg_free_device_resources(dip, flags)
static int pcicfg_free_device_resources(dev_info_t *, pcicfg_flags_t);
(void) pcicfg_free_device_resources(new_child,
(void) pcicfg_free_device_resources(new_child,
(void) pcicfg_free_device_resources(dip, 0);