void t1isa_reset_ctr(struct capi_ctr *ctrl) 
static void t1isa_reset_ctr(struct capi_ctr *ctrl) 
void t1isa_reset_ctr(struct capi_ctr *ctrl){	avmctrl_info *cinfo = (avmctrl_info *)(ctrl->driverdata);	avmcard *card = cinfo->card;	unsigned int port = card->port;	t1_disable_irq(port);	b1_reset(port);	b1_reset(port);	memset(cinfo->version, 0, sizeof(cinfo->version));	capilib_release(&cinfo->ncci_head);	capi_ctr_reseted(ctrl);}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/08e51533a0a26c236879ad33b2798c16328051d9/t1isa.c/buggy/drivers/isdn/hardware/avm/t1isa.c