if (vtermnos[c->index] == -1) return NULL;  
static struct tty_driver *hvc_console_device(struct console *c, int *index){	*index = c->index;	return hvc_driver;}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/7805b1b29ffdd252dfef36aa28d7bda70cd586d3/hvc_console.c/clean/drivers/char/hvc_console.c