hvc_find_vtys(); 
static int __init hvc_console_init(void){	hvc_find_vtys();	register_console(&hvc_con_driver);	return 0;}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/d5ee257c3342185ba8ab642d125d192eb99ea8f2/hvc_console.c/buggy/drivers/char/hvc_console.c