unregister_console(&hvc_con_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);}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/320da0d23ed1f82a896e0cfc1549a896d267777a/hvc_console.c/clean/drivers/char/hvc_console.c