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