static void __exit unregister_drivers(void) 
static void unregister_drivers(void) 
static void __exit unregister_drivers(void){	int error = tty_unregister_driver(isicom_normal);	if (error)		printk(KERN_DEBUG "ISICOM: couldn't unregister normal driver error=%d.\n",error);	put_tty_driver(isicom_normal);}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/4b8497276a96928bcb5947cc44e61f8b69fe66ac/isicom.c/clean/drivers/char/isicom.c