child_dn = slot->dn->child; if (child_dn) child_dev = rpaphp_find_pci_dev(child_dn);  if (child_dev) *value = CONFIGURED; else if (!child_dn) dbg("%s: %s is not valid OFDT node\n", __FUNCTION__, slot->dn->full_name); else { err("%s: can't find pdev of adapter in slot[%s]\n", __FUNCTION__, slot->dn->full_name); 
bus = rpaphp_find_pci_bus(slot->dn); if (bus && !list_empty(&bus->devices)) *value = CONFIGURED; else 
int rpaphp_get_pci_adapter_status(struct slot *slot, int is_init, u8 * value){	int state, rc; 	struct device_node *child_dn; 	struct pci_dev *child_dev = NULL;	*value = NOT_VALID;	rc = rpaphp_get_sensor_state(slot, &state);	if (rc)		goto exit; 	if ((state == EMPTY) || (slot->type == PHB)) { 		dbg("slot is empty\n"); 		*value = EMPTY; 	} 	else if (state == PRESENT) {		if (!is_init) {			/* at run-time slot->state can be changed by */			/* config/unconfig adapter */			*value = slot->state;		} else { 			child_dn = slot->dn->child; 			if (child_dn) 				child_dev = rpaphp_find_pci_dev(child_dn); 			if (child_dev) 				*value = CONFIGURED; 			else if (!child_dn)				dbg("%s: %s is not valid OFDT node\n",				    __FUNCTION__, slot->dn->full_name);			else {				err("%s: can't find pdev of adapter in slot[%s]\n", 					__FUNCTION__, slot->dn->full_name);				*value = NOT_CONFIGURED;			}		}	}exit:	return rc;}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/0945cd5f908a09ad99bf42d7ded16f26f24f317d/rpaphp_pci.c/buggy/drivers/pci/hotplug/rpaphp_pci.c