dbg("In power_down_board, b:d(%x:%x)\n", p_slot->bus, p_slot->device); 
static void shpchp_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);		shpchp_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 (shpchp_enable_slot(p_slot)) {			/* 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;}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/7c8942f993dc069db0e0327a343bbec8a6e96074/shpchp_ctrl.c/clean/drivers/pci/hotplug/shpchp_ctrl.c