struct php_ctlr_state_s *php_ctlr = (struct php_ctlr_state_s *) ctrl->hpc_ctlr_handle; 
struct php_ctlr_state_s *php_ctlr = ctrl->hpc_ctlr_handle; 
int shpc_get_ctlr_slot_config(struct controller *ctrl,	int *num_ctlr_slots,	/* number of slots in this HPC			*/	int *first_device_num,	/* PCI dev num of the first slot in this SHPC	*/	int *physical_slot_num,	/* phy slot num of the first slot in this SHPC	*/	int *updown,		/* physical_slot_num increament: 1 or -1	*/	int *flags){	struct php_ctlr_state_s *php_ctlr = (struct php_ctlr_state_s *) ctrl->hpc_ctlr_handle;	DBG_ENTER_ROUTINE 	if (!ctrl->hpc_ctlr_handle) {		err("%s: Invalid HPC controller handle!\n", __FUNCTION__);		return -1;	}	*first_device_num = php_ctlr->slot_device_offset;	/* Obtained in shpc_init() */	*num_ctlr_slots = php_ctlr->num_slots;			/* Obtained in shpc_init() */	*physical_slot_num = (readl(php_ctlr->creg + SLOT_CONFIG) & PSN) >> 16;	dbg("%s: physical_slot_num = %x\n", __FUNCTION__, *physical_slot_num);	*updown = ((readl(php_ctlr->creg + SLOT_CONFIG) & UPDOWN ) >> 29) ? 1 : -1;		DBG_LEAVE_ROUTINE 	return 0;}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/ee138334d5eb5ca662b2d69228420c1ccc051e0e/shpchp_hpc.c/buggy/drivers/pci/hotplug/shpchp_hpc.c