} 
int rpaphp_get_pci_adapter_status(struct slot *slot, int is_init, u8 * value){	struct pci_bus *bus;	int state, rc;	*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 {			bus = rpaphp_find_pci_bus(slot->dn);			if (bus && !list_empty(&bus->devices))				*value = CONFIGURED;			else				*value = NOT_CONFIGURED;		}	}exit:	return rc;}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/56d8456b06ad1316bff3c75caed5e06e786f20d8/rpaphp_pci.c/buggy/drivers/pci/hotplug/rpaphp_pci.c