res->start = res->end = 0; 
res->start = res->end = res->flags = 0; 
static void yenta_free_resources(struct yenta_socket *socket){	int i;	for (i=0;i<4;i++) {		struct resource *res;		res = socket->dev->resource + PCI_BRIDGE_RESOURCES + i;		if (res->start != 0 && res->end != 0)			release_resource(res);		res->start = res->end = 0;	}}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/b3743fa4442fc172e950ff0eaf6aa96e7d5ce9be/yenta_socket.c/buggy/drivers/pcmcia/yenta_socket.c