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