int pcmcia_get_configuration_info(client_handle_t handle, 
int pcmcia_get_configuration_info(struct pcmcia_device *p_dev, 
int pcmcia_get_configuration_info(client_handle_t handle,				  config_info_t *config){	struct pcmcia_socket *s;	if (!config)		return CS_BAD_HANDLE;	s = SOCKET(handle);	if (!s)		return CS_BAD_HANDLE;	return pccard_get_configuration_info(s, handle->func, config);}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/2bc5a9bdc56fac6f7cbf95b89443e3809141c247/pcmcia_resource.c/buggy/drivers/pcmcia/pcmcia_resource.c