dbg("In add_board, b:d(%x:%x)\n", p_slot->bus, p_slot->device); 
dbg("%s: adding bus:device(%x:%x)\n", __FUNCTION__, p_slot->bus, p_slot->device); 
static void pciehp_pushbutton_thread(unsigned long slot){	struct slot *p_slot = (struct slot *) slot;	u8 getstatus;		pushbutton_pending = 0;	if (!p_slot) {		dbg("%s: Error! slot NULL\n", __FUNCTION__);		return;	}	p_slot->hpc_ops->get_power_status(p_slot, &getstatus);	if (getstatus) {		p_slot->state = POWEROFF_STATE;		dbg("In power_down_board, b:d(%x:%x)\n", p_slot->bus, p_slot->device);		pciehp_disable_slot(p_slot);		p_slot->state = STATIC_STATE;	} else {		p_slot->state = POWERON_STATE;		dbg("In add_board, b:d(%x:%x)\n", p_slot->bus, p_slot->device);		if (pciehp_enable_slot(p_slot) && PWR_LED(p_slot->ctrl->ctrlcap)) {			/* Wait for exclusive access to hardware */			down(&p_slot->ctrl->crit_sect);			p_slot->hpc_ops->green_led_off(p_slot);			/* Wait for the command to complete */			wait_for_ctrl_irq (p_slot->ctrl);			/* Done with exclusive hardware access */			up(&p_slot->ctrl->crit_sect);		}		p_slot->state = STATIC_STATE;	}	return;}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/1a9ed1bfe2fb17cc30227a12a3c1212128bb78b6/pciehp_ctrl.c/buggy/drivers/pci/hotplug/pciehp_ctrl.c