vio_unregister_driver(&hvc_vio_driver); 
static void __exit hvc_exit(void){	kthread_stop(hvc_task);	vio_unregister_driver(&hvc_vio_driver);	tty_unregister_driver(hvc_driver);	/* return tty_struct instances allocated in hvc_init(). */	put_tty_driver(hvc_driver);	unregister_console(&hvc_con_driver);}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/acad9559f1054487292eb10d7bb81f256e9d8f2d/hvc_console.c/buggy/drivers/char/hvc_console.c