struct php_ctlr_state_s *php_ctlr = (struct php_ctlr_state_s *) slot->ctrl->hpc_ctlr_handle; 
struct php_ctlr_state_s *php_ctlr = slot->ctrl->hpc_ctlr_handle; 
static int hpc_get_prog_int(struct slot *slot, u8 *prog_int){	struct php_ctlr_state_s *php_ctlr = (struct php_ctlr_state_s *) slot->ctrl->hpc_ctlr_handle;	DBG_ENTER_ROUTINE 		if (!slot->ctrl->hpc_ctlr_handle) {		err("%s: Invalid HPC controller handle!\n", __FUNCTION__);		return -1;	}	*prog_int = readb(php_ctlr->creg + PROG_INTERFACE);	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