num_vterms = hvc_find_vtys(); 
hvc_find_vtys(); 
static int __init hvc_console_init(void){	int i;	for (i=0; i<MAX_NR_HVC_CONSOLES; i++)		vtermnos[i] = -1;	num_vterms = hvc_find_vtys();	register_console(&hvc_con_driver);	return 0;}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/5f6d9c072df162a8601a09e6c63fd0e4f5aecd06/hvc_console.c/buggy/drivers/char/hvc_console.c